Formal Methods for Discrete-Time Dynamical Systems

• Main Authors: Belta, Calin (Author), Yordanov, Boyan (Author), Aydin Gol, Ebru (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Studies in Systems, Decision and Control, 89
• Subjects: 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...