Knowledge is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems

Proceedings of the American Control Conference

Volumn 3, Issue , 2003, Pages 2246-2251

  Ricker, S L ^a   Rudie, K ^b  

^a MOUNT ALLISON UNIVERSITY   (Canada)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL LOGIC; INFORMATION ANALYSIS;

CONTROL DECISION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0142184180     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. C. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer, 1999.
2. R. Cieslak, C. Desclaux, A.S. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Automat. Contr., 33(3):249-260, 1988.
3. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, 1995.
4. X. Guan and L.E. Holloway. Distributed discrete event control structures with controller interactions. In Proc. Amer. Contr. Conf., pages 3151-3156, 1995.
5. J.Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. J. ACM, 37(3):549-587, 1990.
6. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
7. P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Contr. Optim., 25(1):206-230, 1987.
8. S.L. Ricker and K. Rudie. Incorporating communication and knowledge into decentralized discrete-event systems. In Proc. IEEE Conf. Decision Contr., pages 1326-1332, 1999.
9. S.L. Ricker and K. Rudie. Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans. Automat. Contr., 45(9):1656-1668, 2000.
10. K. Rudie and W.M. Wonham. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Automat. Contr., 37(11):1692-1708, 1992.
11. T.-S. Yoo. Monitoring and Control of Centralized and Decentralized Partially-Observed Discrete-Event Systems. PhD thesis, Dept. EECS, Univ. of Michigan, 2002.
12. T.-S. Yoo and S. Lafortune. Decentralized supervisory control: A new architecture with a dynamic decision fusion rule. In Proc. Int. Workshop on Discrete Event Systems (WODES), pages 11-17, Zaragoza, Spain, 2002.