Know means no: incorporating knowledge into discrete-event control systems

IEEE Transactions on Automatic Control

Volumn 45, Issue 9, 2000, Pages 1656-1668

  Ricker, S Laurie ^a,b   Rudie, Karen ^a,c  

^a IEEE   (Canada)

^b CWI   (Netherlands)

^c QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DECENTRALIZED SUPERVISORS; DISCRETE EVENT CONTROL SYSTEMS; FORMAL REASONING; MODAL LOGIC;

AUTOMATA THEORY; CONTROL SYSTEM SYNTHESIS; DECENTRALIZED CONTROL; DISCRETE TIME CONTROL SYSTEMS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; MODAL ANALYSIS;

CONTROL SYSTEM ANALYSIS;

EID: 0034262572     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.880616     Document Type: Article

References (30)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimiz, vol. 25, no. 1, pp. 206-230, 1987.
2. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Contr., vol. 37, pp. 1692-1708, Nov. 1992.
3. J. Y. Halpern and Y. Moses, " Knowledge and common knowledge in a distributed environment," J. ACM, vol. 37, no. 3, pp. 549-587, 1990.
4. J. Y. Halpern and R. Fagin, "Modeling knowledge and action in distributed systems," Distributed Computing, vol. 3, pp. 159-177, 1989.
5. R. J. Aumann, "Agreeing to disagree," Annals Stat., vol. 4, no. 6, pp. 1236-1239, 1976.
6. B. L. Lipman, "An axiomatic approach to the logical omniscience problem," in Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conf., R. Fagin, Ed., 1994, pp. 182-196.
7. M. Burrows, M. Abadi, and R. Needham, "A logic of authentication," ACM Trans. Comp. Syst., vol. 8, no. 1, pp. 18-36, 1990.
8. V. Hadzilacos, "A knowledge-theoretic analysis of atomic commitment protocols," in Proc. 6th ACM Symp. on Principles of Database Syst., 1987, pp. 129-134.
9. R. I. Brafman and Y. Shoham, "Knowledge considerations in robotics and distribution of robotic tasks," in Proc. 14th Int. Joint Conf on Artificial Intelligence, 1995.
10. 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.
11. J. S. Ostroff and W. M. Wonham, "A temporal logic approach to real time control," in Proc. 24th Conf. Dec. and Contr., 1985, pp. 656-657.
12. J. G. Thistle and W. M. Wonham, "Control problems in a temporal logic framework," Int. J. Contr., vol. 44, pp. 943-976, 1986.
13. A. Radiya and R. Sargent, "A logic-based foundation of discrete event modeling and simulation," ACM Trans. Modeling Comp. Smul., vol. 4, no. 1, pp. 3-51, 1994.
14. K. C. Wong and J. H. van Schuppen, " Decentralized supervisory control of discrete-event systems with communication," in Proc. Int. Workshop on Discrete Event Syst., 1996, pp. 284-289.
15. G. Barrett and S. Lafortune, "On the synthesis of communicating controllers with decentralized information structures for discrete-event systems," in Proc. IEEE Conf. Dec. Contr., 1998, pp. 3281-3286.
16. J. H. van Schuppen, "Decentralized supervisory control with information structures," in Proc. of the Int. Workshop on Discrete Event Syst., 1998. pp. 36-41.
17. R. Sengupta, " Diagnosis and communication in distributed systems," in Proc. of the Int. Workshop on Discrete Event Syst., 1998, pp. 144-151.
18. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event control system," in Proc. Amer Contr Conf., 1999, pp. 1965-1970.
19. C. G. Cassandras, S. Lafortune, and G. J. Olsder, "Introduction to the modelling, control and optimization of discrete-event systems," Trends in Contr.: A European Perspec., pp. 217-291, 1995.
20. P. J. Ramadge and W. M. Wonham, " The control of discrete-event systems," Proc. of the IEEE, vol. 77, no. 1, pp. 81-98, 1989.
21. J. G. Thistle, "Supervisory control of discrete event systems," Math. Comp. Modelling, vol. 11/12, no. 23, pp. 25-53, 1996.
22. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Automat. Contr., vol. 33, no. 3, pp. 249-260, 1988.
23. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Info. Sci., vol. 44, pp. 173-198, 1988.
24. _, "Decentralized control and coordination of discrete-event systems with partial observation," IEEE Trans. Automat. Contr., vol. 35, pp. 1330-1337, Dec. 1990.
25. K. Rudie and J. C. Wlllems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Automat. Contr., vol. 40, pp. 1313-1319, July 1995.
26. S. Takai and S. Kodama, " Decentralized state feedback control of discrete event systems," Syst. Contr. Lett., vol. 22, no. 5, pp. 369-375, 1994.
27. Y. Willner and M. Heymann, "Supervisory control of concurrent discrete-event systems," Int. J. Contr., vol. 54, no. 5, pp. 1143-1169, 1991.
28. 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.
29. S. Lafortune and E. Chen, "The infimal closed controllable superlanguage and its application in supervisory control," IEEE Trans. Automat. Contr., vol. 35, pp. 398-405, Apr. 1990.
30. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning About Knowledge. Cambridge, MA: MIT Press, 1995.