Formal methods for discrete-time dynamical systems

• Main Authors: Belta, Calin (Author), Yordanov, Boyan (Author), Gol, Ebru Aydin (Author)
• Format: Electronic eBook
• Language: English
• Published: Cham, Switzerland : Springer, [2017]
• Series: Studies in systems, decision and control ; v. 89.
• Subjects: Dynamics.; elektronické knihy; electronic books
• ISBN: 9783319507637; 9783319507620
• Physical Description: 1 online resource

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