From ATP to Timed Graphs and Hybrid Systems.
Xavier NicollinJoseph SifakisSergio YovinePublished in: Acta Informatica (1993)
Keyphrases
- hybrid systems
- discrete event
- black box
- intelligent systems
- simulation model
- dynamic systems
- neural network
- computational intelligence
- meta learning
- soft computing
- artificial intelligence
- machine learning
- petri net
- theorem prover
- dynamical systems
- mathematical model
- software systems
- orders of magnitude
- evolutionary algorithm
- data mining