Effective computation of an L/sub m/(G)-closed, controllable, and observable sublanguage arising in supervisory control

In this paper we study nonblocking, supervisory control of discrete event systems under partial observation. A nonblocking supervisor can be synthesized for the supremal L/sub m/(G)-closed, controllable, and normal sublanguage of a given (non-closed) marked language. However, such a supervisor may be too restrictive as a solution to the supervisory control problem. We identify a subclass of observable sublanguages of a given language, which has the supremal element larger than the supremal normal sublanguage. By using the supremal element, we present an iterative algorithm for computing an L/sub m/(G)-closed, controllable and observable sublanguage of a given marked language, which is larger than the supremal L/sub m/(G)-closed, controllable and normal sublanguage.

[1]  Yingping Zheng,et al.  Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage , 1993 .

[2]  Nejib Ben Hadj-Alouane,et al.  Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation , 1996, Discret. Event Dyn. Syst..

[3]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[6]  Feng Lin,et al.  On-line control of partially observed discrete event systems , 1994, Discret. Event Dyn. Syst..

[7]  Toshimitsu Ushio.  On-Line Control of Discrete Event Systems with a Maximally Controllable and Observable Sublanguage , 1999 .

[8]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[9]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

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

[11]  Moshe Kam,et al.  Online supervisor synthesis for partially observed discrete-event systems , 1998 .

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

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

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

[15]  Optimal Supervisory Control of Discrete Event Dynamical Systems 1 , 2 , 1995 .