This paper presents an approach for functionally dealing with multiple tasks in the supervisory control of discrete-event systems (DES). The colored marking generator (CMG), a special type of Moore automaton, is introduced as a model that distinguishes classes of tasks in DES. The main results of supervisory control theory are extended to this model, allowing the synthesis of minimally restrict...

In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...

In the Model-Based Engineering (MBE) paradigm, models are the core elements in the design process of a system from its requirements to the actual implementation of the system. By means of Supervisory Control Theory (SCT), supervisory controllers (supervisors) can be synthesized instead of designing themmanually. In this paper, a framework based on the Compositional Interchange Format for hybrid...

In the Model-Based Engineering (MBE) paradigm, models are the core elements in the design process of a system from its requirements to the actual implementation of the system. By means of Supervisory Control Theory (SCT), supervisory controllers (supervisors) can be synthesized instead of designing themmanually. In this paper, a framework based on the Compositional Interchange Format for hybrid...

Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control ...

Manufacturing control modules, which are bascd on hierarchical control theory, decompose commands from a supervisory controller into elementary tasks to be performed by subordinate systems. The ability to simultaneously manage coordinated and independent functions of subordinates, while also processing new commands from the supervisory controller, i s beneficial in advanced implementations of t...

To initiate a discussion on the modeling requirements for distributed control of discrete-event systems, a partially-automated regionbased methodology is presented. The methodology is illustrated via a well-known example from distributed computing: the dining philosophers. 1 Decentralized, Asynchronous, and Distributed DES Control In this section, we explain our understanding of the gradual evo...