Formal Methods for Discrete-Time Dynamical Systems

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: 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
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.