In this paper, we suggest a novel methodology for synthesizing switching controllers for
continuous and hybrid systems whose dynamics are defined by linear differential equations …

Hybrid systems are heterogenous dynamical systems characterized by interacting
continuous and discrete dynamics. Such mathematical models have proved fruitful in a great …

Hybrid automata offer a framework for the description of systems with both discrete and
continuous components, such as digital technology embedded in an analogue environment …

This paper presents a component-based modeling technique for systems with continuous
and discrete dynamics. It uses hierarchical composition to hide the implementation details of …

In this paper, we formulate and solve a quite general class of hybrid controller synthesis
problems. The plant consists of a finite number of continuous systems, given by differential …

The purpose of this paper is two-fold. We first give an overview of recent work on the formal
analysis and verification of hybrid systems, which are dynamical systems with both discrete …

Continuous systems have, traditionally, been the focus of system theory. Due to signi cant
advances in digital-processor technology in the past few decades, the use of digital …

Continuous systems have, traditionally, been the focus of system theory. Due to signi cant
advances in digital-processor technology in the past few decades, the use of digital …