Translating temporal logic to controller specifications

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 899-904

  Fainekos, Georgias E ^a   Loizou, Savvas G ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; PROBLEM SOLVING; SPECIFICATIONS;

DISCRETE SPECIFICATIONS; HYBRID AUTOMATON; HYBRID CONTROLLERS;

TEMPORAL LOGIC;

EID: 34147138966     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377825     Document Type: Conference Paper

References (18)

1. E. Asarin, O. Bournez,: T. Dang, O. Maler, and A. Pnueli, "Effective synthesis of switching controllers for linear systems," Proceedings of the IEEE, vol, 88, no. 7, pp. 1011-1024, 2000.
2. J. Lygeros, C. Tornlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
3. L. C. Habets and J. H. van Schuppen, "A control problem for affine dynamical, systems on a full-dimensional polytope," Automatica, vol, 40, pp. 21-35, 2004.
4. A. Bemporad and M. Morari, "Control of systems integrating logic; dynamics, and constraints;" Automatica, vol. 35, no. 3, pp. 407-427, 1999,
5. E. Rirnon and D. E. Koditschek, "Exact robot navigation using artificial potential fields," IEEE Trans. Robot. Automat., vol. 8, no. 5, pp. 501-518, Oct. 1992,
6. D. C. Conner, A. Rizzi, and H. Choset, "Composition of local potential functions for global robot control and navigation," in Proceedings of 2003 IEEE/RSJ International Conference on intelligent Robots and Systems (IROS 2003), vol, 4, IEEE, October 2003, pp. 3546-3551.
7. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proceedings of the IEEE, vol. 88, no. 2, pp. 971-984, 2000,
8. X. D. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon, "Supervisory control of hybrid systems," Proceedings of the IEEE, vol. 88, no. 7, pp. 1026-1049, July 2000
9. J. G. Thistle and W. M. Wonham, "Control problems in a temporal logic framework," International Journal of Control, vol. 44, no. 4, pp. 943-976, 1986.
10. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Hybrid controllers for path planning: A temporal logic approach," in Proceedings of the 44th IEEE Conference on Decision and Control, Dec. 2005, pp. 4885 -4890.
11. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from LTL specifications," in 9th HSCC, ser. LNCS, vol. 3927. Springer, 2006, pp. 333-347.
12. P. Tabuada and G. J. Pappas, "Linear time logic Control of discrete-time linear systerns," accepted for publication in the IEEE Transactions on Automatic Control.
13. S. G. Loizou, and K. J. Kyriakopoulos, "Automatic synthesis of multiagent motion tasks based on LTL specifications," in Proceedings of the 43rd IEEE Conference on Decision and Control, Dec. 2004.
14. T. Moor and J. M, Dvorn, "Robust controller synthesis for hybrid systems using modal logic," in Proceedings of the 4th HSCC, ser. LNCS, vol. 2034, Springer, 2001, pp. 433-446.
15. R. Alur and S. L. Torre, "Deterministic generators and games for LTL fragments " in Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001, pp. 291-302.
16. T. A. Henzinger, "The theory of hybrid automata," in Proceedings of the 11th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 1996, pp. 278-292.
17. _, "Hybrid automata with finite bisimulatioins," in the 22nd ICALP, set LNCS, vol. 944. Springer, 1995, pp. 324-335.
18. D. Dams, "Flat fragments of CTL and CTL* : Separating the expressive and distinguishing powers." Logic Journal of the IGPL, vol. 7, no. 1, pp. 55-78, 1999.