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.

• Type: Conference
• Year: 1999
• Where: ICRA
• Authors: Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar
• Keywords: Discrete-event Control, Extended Framework, ICRA 1999, Robotics, Traditional Framework