A Feasible Sequential Linear Programming Algorithm with Application to Time-Optimal Path Planning Problems
David Kiessling, Andrea Zanelli, Armin Nurkanovi\'c, Joris Gillis,, Moritz Diehl, Melanie Zeilinger, Goele Pipeleers, Jan Swevers

TL;DR
This paper introduces a Feasible Sequential Linear Programming algorithm with a trust-region approach for solving time-optimal control problems, ensuring global convergence and feasibility, demonstrated on crane motion planning.
Contribution
The paper presents a novel FSLP algorithm that guarantees feasibility and quadratic convergence for time-optimal control problems with nonlinear constraints.
Findings
Efficiently solves time-optimal control problems with nonlinear constraints.
Ensures global convergence using a trust-region strategy.
Demonstrates effectiveness on crane motion planning case.
Abstract
In this paper, we propose a Feasible Sequential Linear Programming (FSLP) algorithm applied to time-optimal control problems (TOCP) obtained through direct multiple shooting discretization. This method is motivated by TOCP with nonlinear constraints which arise in motion planning of mechatronic systems. The algorithm applies a trust-region globalization strategy ensuring global convergence. For fully determined problems our algorithm provides locally quadratic convergence. Moreover, the algorithm keeps all iterates feasible enabling early termination at suboptimal, feasible solutions. This additional feasibility is achieved by an efficient iterative strategy using evaluations of constraints, i.e., zero-order information. Convergence of the feasibility iterations can be enforced by reduction of the trust-region radius. These feasibility iterations maintain feasibility for general…
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.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Vehicle Dynamics and Control Systems · Dynamics and Control of Mechanical Systems
