Symbolic Verification of Hybrid Systems: An Algebraic Approach.

Martin von Mohrenschildt

Published in: Eur. J. Control (2001)

Keyphrases

hybrid systems
intelligent systems
black box
neural network
soft computing
artificial intelligence
meta learning
computational intelligence
discrete event