DocumentCode
2847211
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
fYear
2008
fDate
23-26 Aug. 2008
Firstpage
1
Lastpage
7
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/COASE.2008.4626431
Filename
4626431
Link To Document