AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

CDC, pp.5145-5152, (2020)

Cited by: 0|Views9
EI
Get fulltext within 24h
Bibtex

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:

Author
Mark Wetzlinger
Mark Wetzlinger
Niklas Kochdumper
Niklas Kochdumper
Your rating :
0

 

Tags
Comments
小科