Reachset Conformance Testing of Hybrid Automata-Reference-Cited by-同舟云学术

Reachset Conformance Testing of Hybrid Automata

Published:2016-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Roehm Hendrik¹,Oehlerking Jens¹,Woehrle Matthias¹,Althoff Matthias²

Affiliation:

1. Robert Bosch GmbH, Renningen, Germany

2. Technische Universität München, Garching bei München, Germany

Funder

European Commission

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2883817.2883828

Reference23 articles.

1. Formal property verification in a conformance testing framework

2. R. W. Allen H. T. Szostak D. H. Klyde T. J. Rosenthal and K. J. Owens. Vehicle dynamic stability and rollover. Technical report U.S. Department of Transportation Final Report DOT HS 807--956 1992. R. W. Allen H. T. Szostak D. H. Klyde T. J. Rosenthal and K. J. Owens. Vehicle dynamic stability and rollover. Technical report U.S. Department of Transportation Final Report DOT HS 807--956 1992.

3. Reachability computation of low-order models for the safety verification of high-order road vehicle models

4. Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems;2024 European Control Conference (ECC);2024-06-25

2. Formal Verification of Robotic Contact Tasks via Reachability Analysis;IFAC-PapersOnLine;2023

3. Conformant Synthesis for Koopman Operator Linearized Control Systems;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06

4. Reachset Conformance and Automatic Model Adaptation for Hybrid Systems;Mathematics;2022-09-29

5. On the co-NP-completeness of the zonotope containment problem;European Journal of Control;2021-11