Supervisory control of concurrent discrete-event systems

Abstract When a discrele-event system P consists of several subsystems P1,...,Pn which operate concurrently, a natural approach to the supervisory control problem is to synthesize a ‘local’ controller Si , for each subsystem Pi , and operate the individually controlled subsystems Si/Pi concurrently. Such an approach is called concurrent supervisory control and is closely related to decentralized supervisory control as studied by Cieslak et al. (1988) and Lin and Wonham (1988). In the present paper simple and easily computable conditions are developed which guarantee that concurrent supervisory control can achieve the optimal behaviour achievable by a global supervisor. To achieve this, two specific concurrent control strategies are introduced.

[1]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[2]  Oded Maimon,et al.  Control of large discrete event systems: constructive algorithms , 1989 .

[3]  Walter Murray Wonham,et al.  Supervisory control of communicating processes , 1990, PSTV.

[4]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[5]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[6]  吴德恒,et al.  经Co , 1964 .

[7]  P. Ramadge,et al.  Modular Feedback Logic for Discrete Event Systems , 1987 .

[8]  Thomas Sudkamp,et al.  Languages and Machines , 1988 .

[9]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[10]  O. H. Lowry.  Academic press. , 1972, Analytical chemistry.

[11]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[12]  Wei-Min Lu,et al.  Structuralized control logic for discrete event systems , 1989, Proceedings. ICCON IEEE International Conference on Control and Applications.

[13]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[14]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[15]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[16]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.