Reachset Conformance Testing of Hybrid Automata
From MaRDI portal
Publication:2988994
DOI10.1145/2883817.2883828zbMath1366.68181OpenAlexW2339842460MaRDI QIDQ2988994
Matthias Woehrle, Jens Oehlerking, Hendrik Roehm, Matthias Althoff
Publication date: 19 May 2017
Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: http://mediatum.ub.tum.de/doc/1379707/document.pdf
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Comparison of guaranteed state estimators for linear time-invariant systems ⋮ On the co-NP-completeness of the zonotope containment problem
Uses Software
Cites Work
This page was built for publication: Reachset Conformance Testing of Hybrid Automata