Synthesis of optimal switching logic for hybrid systems.

Susmit Jha Sanjit A. Seshia Ashish Tiwari

Published in: EMSOFT (2011)

Keyphrases

hybrid systems
black box
optimal solution
intelligent systems
neural network
dynamic programming
soft computing
meta learning
discrete event
logic programming
artificial intelligence
computational intelligence
training data
decision trees
multi class
knowledge acquisition
machine learning algorithms
dynamic systems