Knowledge is a terrible thing to waste: Using inference in discrete-event control problems

IEEE Transactions on Automatic Control

Volumn 52, Issue 3, 2007, Pages 428-441

  Ricker, S L ^a   Rudie, K ^b  

^a MOUNT ALLISON UNIVERSITY   (Canada)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

Decentralized; Discrete event systems; Knowledge; Modal logic; Supervisory control

Indexed keywords

DECENTRALIZED; DISCRETE EVENT SYSTEMS; KNOWLEDGE; MODAL LOGIC; SUPERVISORY CONTROL;

FORMAL LOGIC;

SUPERVISORY PERSONNEL;

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

References (27)

1. R. J. Aumann, "Agreeing to disagree," Ann. Statist, vol. 4, no. 6, pp. 1236-1239, 1976.
2. R. I. Brafman and Y. Shoham, "Knowledge considerations in robotics and distribution of robotic tasks," in Proc. 14th Int. Joint Conf. Artifi Intell., 1995, pp. 96-102.
3. M. Burrows, M. Abadi, and R. Needham, "A logic of authentication," ACM Trans. Comput Syst., vol. 8, no. 1, pp. 18-36, 1990.
4. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
5. 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.
6. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Autom. Control, vol. 33, no. 3, pp. 249-260, Mar. 1988.
7. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning About Knowledge. Cambridge, MA: MIT Press, 1995.
8. X. Guan and L. E. Holloway, "Distributed discrete event control structures with controller interactions," in Proc. Amer. Control Conf, 1995, pp. 3151-3156.
9. J. Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment," in Proc. 3rd ACM Symp. Principles Distrib. Comput, 1984, pp. 50-61.
10. J. Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment," J. ACM, vol. 37, no. 3, pp. 549-587, 1990.
11. J. Y. Halpern and Y. Moses, "A guide to completeness and complexity for modal logics of knowledge and belief," Artif. Intell., vol. 54, pp. 319-379, 1992.
12. J. Y. Halpern andM. Y. Vardi, "Model checking vs. theorem proving: A manifesto," in Artificial Intelligence and Mathematical Theory of Computation (Papers in Honour of John McCarthy),V. Lifschitz, Ed. New York: Academic, 1991, pp. 151-176.
13. J. Y. Halpern and L. D. Zuck, "A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols," J. ACM, vol. 39, no. 3, 1992.
14. J. Hintikka, Knowledge and Belief. Ithaca, NY: Cornell Univ. Press, 1962.
15. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
16. G. E. Hughes and M. J. Cresswell, A New Introduction to Modal Logic. London, U.K.: Routledge, 1996.
17. S. Lafortune and E. Chen, "The infimal closed controllable superlanguage and its application in supervisory control," IEEE Trans. Autom. Control, vol. 35, no. 4, pp. 398-405, Apr. 1990.
18. 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.
19. P. J. Ramadge and W. M. Wonham., "The control of discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
20. S. L. Ricker and K. Rudie, "Incorporating communication and knowledge into decentralized discrete-event systems," in Proc. IEEE Conf. Decision Control, 1999, pp. 1326-1332.
21. S. L. Ricker and K. Rudie, "Know means no: Incorporating knowledge into discrete-event control systems," IEEE Trans. Autom. Control, vol. 45, no. 9, pp. 1656-1668, Sep. 2000.
22. S. L. Ricker and K. Rudie, "Knowledge is a terrible thing to waste: Using inference in discrete-event control problems," in Proc. Amer. Control Conf., 2003, pp. 2246-2251.
23. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 957-975, Jun. 2003.
24. K. Rudie and J. C. Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Autom. Control, vol. 40, no. 7, pp. 1313-1319, Jul. 1995.
25. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Autom. Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
26. T.-S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dyna. Syst: Theory Appl., vol. 12, pp. 335-377, 2002.
27. T.-S. Yoo and S. Lafortune, "Decentralized supervisory control with conditional decisions: Supervisor existence," IEEE Trans. Autom. Control, vol. 49, no. 11, pp. 1886-1904, Nov. 2004.