Sciweavers

ICRA
1999
IEEE

Discrete Event Control with Active Events

13 years 8 months ago
Discrete Event Control with Active Events
Abstract--The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events that they can trigger. A variety of liveness and safety specifications can be considered within this extended framework. A synthesis algorithm of minimally restrictive controllers is outlined. Multiuser systems are also discussed.
Michael Heymann, Feng Lin, George Meyer, Satya Ran
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where ICRA
Authors Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar
Comments (0)