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

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-crit

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 3

This book concerns the numerical simulation of dynamical systems whose trajec- ries may not be differentiable everywhere. They are named nonsmooth dynamical sys