Probabilistic supervisory control of probabilistic discrete event systems

IEEE Transactions on Automatic Control

Volumn 54, Issue 8, 2009, Pages 2013-2018

  Pantelic, Vera ^a   Postma, Steven M ^a   Lawford, Mark ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

Probabilistic discrete event systems; Random disablement; Supervisory control

Indexed keywords

A PLANTS; PROBABILISTIC DISCRETE EVENT SYSTEMS; PROBABILISTIC LANGUAGE; RANDOM DISABLEMENT; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL;

COMPUTATION THEORY; SUPERVISORY PERSONNEL;

SCADA SYSTEMS;

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

References (22)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optimiz,, vol. 25, no. 1, pp. 206-230, 1987.
2. C. G. Cassandras, Discrete Event Systems: Modeling and Performance Analysis. Homewood, IL: Richard D. Irwin, Inc. and Aksen Associates, Inc., 1993.
3. M. O. Rabin, "Probabilistic automata," Inform. and Control, vol. 6, no. 3, pp. 230-245, Sep. 1963.
4. M. Molloy, "Performance analysis using stochastic Petri Nets," IEEE Trans. Compute., vol. C-39, no. 9, pp. 913-917, Sep. 1982.
5. V. Garg, "An algebraic approach to modeling probabilistic discrete event systems," in Proc. 31st IEEE Conf. Decision and Control, Tucson, AZ, Dec. 1992, pp. 2348-2353.
6. V. Garg, "Probabilistic languages for modeling of DEDS," in Proc. 26th Conf. Information Sciences and Systems, Princeton, NJ, Mar. 1992, vol. 1, pp. 198-203.
7. H. Mortazavian, "Controlled stochastic languages," in Proc. 31st Annu. Allerton Conf. Communications, Control, and Computing, Urbana, IL, 1993, pp. 938-947.
8. V. S. Borkar, Topics in Controlled Markov Chains. New York:WIley, 1991.
9. M. Lawford and W. Wonham, "Supervisory control of probabilistic discrete event systems," in Proc. 36th IEEE Midwest Symp. Circuits and Systems, Aug. 1993, vol. 1, pp. 327-331.
10. S. Postma and M. Lawford, "Computation of probabilistic supervisory controllers for model matching," in Proc. Allerton Conf. Communications, Control, and Computing, Monticello, CA, 2004.
11. R. Kumar and V. Garg, "Control of stochastic discrete event systems: Existence," in Proc. 1998 Int. Workshop on Discrete Event Systems Cagliari, Italy, Aug. 1998, pp. 24-29.
12. R. Kumar and V. Garg, "Control of stochastic discrete event systems modeled by probabilistic languages," IEEE Trans. Automat. Control vol. 46, no. 4, pp. 593-606, Apr. 2001.
13. I. Chattopadhyay and A. Ray, "Language-measure-theoretic optimal control of probabilistic finite state systems," in Proc. 46th IEEE Conf. Decision and Control, New Orleans, LA, Dec. 2007, pp. 5930-5935.
14. Chattopadhyay and A. Ray, "Language-measure-theoretic optimal control of probabilistic finite-state systems," Int. J. Control, vol. 80, no. 8, pp. 1271-1290, 2007.
15. C. Baier,M. Größer,M. Leucker, B. Bollig, and F. Ciesinski, J.-J. Lévy, E. W. Mayr, and J. C. Mitchell, Eds., "Controller synthesis for probabilistic systems," in Proc. IFIP Int. Conf. Theoretical Computer Science, 2004, pp. 493-506.
16. A. Kučera and O. Stražovský, "On the controller synthesis for finite-state Markov decision processes," Fundam. Inform., vol. 82, no. 1-2, pp. 141-153, 2008.
17. V. Pantelic, S. Postma, and M. Lawford, Supervisory Control of Probabilistic Discrete Event Systems Software Quality Research Lab, Mc-Master Univ., Hamilton, ON, Canada, 2009, Tech. Rep. 21.
18. V. Kreinovich, A. Lakeyev, J. Rohn, and P. Kahl, Computational Complexity and Feasibility of Data Processing and Interval Computations Dordrecht, The Netherlands: Kluwer, 1998.
19. K. Etessami and M. Yannakakis, "Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations," J. ACM, vol. 56, no. 1, 2009.
20. J. Canny, "Some algebraic and geometric computations in PSPACE," in STOC '88: Proc. 20th Annu. ACMSymp. Theory of Computing, New York, 1988, pp. 460-469.
21. J. Renegar, "On the computational complexity and geometry of the first-order theory of the reals, Part I-III," J. Symb. Comput., vol. 13, no. 3, pp. 255-352, 1992.
22. V. Pantelic and M. Lawford, "Towards optimal supervisory control of probabilistic discrete event systems," in Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, Jun. 2009.