@inproceedings{0e699637ef91451f936dcd760eb15ece,
title = "Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems",
abstract = "A new control method for nonlinear systems is presented which solves reach-avoid problems by interpolating optimal solutions using convex combinations. It also provides formal guarantees for constraint satisfaction and safety. Reachavoid problems are important control tasks, which arise in many modern cyber-physical systems, including autonomous driving and robotic path planning. We obtain our control policy by computing the optimal input trajectories for finitely many extreme states only and combining them using convex combinations for all states in a continuous set. Our approach has very low online computation complexity, making it applicable for fast dynamical systems. Iterating through our approach leads to a new form of feedback control with formal guarantees in the presence of disturbances. We demonstrate the new control method for a control problem in automated driving and show the advantages compared to a classical control method.",
keywords = "Convex combinations, Formal verification, Interpolation control, Nonlinear control, Reach-avoid problems, Robust control",
author = "Bastian Sch{\"u}rmann and Matthias Althoff",
note = "Publisher Copyright: {\textcopyright} 2017 Copyright held by the owner/author(s). Publication rights licensed to ACM.; 20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017 ; Conference date: 18-04-2017 Through 20-04-2017",
year = "2017",
month = apr,
day = "13",
doi = "10.1145/3049797.3049800",
language = "English",
series = "HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)",
publisher = "Association for Computing Machinery, Inc",
pages = "121--130",
booktitle = "HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems",
}