Computational techniques for the verification of hybrid systems.

Claire J. Tomlin Ian Mitchell Alexandre M. Bayen Meeko Oishi

Published in: Proc. IEEE (2003)

Keyphrases

hybrid systems
black box
neural network
computational intelligence
intelligent systems
meta learning
discrete event
soft computing
artificial intelligence
genetic algorithm
learning algorithm
artificial neural networks
software engineering
rough sets
process model