Hybrid Controllers for Path Planning: A Temporal Logic Approach

Loading...
Thumbnail Image
Penn collection
Lab Papers (GRASP)
Degree type
Discipline
Subject
Engineering
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
Abstract

Robot motion planning algorithms have focused on low-level reachability goals taking into account robot kinematics, or on high level task planning while ignoring low-level dynamics. In this paper, we present an integrated approach to the design of closed–loop hybrid controllers that guarantee by construction that the resulting continuous robot trajectories satisfy sophisticated specifications expressed in the so–called Linear Temporal Logic. In addition, our framework ensures that the temporal logic specification is satisfied even in the presence of an adversary that may instantaneously reposition the robot within the environment a finite number of times. This is achieved by obtaining a Büchi automaton realization of the temporal logic specification, which supervises a finite family of continuous feedback controllers, ensuring consistency between the discrete plan and the continuous execution.

Advisor
Date of presentation
2005-01-01
Conference name
Lab Papers (GRASP)
Conference dates
2023-05-17T05:26:51.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Suggested Citation: Fainekos, G., H. Kress-Gazit and G. Pappas. (2005). "Hybrid Controllers for Path Planning: A Temporal Logic Approach." Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference 2005. Seville, Spain. December 12-15, 2005. ©2005 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Recommended citation
Collection