Widening the Boundary between Decidable and Undecidable Hybrid Systems.
Eugene AsarinGerardo SchneiderPublished in: CONCUR (2002)
Keyphrases
- hybrid systems
- datalog programs
- intelligent systems
- neural network
- discrete event
- meta learning
- black box
- soft computing
- artificial intelligence
- computational intelligence
- query containment
- conjunctive queries
- np complete
- first order logic
- dynamic systems
- expert systems
- search algorithm
- simulation model
- training data
- decision trees
- machine learning