This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussec...
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
This paper obtains feedback stabilization of an inverted pendulum on a rotor arm by the "method of controlled Lagrangians". This approach involves modifying the Lagrangi...
Anthony M. Bloch, Naomi Ehrich Leonard, Jerrold E....