Safe Hierarchical Model Predictive Control and Planning for Autonomous Systems
Markus Koegel, Mohamed Ibrahim, Christian Kallies, Rolf Findeisen

TL;DR
This paper introduces an integrated hierarchical predictive control and planning framework for autonomous systems that enhances safety, flexibility, and real-time performance by combining mode switching, constraint tightening, and recursive feasibility guarantees.
Contribution
It presents a novel hierarchical MPC and planning approach with multiple control modes, constraint tightening via MILP, and recursive feasibility conditions for safety and efficiency.
Findings
Reduces conservatism with multiple control modes.
Enables real-time implementation through hierarchical decomposition.
Guarantees safety and obstacle avoidance with recursive feasibility.
Abstract
Planning and control for autonomous vehicles usually are hierarchical separated. However, increasing performance demands and operating in highly dynamic environments requires an frequent re-evaluation of the planning and tight integration of control and planning to guarantee safety. We propose an integrated hierarchical predictive control and planning approach to tackle this challenge. Planner and controller are based on the repeated solution of moving horizon optimal control problems. The planner can choose different low-layer controller modes for increased flexibility and performance instead of using a single controller with a large safety margin for collision avoidance under uncertainty. Planning is based on simplified system dynamics and safety, yet flexible operation is ensured by constraint tightening based on a mixed-integer linear programming formulation. A cyclic horizon…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Control Systems Optimization · Formal Methods in Verification · Fault Detection and Control Systems
