Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems

In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashion as the concurrent operation of Elementary Hybrid Machines (EHMs). The formalism has a well

• Type: Journal
• Year: 1998
• Where: DEDS
• Authors: Michael Heymann, Feng Lin, George Meyer
• Keywords: Composite Hybrid Machines, DEDS 1998, Elementary Hybrid Machines, Hybrid Machines