Supervisory control of a class of discrete event processes siam. In this paper, it is shown that a certain class of petri nets called event graphs can. Electrical engineering and systems science signal processing. In this paper, we are interested in the control of a particular class of concurrent.
Controlof discrete event processes 209 bethe set ofall binary assignmentsto the elements ofzc. In such systems, causal output functions are employed to. Algebraic tools for the performance evaluation of discrete event. The subset x is the coset or equivalence class of x with respect to the equivalence relation. The behavior of the system is described by a language over the simultaneous event set. As explained in the paper, the procedure to compute a coherent spec. Without these controls, the two tokens would again be able to leave. Pdf supervisory control of a class of discrete event systems.
Supervisor localization systems control group university of. Robust nonblocking supervisory control of discreteevent systems. We study distributed control design for discreteevent systems des in. This paper studies the control of a class of discrete event processes, i. Decentralized control of discrete event systems with. The controlled process is described as the generator of a formal language, while the controller, or supervisor, is constructed from the grammar of a specified target language. Fault diagnosis, discreteevent systems, intermittent faults, permanent faults. Introduction to discreteevent simulation and the simpy language. In many eventoriented packages, though, the event set is implementedsimplyasalinearlylinkedlist. The controlled process is described as the generator of a formal language, while the controller, or supervisor. Supervisory control of fuzzy discrete event systems arxiv. Supervisory control of discreteevent systems with output. Decentralized supervisory control for discreteevent systems has been studied in. Pdf supervisory control of a class of discrete event.
In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. Definitions and examples of discrete event dynamic systems deds will cer tainly be. The push operations model the network scheduling a message to. Discrete event systems, supervision and control, concurrent systems. Reactive supervisory control of open discreteevent systems. Improved time representation in discreteevent simulation tel. Were upgrading the acm dl, and would like your input. The technique is called discreteevent because the processing of each event of.
Anevent with label tr is said to be enabled by y if ytr1, or disabled by y if yr0. Supervisory control of a class of concurrent discrete. Devs is a formalism based on systems theory for the class of deds. Workshop on dependable control of discrete systems, cancun, mexico. The paper studies the control of a class of discrete event processes, i.