Login
- Titel:
Formal Safety Net Control Using Backward Reachability Analysis
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Schürmann, Bastian; Klischat, Moritz; Kochdumper, Niklas; Althoff, Matthias
- Zeitschriftentitel:
- IEEE Transactions on Automatic Control
- Jahr:
- 2022
- Band / Volume:
- 67
- Heft / Issue:
- 11
- Volltext / DOI:
- doi:10.1109/TAC.2021.3124188
- WWW:
- https://ieeexplore.ieee.org/document/9599453/
- Publikationsdatum:
- 02.11.2021
BibTeX