Composing Reachability Analyses of Hybrid Systems for Safety and Stability.

Sergiy Bogomolov Corina Mitrohin Andreas Podelski

Published in: ATVA (2010)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
meta learning
computational intelligence
soft computing
artificial intelligence
discrete event
state space
workflow systems
machine learning
active learning
fuzzy logic
model selection
dynamic systems