Formal Methods for Discrete-Time Dynamical Systems

• Κύριοι συγγραφείς: Belta, Calin (Συγγραφέας), Yordanov, Boyan (Συγγραφέας), Aydin Gol, Ebru (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Studies in Systems, Decision and Control, 89
• Θέματα: Engineering.; System theory.; Complexity, Computational.; Control engineering.; Control.; Complexity.; Systems Theory, Control.

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 mathem...

Πίνακας περιεχομένων:

• 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.