Benutzer: Gast  Login
Titel:

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
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 reachabi...     »
Dewey-Dezimalklassifikation:
000 Informatik, Wissen, Systeme
Kongress- / Buchtitel:
2020 59th IEEE Conference on Decision and Control (CDC)
Datum der Konferenz:
14-18 Dec. 2020
Jahr:
2020
Seiten:
8
Reviewed:
ja
Sprache:
en
Volltext / DOI:
doi:10.1109/CDC42340.2020.9304431
WWW:
https://ieeexplore.ieee.org/document/9304431
Format:
Text
 BibTeX