Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
Alessandro AbateSaurabh AminMaria PrandiniJohn LygerosShankar SastryPublished in: HSCC (2007)
Keyphrases
- hybrid systems
- computational approaches
- reachability analysis
- discrete event
- computational methods
- model checking
- markov decision processes
- black box
- intelligent systems
- meta learning
- computational intelligence
- neural network
- artificial intelligence
- soft computing
- timed automata
- incremental algorithms
- computational tools
- state space
- dynamic systems
- machine learning
- simulation model
- protein sequences
- protein protein interactions
- dynamic programming
- search space
- data sets
- search algorithm
- model selection
- fuzzy logic