Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.

Shuling Wang Flemming Nielson Hanne Riis Nielson Naijun Zhan

Published in: Comput. J. (2017)

Keyphrases

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