Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

06/22/2020
by   Mark Wetzlinger, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/19/2022

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets

Reachability analysis is a formal method to guarantee safety of dynamica...
research
06/07/2023

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis

While reachability analysis is one of the most promising approaches for ...
research
12/01/2017

Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace

One often wishes for the ability to formally analyze large-scale systems...
research
09/02/2010

Optimizing Selective Search in Chess

In this paper we introduce a novel method for automatically tuning the s...
research
10/26/2016

A self-tuning Firefly algorithm to tune the parameters of Ant Colony System (ACSFA)

Ant colony system (ACS) is a promising approach which has been widely us...
research
09/06/2022

DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases

Context- and flow-sensitive value-flow information is an important build...
research
09/07/2020

OneStopTuner: An End to End Architecture for JVM Tuning of Spark Applications

Java is the backbone of widely used big data frameworks, such as Apache ...

Please sign up or login with your details

Forgot password? Click here to reset