Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
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...
Michael Heymann, Feng Lin, George Meyer, Satya Ran...