Login
- Title:
Formal Safety Net Control Using Backward Reachability Analysis
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Schürmann, Bastian; Klischat, Moritz; Kochdumper, Niklas; Althoff, Matthias
- Journal title:
- IEEE Transactions on Automatic Control
- Year:
- 2022
- Journal volume:
- 67
- Journal issue:
- 11
- Fulltext / DOI:
- doi:10.1109/TAC.2021.3124188
- WWW:
- https://ieeexplore.ieee.org/document/9599453/
- Date of publication:
- 02.11.2021
BibTeX