Model checking
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Convex Optimization
Flow-through policies for hybrid controller synthesis applied to fully actuated systems
IEEE Transactions on Robotics
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Discrete abstractions for robot motion planning and control in polygonal environments
IEEE Transactions on Robotics
Maneuver-based motion planning for nonlinear systems with symmetries
IEEE Transactions on Robotics
IEEE Transactions on Robotics
Hi-index | 0.00 |
This paper presents an approach to couple path planning and control for mobile robot navigation in a hybrid control framework. We build upon an existing hybrid control approach called sequential composition, in which a set of feedback control policies are prescribed on well-defined domains contained in the robot's free space. Each control policy drives the robot to a goal set, which lies in the domain of a subsequent policy. Control policies are deployed into the free state space so that when composed among one another, the overall action of the set of control policies drives the robot to perform a task, such as moving from a start to a goal location or patrolling a perimeter. A planner determines the sequence of control policies to be invoked. When control policies defined in this framework respect the low-level dynamics and kinematics of the system, this formal approach guarantees that high-level tasks are either accomplished by a given set of policies, or verifies that the tasks are not achievable with the given policies.Specifically, this paper makes three key contributions to the technique of sequential composition. First, we allow for a larger variety of transitions among the control policies, which results in a richer set of generated behaviors. In particular, we are able to design policies that respect multiple interacting constraints including obstacles, nonholonomic constraints, and input bounds. This is achieved by utilizing flow-through control policies, which allow the robot to exit the policy domain through a subset of the domain boundary. Second, our hybrid control approach lifts the planning problem from working in trajectory space to control policy space, allowing for both more efficient and meaningful symbolic planners to be employed for systems with nonholonomic constraints. Finally, we address the issue of deploying control policies in configuration spaces whose obstacles have curvature (i.e., are not polytopes in configuration space); ultimately, such an approach results in the collection of policy domains only approximating the free space. We believe this trade-off is necessary, and provide a technique to measure the relative completeness of the approximation. The paper concludes with an experimental validation of our approach on a mobile robot.