Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

IEEE International Conference on Intelligent Robots and Systems

Volumn , Issue , 2011, Pages 3108-3113

  Medina Ayala, A I ^a   Andersson, S B ^a   Belta, C ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL STRATEGIES; DYNAMIC ENVIRONMENTS; DYNAMIC NATURE; MARKOV DECISION PROCESSES; MOBILE ROBOTIC SYSTEMS; OPTIMAL SOLUTIONS; PROBABILISTIC COMPUTATION; TEMPORAL LOGIC SPECIFICATIONS;

COLLISION AVOIDANCE; COMPUTATION THEORY; MARKOV PROCESSES; OPTIMIZATION; PROBABILISTIC LOGICS; ROBOTICS; SPECIFICATIONS; TEMPORAL LOGIC;

INTELLIGENT ROBOTS;

EID: 84455178889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IROS.2011.6048301     Document Type: Conference Paper

References (8)

1. S. Ong, S. Png, D. Hsu and W. Lee, "POMDPs for robotic tasks with mixed observability", The International Journal of Robotics Research, 2010, vol. 29, no. 8, pp. 1053-1068.
2. A. Bianco and L. de Alfaro, "Model checking of probabilistic and nondeterministic systems", Springer-Verlag, 1995, pp. 499-513.
3. G. E. Fainekos, H. Kress-Gazit and G. J. Pappas, "Hybrid controllers for path planning: a temporal logic approach", In IEEE Conference on Decision and Control, 2005, pp. 4885-4890.
4. H. K. Gazit, G. Fainekos and G. J. Pappas, "Wheres Waldo? sensor-based temporal logic motion planning", In IEEE International Conference on Robotics and Automation, 2007, pp. 3116-3121.
5. M. Lahijanian, J. Wasniewski, S. B. Andersson and C. Belta, "Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees", International Conference on Robotics and Automation, 2010, pp. 3227-3232.
6. S. G. Loizou and K. J. Kyriakopoulos, "Automatic synthesis of multiagent motion tasks based on LTL specifications", In 43rd IEEE Conference on Decision and Control, 2004, vol. 26, pp. 153-158.
7. E. M. M. Clarke, D. Peled and O. Grumberg, Model Checking. MIT Press, Cambridge, MA; 1999.
8. "Robotic indoor environment." [Online]. hyness.bu.edu/ride/