Verification of ECA rule based management and control systems

@article{Zhang2008VerificationOE,
  title={Verification of ECA rule based management and control systems},
  author={Jing Zhang and James R. Moyne and Dawn M. Tilbury},
  journal={2008 IEEE International Conference on Automation Science and Engineering},
  year={2008},
  pages={1-7}
}
In this paper, we discuss an ECA rule based management and control system and explain what the correctness of the system means and how to verify it. We also review the previous work on the verification of inference rule bases and active rule bases which are closely related, but are not generally applicable to our case.