Synthesis of Run-To-Completion Controllers for Discrete Event Systems

Yehia Abd Alrahman, Victor Braberman, Nicolás D'Ippolito +2

A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.A…