Formal Methods for Discrete-Time Dynamical Systems - Softcover

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

 
9783319507644: Formal Methods for Discrete-Time Dynamical Systems
Softcover
ISBN 10: 3319507648 ISBN 13: 9783319507644
Verlag: Springer, 2017

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
3319507648
ISBN 13 
9783319507644
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783319507620: Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control)

Vorgestellte Ausgabe

ISBN 10:  3319507621 ISBN 13:  9783319507620
Verlag: Springer, 2017
Hardcover