Hierarchical synthesis of hybrid controllers from temporal logic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4416 LNCS, Issue , 2007, Pages 203-216

  Fainekos, Georgios E ^a   Girard, Antoine ^b   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; CONTROL EQUIPMENT; PROBLEM SOLVING; TEMPORAL LOGIC;

HYBRID CONTROLLERS; POLYGONAL ENVIRONMENT; ROBUST SPECIFICATION;

HIERARCHICAL SYSTEMS;

EID: 38049104000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_18     Document Type: Conference Paper

References (23)

1. Pappas, G.J., Lafferriere, G., Sastry, S.: Hierarchically consistent control systems. IEEE Trans. on Auto. Cont. 45(6) (2000) 1144-1160
2. Tabuada, P., Pappas, G.J.: Hierarchical trajectory generation for a class of nonlinear systems. Automatica 41(4) (2005) 701-708
3. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Trans. Auto. Cont. (2005) Accepted.
4. Tabuada, P.: An approximate simulation approach to symbolic control. (2006) Submitted.
5. Girard, A., Pappas, G.J.: Hierarchical control using approximate simulation relations. In: 45th IEEE Conference on Decision and Control. (2006)
6. Kamp, H.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California (1968)
7. Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Hybrid controllers for path planning: A temporal logic approach. In: 44th IEEE CDC and ECC (2005)
8. Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from LTL specifications. In: Hybrid Systems: Computation and Control. Volume 3927 of LNCS. Springer (2006) 333-347
9. Fainekos, G.E., Loizou, S.G., Pappas, G.J.: Translating temporal logic to controller specifications. In: 45th IEEE Conference on Decision and Control. (2006)
10. Reynolds, M.: Continuous temporal models. In: the 14th Australian Joint Conference on Artificial Intelligence. Volume 2256 of LNCS., Springer (2001) 414-425
11. Pappas, G.J.: Bisimilar linear systems. Automatica 39(12) (2003) 2035-2047
12. van der Schaft, A.: Equivalence of dynamical systems by bisimulation. IEEE Trans. Auto. Cont. 49 (2004) 2160-2172
13. Fainekos, G.E., Girard, A., Pappas, G.J.: Hierarchical synthesis of hybrid controllers from temporal logic specifications. Technical report, Dept. of CIS, Univ. of Pennsylvania (2006)
14. Emerson, E.A.: Temporal and modal logic. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science: Formal Models and Semantics. Volume B., NorthHolland Pub. Co./MIT Press (1990) 995-1072
15. Moor, T., Davoren, J.M.: Robust controller synthesis for hybrid systems using modal logic. In: Proceedings of the 4th HSCC Volume 2034 of LNCS., Springer (2001) 433-446
16. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications. In: Proceedings of FATES/RV. Volume 4262 of LNCS., Springer (2006) 178-192
17. Fainekos, G.E.: An introduction to multi-valued model checking. Technical Report MS-CIS-05-16, Dept. of CIS, Univ. of Pennsylvania (2005)
18. Barringer, H., Kuiper, R., Pnueli, A.: A really abstract concurrent model and its temporal logic. In: POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, New York, NY, USA, ACM Press (1986) 173-183
19. Giacomo, G.D., Vardi, M.Y.: Automata-theoretic approach to planning for temporally extended goals. In: Proceedings of the 5th ECP. Volume 1809 of LNCS., Springer (1999) 226-238
20. Belta, C., Isler, V., Pappas, G.J.: Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Trans. on Robotics 21(5) (2005) 864-874
21. Conner, D.C., Rizzi, A., Choset, H.: Composition of local potential functions for global robot control and navigation. In: Proceedings of 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems. (2003) 3546-3551
22. Maler, O., Nickovic, D., Pnueli, A.: From MITL to timed automata. In: Proceedings of FORMATS. Volume 4202 of LNCS., Springer (2006) 274-289
23. Kvasnica, M., Grieder, P., Baotić, M.: Multi-Parametric Toolbox (MPT) (2004) http://control.ee.ethz.ch/ mpt/.