Towards optimal supervisory control of probabilistic discrete event systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2009, Pages 75-80

  Pantelic, Vera ^a   Lawford, Mark ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

Discrete event systems; Optimal control; Stochastic systems; Supervisory control

Indexed keywords

DISCRETE EVENT SIMULATION; STOCHASTIC SYSTEMS; SUPERVISORY PERSONNEL;

NOTION OF DISTANCE; OPTIMAL CONTROLS; OPTIMAL SUPERVISORY CONTROL; PROBABILISTIC DISCRETE EVENT SYSTEMS; PROBABILISTIC LANGUAGE; REQUIREMENTS SPECIFICATIONS; SUPERVISORY CONTROL;

STOCHASTIC CONTROL SYSTEMS;

EID: 79960954596     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090610-3-it-4004.00018     Document Type: Conference Paper

References (14)

1. Barrett, G. and Lafortune, S. (1997). Using bisimulation to solve discrete event control problems. In Proceedings of the 1997 American Control Conference, 2337-2341. Albuquerque, NM.
2. Borkar, V.S. (1991). Topics in controlled Markov chains. Wiley, New York.
3. Chattopadhyay and Ray, A. (2007). Language-measure-theoretic optimal control of probabilistic finite-state systems. International Journal of Control, 80(8), 1271-1290. (Pubitemid 350021222)
4. Deng, Y., Chothia, T., Palamidessi, C., and Pang, J. (2006). Metrics for action-labelled quantitative transition systems. Electronic Notes in Theoretical Computer Science, 153(2), 79-96. Also appeared in Proceedings of the 3rd Workshop on Quantitative Aspects of Program-ming Languages.
5. Desharnais, J., Jagadeesan, R., Gupta, V., and Panangaden, P. (2002). The metric analogue of weak bisimulation for probabilistic processes. In LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, 413-422. IEEE Computer Society, Washington, DC, USA.
6. Garg, V. (1992a). An algebraic approach to modeling probabilistic discrete event systems. In Proceedings of 31st IEEE Conference on Decision and Control, 2348-2353. Tucson, AZ, USA.
7. Garg, V. (1992b). Probabilistic languages for modeling of DEDS. In Proceedings of 26th Conference on Information Sciences and Systems, volume 1, 198-203. Princeton, NJ.
8. Kumar, R. and Garg, V. (1998). Control of stochastic discrete event systems: Existence. In Proceedings of 1998 International Workshop on Discrete Event Systems, 24-29. Cagliari, Italy.
9. Lawford, M. andWonham,W. (1993). Supervisory control of probabilistic discrete event systems. In Proceedings of the 36th IEEE Midwest Symposium on Circuits and Systems, volume 1, 327-331. IEEE.
10. Mortazavian, H. (1993). Controlled stochastic languages. In Proceedings of 31st Annual Allerton Conference on Communications, Control, and Computing, 938-947. Urbana, Illinois.
11. Pantelic, V. and Lawford, M. (2009). Optimal supervisory control of probabilistic discrete event systems. Technical Report 55, Software Quality Research Lab, McMaster University, Hamilton, ON, Canada.
12. Pantelic, V., Postma, S., and Lawford, M. (2009). Supervisory control of probabilistic discrete event systems. IEEE Transactions on Automatic Control. Accepted subject to revision.
13. Postma, S. and Lawford, M. (2004). Computation of probabilistic supervisory controllers for model matching. In Proceedings of Allerton Conference on Communications, Control, and Computing.
14. van Breugel, F. and Worrell, J. (2001). An algorithm for quantitative verification of probabilistic transition systems. In K.G. Larsen and M. Nielsen (eds.), CONCUR, volume 2154 of Lecture Notes in Computer Science, 336-350. Springer. (Pubitemid 33326666)