×

zbMATH — the first resource for mathematics

Symbolic-numeric reachability analysis of closed-loop control software. (English) Zbl 1364.93058
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 135-144 (2016).

MSC:
93B03 Attainable sets, reachability
93B40 Computational methods in systems theory (MSC2010)
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
93C10 Nonlinear systems in control theory
PDF BibTeX XML Cite
Full Text: DOI