Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 34-39

  Takai, S ^a   Ushio, T ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; SUPERVISORY PERSONNEL;

ITERATIVE ALGORITHM; NON-BLOCKING; NONBLOCKING SUPERVISORS; PARTIAL OBSERVATION; SUBLANGUAGES; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 33645333231     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167666     Document Type: Conference Paper

References (16)

1. N. Ben Hadj-Alouane, S. Lafortune, and F. Lin, "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation, " Discrete Event Dynamic Syst.: Theory and Appl., vol. 6, no. 4, pp. 379-427, 1996.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer Academic Publishers, 1999.
3. H. Cho and S. I. Marcus. "On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation, " Math. Contr. Signals Syst., vol. 2, no. 1, pp. 47-69, 1989.
4. H. Cho and S. I. Marcus, "Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations, " Math. Syst. Theory, vol. 22, no. 3, pp. 177-211, 1989.
5. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations, " IEEE Trans. Automat. Contr., vol. 33, no. 3, pp. 249-260, 1988.
6. J. Fa, X. Yang, and Y. Zheng, "Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage, " Syst. Contr. Lett., vol. 20, no. 1, pp. 11-18, 1993.
7. M. Heymann and F. Lin, "On-line control of partially observed discrete event systems, " Discrete Event Dynamic Syst.: Theory and Appl., vol. 4, no. 3, pp. 221-236, 1994.
8. R. Kumar, "Formulas for observability of discrete event dynamical systems, " in Proc. 1993 Conf. Info. Sci. Syst., 1993, pp. 581-586.
9. R. Kumar and V. K. Garg, "Optimal supervisory control of discrete event dynamical systems, " SIAM J. Contr. Optim., vol. 33, no. 2, pp. 419-439, 1995.
10. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, MA: Kluwer Academic Publishers, 1995.
11. F. Lin and W. M. Wonham, "On observability of discrete-event systems, " Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
12. J. H. Prosser, M. Kam, and H. G. Kwatny, "Online supervisor synthesis for partially observed discreteevent systems, " IEEE Trans. Automat. Contr., vol. 43, no. 11, pp. 1630-1634, 1998.
13. P. J. Ramadge andW. M.Wonham, "Supervisory control of a class of discrete-event processes, " SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
14. T. Ushio, "On-line control of discrete event systems with a maximally controllable and observable sublanguage, " IEICE Trans. Fundamentals, vol. E82-A, no. 9, pp. 1965-1970, 1999.
15. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language, " SIAM J. Contr. Optim., vol. 25, no. 3, pp. 637-659, 1987.
16. W. M. Wonham and P. J. Ramadge, "Modular supervisory control of discrete-event systems, " Math. Contr. Signals Syst., vol. 1, no. 1, pp. 13-30, 1988.