Active Monitoring for Control Systems under Anticipatory Semantics.

Changzhi Zhao Wei Dong Zhichang Qi

Published in: QSIC (2010)

Keyphrases

control system
real time
logic programming
formal semantics
semantic information
method invocation
monitoring system
decision support
real environment
operational semantics
model theoretic
information systems
conceptual model
closed loop
semantic representation