Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
Mark WetzlingerNiklas KochdumperMatthias AlthoffPublished in: CDC (2020)
Keyphrases
- parameter tuning
- linear systems
- reachability analysis
- dynamical systems
- ink bleed
- sufficient conditions
- parameter settings
- markov decision processes
- model checking
- coefficient matrix
- sparse linear systems
- timed automata
- neural network
- incremental algorithms
- interior point methods
- model selection
- evolutionary algorithm
- machine learning