Safety verification and reachability analysis for hybrid systems.

Hervé Guéguen Marie-Anne Lefebvre Janan Zaytoon Othman Nasri

Published in: Annu. Rev. Control. (2009)

Keyphrases

hybrid systems
reachability analysis
model checking
black box
intelligent systems
timed automata
discrete event
soft computing
meta learning
neural network
computational intelligence
markov decision processes
artificial intelligence
state space
fuzzy logic
dynamic systems
workflow systems