Formal Safety Net Control Using Backward Reachability Analysis

DOI10.1109/tac.2021.3124188OpenAlexW3209748707MaRDI QIDQ6077141

Unnamed Author, Bastian Schürmann, Niklas Kochdumper, Matthias Althoff

Publication date: 25 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2021.3124188

zbMATH Keywords

optimizationnonlinear systemsreachability analysisconstrained systemsset-based controldisturbed systemsbackward reachable setssafety controllersafety net

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Formal Safety Net Control Using Backward Reachability Analysis