Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.

Alessandro Abate Saurabh Amin Maria Prandini John Lygeros Shankar Sastry

Published 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