On the existence of finite-state supervisors under partial observations

IEEE Transactions on Automatic Control

Volumn 42, Issue 11, 1997, Pages 1577-1581

  Ushio, Toshimitsu ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

Automaton; Discrete event system; Partial observations; Supervisory control

Indexed keywords

FINITE AUTOMATA; MATHEMATICAL MODELS; OBSERVABILITY; SCADA SYSTEMS;

FINITE STATE SUPERVISORS; PARTIAL OBSERVATIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0031274929     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.649723     Document Type: Article

References (9)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J. Contr. Optimiz., vol. 25, pp. 206-230, 1987.
2. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci., vol. 44, pp. 173-198, 1988.
3. _, "Decentralized control and coordination of discrete-event systems with partial observation," IEEE Trans. Automat. Contr., vol. 35, pp. 1330-1337, Dec. 1990.
4. 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, pp. 249-260, Mar. 1988.
5. K. Rudie and W. M. Wonham, "The infimal prefix-closed and observable superlanguages for a given language," Syst. Contr. Lett., vol. 15, no. 5, pp. 361-371, 1990.
6. P. J. Ramadge, "Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata," IEEE Trans. Automat. Contr., vol. 34, pp. 10-19, Jan. 1989.
7. T. Ushio, "A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems," IEEE Trans. Automat. Contr., vol. 38, pp. 135-138, Jan. 1993.
8. R. S. Sreenivas, "On the existence of finite state supervisors for arbitrary supervisory control problems," IEEE Trans. Automat. Contr., vol. 39, pp. 856-861, Apr. 1994.
9. T. Ushio, "Supervisory control using augmented languages in discrete event systems," Discrete Event Dynamic Syst.: Theory Appl., vol. 4, no. 1, pp. 5-22, 1994.