This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also

A graduate-level textbook, Hybrid Dynamical Systems provides an accessible and comprehensive introduction to the theory of hybrid systems. It emphasizes results

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software s