Reachability analysis of linear hybrid systems via block decomposition.
Sergiy BogomolovMarcelo ForetsGoran FrehseKostiantyn PotomkinChristian SchillingPublished in: CoRR (2019)
Keyphrases
- hybrid systems
- reachability analysis
- black box
- intelligent systems
- model checking
- meta learning
- artificial intelligence
- markov decision processes
- neural network
- computational intelligence
- soft computing
- discrete event
- timed automata
- decision trees
- machine learning
- rough sets
- knowledge acquisition
- expert systems
- real time
- incremental algorithms