We propose formal means for synthesizing switching protocols that determine the sequence
in which the modes of a switched system are activated to satisfy certain high-level …

Fifty years ago, control and computing were part of a broader system science. After a long
period of separate development within each discipline, embedded and hybrid systems have …

We propose an approach to the synthesis of safety controllers for a class of switched
systems, based on the use of multiscale symbolic models that describe transitions of various …

We introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable
switched systems based on multi-scale discrete abstractions. The tool accepts a description …

We present multi-layered abstraction-based controller synthesis, which extends standard
abstraction-based controller synthesis (ABCS) algorithms for continuous-time control …

Robustness as a system property describes the degree to which a system is able to function
correctly in the presence of disturbances, ie, unforeseen or erroneous inputs. In this paper …

This work is motivated by the problem of synthesizing switching protocols for continuous
switched systems described by differential or difference equations, in a way that guarantees …

Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …

We investigate the problem of synthesizing switching controllers for stabilizing continuous-
time plants. First, we introduce a class of control Lyapunov functions (CLFs) for switched …

We consider the problem of synthesizing switching protocols that regulate the modes of a
switched system in order to guarantee that the trajectories of the system satisfy certain high …