Formal Methods for Discrete-Time Dynamical Systems

This text 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. It is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory.