User: Guest  Login
Document type:
Konferenzbeitrag 
Contribution type:
Textbeitrag / Aufsatz 
Author(s):
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff 
Title:
Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems 
Abstract:
Reachability analysis fails to produce tight reachable sets if certain algorithm parameters are poorly tuned, such as the time step size or the accuracy of the set representation. The tuning is especially difficult in the context of nonlinear systems where over-approximation errors accumulate over time due to the so-called wrapping effect, often requiring expert knowledge. In order to widen the applicability of reachability analysis for practitioners, we propose the first adaptive parameter tuni...    »
 
Book / Congress title:
HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control 
Publisher:
ACM 
Date of publication:
19.05.2021 
Year:
2021 
Fulltext / DOI: