Abstract
When analysing cyber-physical systems for runtime verification purposes, reachability analysis can be used to identify whether the set of reached points stays within given safe bounds. If the system dynamics exhibits nonlinearity, approximate numerical techniques (with rigorous numerics) are often necessary when dealing with system evolution. Since the error involved in numerical approximation should be kept low to perform verification successfully, the associated processing and memory costs become relevant especially when runtime verification is considered. Given a reachability analysis tool, the issue of controlling its numerical accuracy is not trivial from the user's perspective, due to the complex interaction between the configuration parameters of the tool. As a result, user intervention in the tuning of a specific problem is always required. This paper explores the problem of automatically choosing numerical parameters that drive the computation of the finite-time reachable set, when the configuration parameters of the tool are specified within bounds or lists of values. In particular, it is designed to be performed along evolution, in order to adapt to local properties of the dynamics and to reduce the setup overhead, essential for runtime verification.
Original language | English |
---|---|
Title of host publication | RUNTIME VERIFICATION (RV 2022) |
Publisher | Springer International Publishing AG |
Pages | 336-345 |
Number of pages | 10 |
Volume | 13498 |
ISBN (Print) | 9783031171956 |
DOIs | |
Publication status | Published - 2022 |
Event | 22nd International Conference on Runtime Verification: colocated at the Computational Logic Autumn Summit (CLAS) - Tbilisi, United States Duration: 28 Sept 2022 → 30 Sept 2022 Conference number: RV'22 https://rv22.gitlab.io/ |
Publication series
Series | Lecture Notes in Computer Science |
---|---|
Volume | 13498 |
ISSN | 0302-9743 |
Conference
Conference | 22nd International Conference on Runtime Verification |
---|---|
Country/Territory | United States |
City | Tbilisi |
Period | 28/09/22 → 30/09/22 |
Internet address |
Keywords
- HYBRID SYSTEMS
- VERIFICATION