Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control

IEEE Transactions on Automatic Control

Volumn 50, Issue 4, 2005, Pages 463-475

  Kumar, Ratnesh ^a   Jiang, Shengbing ^b   Zhou, Changyan ^a   Qiu, Wenbin ^a  

^a IOWA STATE UNIVERSITY   (United States)

^b GENERAL MOTORS CORPORATION   (United States)

Author keywords

Achievability; Controllability; Discrete event system (DES); Nondeterministic supervisory control; Partial observation; Recognizability

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; CONTROLLABILITY; EQUIVALENCE CLASSES; OBSERVABILITY; POLYNOMIALS; SCADA SYSTEMS;

ACHIEVABILITY; NONDETERMINISTIC SUPERVISOR CONTROL; PARTIAL OBSERVATION; RECOGNIZABILITY;

DISCRETE TIME CONTROL SYSTEMS;

EID: 17644426669     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.844725     Document Type: Article

References (21)

1. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Control Lett., vol. 15, no. 8, pp. 111-117, 1990.
2. H. Cho and S. I. Marcus, "On supremal languages of class of sublanguages that arise in supervisor synthesis problems with partial observations," Math. Control Signals Syst., vol. 2, pp. 47-69, 1989.
3. H. Cho and S. I. Marcus, "Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations," Math. Syst. Theory, vol. 22, pp. 177-211, 1989.
4. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete event processes with partial observation," IEEE Trans. Autom. Control, vol. 33, no. 2, pp. 249-260, Feb. 1988.
5. N. B. Hadj-Alouane, S. Lafortune, and F. Lin, "Centralized and distributed algorithm for on-line synthesis of maximal control policies under partial observation," Discrete Event Dyna. Syst.: Theory Appl. vol. 6, no. 41, pp. 379-427, 1996.
6. M. Heymann and F. Lin, "On-line control of partially observed discrete event systems," Discrete Event Dyna. Syst.: Theory Appl., vol. 4, no. 3, pp. 221-236, Jul. 1994.
7. K. Inan, "Supervisory control: Theory and application to the gateway synthesis problem," in Proc. Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, 1993, p. 25.
8. K. Inan, Nondeterministic Supervision Under Partial Observations. ser. Lecture Notes in Control and Information Sciences 199, G. Cohen and J.-P. Quadrat, Eds. New York: Springer-Verlag, 1994, pp. 39-48.
9. P. R. Kumar and P. Varaiya, Stochastic Systems: Estimation, Identification and Adaptive Control. Upper Saddle River, NJ: Prentice-Hall, 1986.
10. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, MA: Kluwer, 1995.
11. R. Kumar and V. K. Garg, "Optimal supervisory control of discrete event dynamical systems," SIAM J. Control Optim., vol. 33, no. 2, pp. 419-439, Mar. 1995.
12. R. Kumar, V. K. Garg, and S. I. Marcus, "On controllability and normality of discrete event dynamical systems," Syst. Control Lett. vol. 17, no. 3, pp. 157-168, 1991.
13. R. Kumar, S. Jiang, C. Zhou, and W. Qiu, "Control using nondeterministic supervisors for partially observed discrete event systems," presented at the 2004 Amer. Control Conf., Boston, MA, Jun. 2004.
14. R. Kumar and M. A. Shayman, "Formulae relating controllability, observability, and co-observability," Automatica, vol. 34, no. 2, pp. 211-215, 1998.
15. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci., vol. 44, no. 3, pp. 173-198, 1988.
16. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
17. K. Rudie and W. M. Wonham, "The infimal prefix closed and observable superlanguage of a given language," Syst. Control Lett., vol. 15, no. 5, pp. 361-371, 1990.
18. M. A. Shayman and R. Kumar, "Process objects/masked composition: An object oriented approach for modeling and control of discrete event systems," IEEE Trans. Autom. Control, vol. 44, no. 10, pp. 1864-1869, Oct. 1999.
19. J. N. Tsitsiklis, "On the control of discrete event dynamical systems," Math. Control Signals Syst., vol. 2, no. 2, pp. 95-107, 1989.
20. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim., vol. 25, no. 3, pp. 637-659, 1987.
21. C. Zhou, R. Kumar, and S. Jiang, "Control of nondeterministic discrete event systems for bisimulation equivalence," presented at the 2004 Amer. Control Conf., Boston, MA, Jun. 2004.