Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).
François BidetÉric GoubaultSylvie PutotPublished in: CICM Workshops (2018)
Keyphrases
- hybrid systems
- reachability analysis
- model checking
- black box
- markov decision processes
- intelligent systems
- meta learning
- neural network
- artificial intelligence
- discrete event
- soft computing
- timed automata
- computational intelligence
- incremental algorithms
- state space
- dynamic systems
- fuzzy logic
- rough sets
- machine learning
- data mining