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

Sufficiently accurate finite state models, also called symbolic models or discrete
abstractions, allow one to apply fully automated methods, originally developed for purely …

We consider abstraction-based design of output-feedback controllers for dynamical systems
with a finite set of inputs and outputs against specifications in linear-time temporal logic. The …

The topic of this paper is the synthesis of discrete supervisory control for hybrid systems Σ
with discrete external signals. Such systems are in general neither l-complete nor can they …

Today's increasingly populous cities require intelligent transportation systems that make
efficient use of existing transportation infrastructure. However, inefficient traffic management …

In the context of networked control systems, event-triggered control (ETC) has emerged as a
major topic due to its alleged resource usage reduction capabilities. However, this is mainly …

A Relaxation Based Approach to Optimal Control of Hybrid and Switched Systems proposes
a unified approach to effective and numerically tractable relaxation schemes for optimal …

Abstraction based approaches to hybrid control systems synthesis have so far been mostly
limited to problems with low-order linear continuous dynamics. In this paper, results from the …

Model-based design approaches for embedded systems aim at generating correct-by-
construction control software, guaranteeing that the closed-loop system (controller and …

In this paper, we consider the problem of synthesizing low-complexity controllers for
incrementally stable switched systems. For that purpose, we establish a new approximation …