Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

DOI10.1109/CDC42340.2020.9304431arXiv2006.12091MaRDI QIDQ6504002FDOQ6504002

Authors: Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff 

Abstract: Despite the possibility to quickly compute reachable sets of large-scale linear systems, current methods are not yet widely applied by practitioners. The main reason for this is probably that current approaches are not push-button-capable and still require to manually set crucial parameters, such as time step sizes and the accuracy of the used set representation---these settings require expert knowledge. We present a generic framework to automatically find near-optimal parameters for reachability analysis of linear systems given a user-defined accuracy. To limit the computational overhead as much as possible, our methods tune all relevant parameters during runtime. We evaluate our approach on benchmarks from the ARCH competition as well as on random examples. Our results show that our new framework verifies the selected benchmarks faster than manually-tuned parameters and is an order of magnitude faster compared to genetic algorithms.

This page was built for publication: Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

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