The subject of this paper is hybrid control of nonlinear systems with large-scale uncertainty. We describe a high-level controller, called a "supervisor", which orchestr...
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
— This paper addressed the computation of the L2-induced gain for a class of switched systems. The main contribution of the paper is to completely characterize the induced gain o...
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
Slobodan N. Simic, Karl Henrik Johansson, Shankar ...