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
Persona responsabile
non disponibile

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