Model-bounded monitoring of hybrid systems.

Masaki Waga Étienne André Ichiro Hasuo

Published in: CoRR (2021)

Keyphrases

mathematical model
hybrid systems
real time
training data
expert systems
artificial intelligence
decision making
fuzzy logic
software engineering
intelligent systems