From ATP to Timed Graphs and Hybrid Systems.

Xavier Nicollin Joseph Sifakis Sergio Yovine

Published in: REX Workshop (1991)

Keyphrases

hybrid systems
discrete event
black box
dynamic systems
intelligent systems
soft computing
meta learning
neural network
artificial intelligence
computational intelligence
simulation model
petri net
heuristic search
evolutionary computation
active learning
evolutionary algorithm
search algorithm
training data