Articoli correlati a Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems - Brossura

Belta, Calin; Yordanov, Boyan; Aydin Gol, Ebru

 
9783319507644: Formal Methods for Discrete-Time Dynamical Systems
Brossura
ISBN 10: 3319507648 ISBN 13: 9783319507644
Casa editrice: Springer, 2017

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2017
Lingua
Inglese
ISBN 10 
3319507648
ISBN 13 
9783319507644
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319507620: Formal Methods for Discrete-Time Dynamical Systems: 89

Edizione in evidenza

ISBN 10:  3319507621 ISBN 13:  9783319507620
Casa editrice: Springer, 2017
Rilegato