Reachability analysis for hybrid systems with nonlinear guard sets

Titel:: Reachability analysis for hybrid systems with nonlinear guard sets
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Kochdumper, Niklas; Althoff, Matthias
Kongress- / Buchtitel:: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Verlag / Institution:: ACM
Publikationsdatum:: 17.04.2020
Jahr:: 2020
Print-ISBN:: 9781450370189
Volltext / DOI:: doi:10.1145/3365365.3382194
BibTeX

Vorkommen: