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 …

The automotive industry is going through a fundamental change by moving from a
mechanical to a software-intensive industry in which most innovation and competition rely …

In formal verification, a designer first constructs a model, with mathematically precise
semantics, of the system under design, and performs extensive analysis with respect to …

Cyber-physical systems combine digital and analog devices, interfaces, networks, computer
systems, and the like with the natural and man-made physical world. The inherent …

Although comprehensive knowledge of cyber-physical systems (CPS) is becoming a must
for researchers, practitioners, system designers, policy makers, system managers, and …

In this paper, we study an optimal output consensus problem for a multiagent network with
agents in the form of multi-input multioutput minimum-phase dynamics. Optimal output …

In this paper, we propose a novel policy for steering multiple vehicles between assigned
start and goal configurations, ensuring collision avoidance. The policy rests on the …

This paper describes the Hybrid Equations (HyEQ) Toolbox implemented in Matlab/Simulink
for the simulation of hy-brid dynamical systems. This toolbox is capable of comput-ing …

We present a Monte-Carlo optimization technique for finding system behaviors that falsify a
metric temporal logic (MTL) property. Our approach performs a random walk over the space …

This paper discusses an interpretation of hybrid systems as executable models. A
specification of a hybrid system for this purpose can be viewed as a program in a domain …