Semi-decidable Synthesis for Triangular Hybrid Systems.

Omid Shakernia George J. Pappas Shankar Sastry

Published in: HSCC (2001)

Keyphrases

hybrid systems
black box
meta learning
intelligent systems
neural network
soft computing
computational intelligence
discrete event
artificial intelligence
first order logic
model selection
decision making
knowledge base
learning tasks