Hybrid systems describe the interaction of software, described by finite models such as finite-
state machines, with the physical world, described by infinite models such as differential …

A hybrid system is a dynamical system with both discrete and continuous state changes. For
analysis purposes, it is often useful to abstract a system in a way that preserves the …

The last part of this volume focuses on hybrid dynamical systems, an area of research that
has developed as a result of the increasing interaction, over the last several years, between …

In this paper, the supervisory control of hybrid systems is introduced and discussed at
length. Such control systems typically arise in the computer control of continuous processes …

An important approach to decidability questions for verification algorithms of hybrid systems
has been the construction of a bisimulation. Bisimulations are finite state quotients whose …

Large-scale control systems typically possess a hierarchical architecture in order to manage
complexity. Higher levels of the hierarchy utilize coarser models of the system, resulting from …

Increasing complexity in engineering projects raises difficult challenges in industry and
requires effective tools for correct-by-construction design or design verification. This book …

Hybrid dynamical systems are a class of complex systems that involve interacting discrete-
event and continuous-variable dynamics. They are important in applications in embedded …

A new trend in the robotic motion planning literature is to use formal methods, like model
checking, reactive synthesis and supervisory control theory, to automatically design …

In this paper, we consider the problem of controller design using approximately bisimilar
abstractions with an emphasis on safety and reachability specifications. We propose …