Model-bounded monitoring of hybrid systems.

Masaki Waga Étienne André Ichiro Hasuo

Published in: ICCPS (2021)

Keyphrases

mathematical model
neural network
genetic algorithm
artificial intelligence
state space
rough sets
genetic programming
dynamic systems
hybrid systems