A temporal logic specification interface for automata-theoretic finitary control synthesis

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2005, Issue , 2005, Pages 565-571

  Seow, Kiam Tian ^a   Gai, Ming ^a   Lim, Tong Lee ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Automatic translation; Discrete event systems; Finite automata; Prepositional linear time temporal logic; Supervisory control

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM ANALYSIS; FORMAL LOGIC; INTERFACES (COMPUTER);

AUTOMATIC TRANSLATION; DISCRETE EVENT SYSTEMS (DES'S); PREPOSITIONAL LINEAR TIME TEMPORAL LOGIC (PTL);

AUTOMATA THEORY;

EID: 33846150692     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2005.1570178     Document Type: Conference Paper

References (17)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM Journal of Control and Optimization, vol. 25, no. 1, pp. 206-230, January 1987.
2. M. Silva, A. Giua, and J. M. Colom, eds., Proceedings of the Sixth International Workshop on Discrete-Event Systems. IEEE Computer Society, U.S.A. October 2002.
3. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA : Addison-Wesley, 1979.
4. W. M. Wonham, Notes on Control of Discrete-Event Systems ECE 1636F/1637S. Systems Control Group, University of Toronto, Updated 1st July 2004. http://www.control.toronto.edu/cgibin/dldes.cgi.
5. B. A. Brandin, "The real-time supervisory control of an experimental manufacturing cell," IEEE Transactions on Robotics and Automation, vol. 12, no. 1, pp. 1-14, February 1996.
6. S. L. Ricker, N. Sarkar, and K. Rudie, "A discrete-event systems approach to modeling dextrous manipulation," Robotica, vol. 14, pp. 515-525, 1996.
7. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems : Specification. Springer Verlag New York, Inc, 1992.
8. K. T. Seow, "Existence characterizations of temporal-safety super-visors," IEEE Transactions on Automatic Control, vol. 47, no. 10, pp. 1779-1783, October 2002.
9. A. Fusaoka, H. Seki, and K. Takahashi, "A description and reasoning of plant controllers in temporal logic," Proceedings of the 8th International Joint Conference on Artificial Inteligence, pp. 405-408, 1983.
10. F. Lin, "Analysis and synthesis of discrete event systems using temporal logic," Control Theory and Advanced Technology (CTAT), vol. 9, no. 1, pp. 341-350, March 1993.
11. M. Barbeau, F. Kabanza, and R. St.-Denis, "A method for the synthesis of controllers to handle safety, liveness, and real-time constraints," IEEE Transactions on Automatic Control, vol. 43, no. 11, pp. 1543-1559, November 1998.
12. W. M. Wonham, Design Software: CTCT. Version 71 for MS-DOS in Windows 95/98/2000, developed by Systems Control Group, University of Toronto, Updated 1st July 2003. http://www.control.toronto.edu/cgi-bin/dlctct.cgi.
13. P. Wolper, "Constructing automata from temporal logic formulas: A tutorial," Lecture Notes in Computer Science: Formal Methods and Performance Analysis, vol. 2090 (E. Brinksma, H. Hermanns, and J. Katoen, eds.), pp. 261-277, Springer Verlag, New York, 2001.
14. M. Fujita, "Application of temporal logic to the assistance of hardware logic design," Proceedings of the IEEE International Symposium on Multiple-Valued Logic, pp. 254-263, 1988.
15. P. Wolper, "Temporal logic can be more expressive," Information and Control, vol. 56, no. 1-2, pp. 72-99, 1983.
16. K. Schneider, Verification of Reactive Systems: Formal Methods and Algorithms. Springer Verlag, 2004. Texts in Theoretical Computer Science. An EATCS Series.
17. G. J. Holzmann, "The model checker SPIN," IEEE Transactions on Software Engineering, vol. 23, no. 5, pp. 279-295, May 1997.