Title :
Verification of ECA rule based management and control systems
Author :
Zhang, Jing ; Moyne, James ; Tilbury, Dawn
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI
Abstract :
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.
Keywords :
formal verification; knowledge based systems; ECA rule based control systems; ECA rule based management; inference rule bases verification; Automatic control; Automation; Bridges; Conference management; Control systems; Engineering management; Manufacturing; Neodymium; Production facilities; USA Councils;
Conference_Titel :
Automation Science and Engineering, 2008. CASE 2008. IEEE International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
978-1-4244-2022-3
Electronic_ISBN :
978-1-4244-2023-0
DOI :
10.1109/COASE.2008.4626431
