Reachset Conformance Testing of Hybrid Automata

DOI10.1145/2883817.2883828MaRDI QIDQ2988994zbMATH OpenOpenAlexFDO

Authors Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, 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

zbMATH Keywords

conformancehybrid automatareachability analysistest selectiontesting

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reachability Problems for Hybrid Automata
• Approximated reachability on hybrid automata: falsification meets certification
• Parametric verification and test coverage for hybrid automata using the inverse method
• Parametric verification and test coverage for hybrid automata using the inverse method
• On reachability for hybrid automata over bounded time
• Verification of Hybrid Automata Diagnosability by Abstraction
• The power of reachability testing for timed automata

Cites work

• C2e2

Cited in

(4)

• On the co-NP-completeness of the zonotope containment problem
• Comparison of guaranteed state estimators for linear time-invariant systems
• Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
• FM 2005: Formal Methods

Describes a project that uses

Uses Software

• SpaceEx
• C2e2
• CORA

This page was built for publication: Reachset Conformance Testing of Hybrid Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988994)