Sciweavers

DEDS
1998

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems

13 years 9 months ago
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
Michael Heymann, Feng Lin, George Meyer
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where DEDS
Authors Michael Heymann, Feng Lin, George Meyer
Comments (0)