HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction.

Alessandro Cimatti Sergio Mover Stefano Tonetta

Published in: EUROMICRO-SEAA (2011)

Keyphrases

hybrid systems
black box
discrete event
neural network
computational intelligence
intelligent systems
meta learning
soft computing
artificial intelligence
evolutionary computation
genetic algorithm
fuzzy logic
dynamic systems