Cover Image
Read Now

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

Full description

Bibliographic Details
Main Authors: Belta, Calin, Yordanov, Boyan (Author), Aydin Gol, Ebru (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2017, 2017
Edition:1st ed. 2017
Series:Studies in Systems, Decision and Control
Subjects:
Applied Dynamical Systems
Control And Systems Theory
Control Theory
Systems Theory, Control
System Theory
Nonlinear Theories
Control Engineering
Dynamics
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02512nmm a2200385 u 4500
001 EB001384023
003 EBX01000000000000000906988
005 00000000000000.0
007 cr|||||||||||||||||||||
008 170406 ||| eng
020 |a 9783319507637 
100 1 |a Belta, Calin 
245 0 0 |a Formal Methods for Discrete-Time Dynamical Systems  |h Elektronische Ressource  |c by Calin Belta, Boyan Yordanov, Ebru Aydin Gol 
250 |a 1st ed. 2017 
260 |a Cham  |b Springer International Publishing  |c 2017, 2017 
300 |a XVIII, 284 p. 93 illus., 39 illus. in color  |b online resource 
505 0 |a 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 
653 |a Applied Dynamical Systems 
653 |a Control and Systems Theory 
653 |a Control theory 
653 |a Systems Theory, Control 
653 |a System theory 
653 |a Nonlinear theories 
653 |a Control engineering 
653 |a Dynamics 
700 1 |a Yordanov, Boyan  |e [author] 
700 1 |a Aydin Gol, Ebru  |e [author] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Studies in Systems, Decision and Control 
028 5 0 |a 10.1007/978-3-319-50763-7 
856 4 0 |u https://doi.org/10.1007/978-3-319-50763-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 629.8312 
082 0 |a 003 
520 |a 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 mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book 

Similar Items