Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems.

Jan-Erik Strömberg Simin Nadjm-Tehrani Jan L. Top

Published in: Hybrid Systems (1995)

Keyphrases

formal verification
hybrid systems
model checking
black box
neural network
intelligent systems
soft computing
meta learning
computational intelligence
discrete event
artificial intelligence
evolutionary computation
machine learning
decision trees