Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
Open Access
- 29 September 2022
- journal article
- research article
- Published by MDPI AG in Mathematics
- Vol. 10 (19), 3567
- https://doi.org/10.3390/math10193567
Abstract
Model-based verification uses a model to reason about the correctness of a real system. This requires the model and the system to be conformant, such that verification results on the model can be transfered to the real system. Especially for hybrid systems, which combine discrete and continuous behavior, defining and checking conformance is a difficult task. In this work, we present reachset conformance for hybrid systems that transfers safety properties from a model to the real system. We show how a model can be adapted to be conformant to measurements of a real system and demonstrate this for a real autonomous vehicle. The obtained reachset conformant model can be used for the verification of safety-critical properties, such as collision avoidance.Keywords
Funding Information
- European Commission (643921)
This publication has 16 references indexed in Scilit:
- Computing Distances between Reach FlowpipesPublished by Association for Computing Machinery (ACM) ,2016
- Current Challenges in the Verification of Hybrid SystemsPublished by Springer Science and Business Media LLC ,2015
- Stability Preserving Simulations and Bisimulations for Hybrid SystemsIEEE Transactions on Automatic Control, 2015
- Online Verification of Automated Road Vehicles Using Reachability AnalysisIEEE Transactions on Robotics, 2014
- Zonotopic guaranteed state estimation for uncertain systemsAutomatica, 2013
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopesNonlinear Analysis: Hybrid Systems, 2010
- Safety verification and reachability analysis for hybrid systemsAnnual Reviews in Control, 2009
- Approximate Simulation Relations for Hybrid SystemsDiscrete Event Dynamic Systems, 2007
- Bounded Error Identification of Systems With Time-Varying ParametersIEEE Transactions on Automatic Control, 2006
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995