Robust stability and control for systems that combine continuous-time and discrete-time
dynamics. This article is a tutorial on modeling the dynamics of hybrid systems, on the …

There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

Abstract We describe Breach, a Matlab/C++ toolbox providing a coherent set of simulation-
based techniques aimed at the analysis of deterministic models of hybrid dynamical …

We present an abstraction and refinement methodology for the automated controller
synthesis to enforce general predefined specifications. The designed controllers require …

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 …

In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …

We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

Finite-state models of control systems were proposed by several researchers as a
convenient mechanism to synthesize controllers enforcing complex specifications. Most …

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 …

Techniques for diagnosing faults in hybrid systems that combine digital (discrete)
supervisory controllers with analog (continuous) plants need to be different from those used …