Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods for Discrete-Time Dynamical Systems

Lingua IngleseInglese
Libro Rigido
Libro Formal Methods for Discrete-Time Dynamical Systems Calin Belta
Codice Libristo: 15460068
Casa editrice Springer International Publishing AG, marzo 2017
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Descrizione completa
? points 446 b
182.19 €
Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Comune di Parigi Lenin / Libro In brossura
common.buy 13.69 €
Was wissen sie vom Freisein Esther Hansen / Libro Rigido
common.buy 21.79 €
Die Todesmarsche 1944/45 Daniel Blatman / Libro elettronico Adobe ePub DRM
common.buy 11.39 €
Fundamentos da Biblia Sagrada - VOLUME NOVE Leandro Bertoldo / Libro elettronico Adobe ePub DRM
common.buy 2.39 €
Авонлейские хроники. Подарочное издание Люси Мод Монтгомери / Libro Rigido
common.buy 18.29 €
BLUEY. BUENAS NOCHES, MURCIELAGO DE LA FRUTA BBC STUDIOS / Libro Libro
common.buy 10.09 €
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung Ozoda Safibullaevna Abdullaeva / Libro In brossura
common.buy 35.49 €
Antes de Watchmen: Moloch O.C. STRACZYNSKI / Libro In brossura
common.buy 4.99 €
Des Menschen bester Freund Fabian Elfeld / Libro In brossura
common.buy 13.29 €
Le Sar Rabin Dranath Duval Dac / Audiolibro MP3
common.buy 4.19 €
Andělé všedního dne Michal Viewegh / Libro Rigido
common.buy 11.29 €
1895, N 16/JUIN 1994 Libro In brossura
common.buy 21.09 €
Kayip Papirüs Christa Holtei / Libro In brossura
common.buy 10.59 €
I migliori
Cuentos Completos / Complete Short Stories: Jorge Luis Borges Jorge Luis Borges / Libro In brossura
common.buy 16.49 €
Leibniz und Kant Jürgen Mittelstraß / Libro Rigido
common.buy 206.49 €
Manzul de Vant: Roman Pentru Copii Petre Ghelmez / Libro In brossura
common.buy 10.69 €
101 preguntas a Ramiro Calle Ramiro Calle / Libro In brossura
common.buy 15.69 €
La cuina dels bolets SERGI DE MEIA / Libro In brossura
common.buy 26.29 €
Cero limites / Zero Limits Joe Vitale / Libro In brossura
common.buy 14.79 €
Reescalonamento dinamico de processos Gomes Roberto De Quadros / Libro In brossura
common.buy 60.59 €
Fosses Septiques Et Puits d'Eau Potable Amine Belbahi / Libro In brossura
common.buy 37.29 €
UNESCO-Weltnaturerbestatten in Deutschland - Typisierung und Vermarktung Yvonne Kirchhöfer / Libro In brossura
common.buy 16.89 €

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.
The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods for Discrete-Time Dynamical Systems
Autore Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2017
Numero di pagine 284
EAN 9783319507620
ISBN 9783319507620
Codice Libristo 15460068
Casa editrice Springer International Publishing AG
Peso 5797
Dimensioni 155 x 235 x 23

Categorie

Opere Interdisciplinari di Consultazione e Informazione > Ricerca e informazione: generale > Teoria dell’informazione > Cibernetica e teoria dei sistemi
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia: argomenti di interesse generale > Ingegneria: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Information Security and Cryptology - ICISC 2015 Soonhak Kwon / Libro In brossura
common.buy 53.79 €
Der Super Mario Bros. Film Aaron Horvath / Video DVD
common.buy 11.59 €
Italian Cook Book Olga Ragusa / Libro In brossura
common.buy 16.09 €
Prayer of the Black Bear Eddie Salas / Libro elettronico Adobe ePub DRM
common.buy 4.79 €
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907) Donald Maxwell / Libro In brossura
common.buy 22.59 €
The Camera Fiend E W Hornung / Libro In brossura
common.buy 9.59 €
The Waverley Novels; Volume 8 Sir Walter Scott / Libro Rigido
common.buy 37.69 €
House with a Clock in Its Walls John Bellairs / Libro In brossura
common.buy 10.39 €
Premonition Code Theresa Cheung / Libro In brossura
common.buy 14.69 €
Strength Training NOT Bodybuilding Marc McLean / Libro In brossura
common.buy 14.49 €
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment Javier Marco / Libro In brossura
common.buy 9.79 €
Path of Christianity - The First Thousand Years John Anthony McGuckin / Libro Rigido
common.buy 58.99 €
Becoming a Kink Aware Therapist Caroline Shahbaz / Libro Rigido
common.buy 90.49 €
Walden / Civil Disobedience / and Other Writings Henry David Thoreau / Libro In brossura
common.buy 23.39 €
Active Citizenship and Multiple Identities in Europe Danny Wildemeersch / Libro In brossura
common.buy 107.79 €
Bureaucrats and Politicians in Western Democracies Joel D. Aberbach / Libro In brossura
common.buy 49.39 €
Self-Organization and Green Applications in Cognitive Radio Networks Anwer Al-Dulaimi / Libro Rigido
common.buy 215.19 €
Introduction to Satellite Communication Bruce R. Elbert / Libro Rigido
common.buy 142.09 €
Handbook for Administrators and Executors of Estates B Gene Bowyer / Libro In brossura
common.buy 9.59 €
"From Sun-Up to Sun-Down" M M Whelan / Libro In brossura
common.buy 16.39 €
Colonised Coasts Daniel A. Bergquist / Libro In brossura
common.buy 71.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo