Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

Mark Wetzlinger
Mark Wetzlinger
Niklas Kochdumper
Niklas Kochdumper
Cited by: 0|Bibtex|Views0|Links

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 t...More

Code:

Data:

Your rating :
0

 

Tags
Comments