A LTS Approach to Control in Event-B.

Han Peng Chenglie Du Lei Rao Fu Chen

Published in: Sci. Program. (2018)

Keyphrases

event detection
control strategy
neural network
control system
databases
information systems
case study
website
image sequences
multiscale
expert systems
hidden markov models
optimal control
control method
event driven
event sequences