Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable.
Stefan RatschanPublished in: TAMC (2010)
Keyphrases
- hybrid systems
- black box
- intelligent systems
- soft computing
- meta learning
- neural network
- computational intelligence
- discrete event
- artificial intelligence
- evolutionary computation
- machine learning algorithms
- active databases
- dynamic systems
- simulation model
- business processes
- fuzzy logic
- feature selection
- genetic algorithm
- data mining