Automatic Verification of Hybrid Systems: An Audio Control Protocol.

Luis Ricardo Sierra Abbate

Published in: SCCC (1998)

Keyphrases

hybrid systems
discrete event
neural network
intelligent systems
soft computing
black box
meta learning
artificial intelligence
control system
simulation model
dynamic systems
computational intelligence