Formal Safety Net Control Using Backward Reachability Analysis

DOI10.1109/TAC.2021.3124188MaRDI QIDQ6077141zbMATH OpenOpenAlexFDO

Authors 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

backward reachable setsconstrained systemsdisturbed systemsnonlinear systemsoptimizationreachability analysissafety controllersafety netset-based control

Mathematics Subject Classification ID

Systems theory; control (93-XX)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6077141)