Verification Of ECA Rule Based Management And Control Systems

被引：0
|
作者：
Zhang, Jing [1 ]
Moyne, James [1 ]
Tilbury, Dawn [2 ]
机构：
[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
[2] Univ Michigan, Dept Engn Mech, Ann Arbor, MI USA
来源：
2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2 | 2008年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：1 / +
页数：2
相关论文
共 50 条
  • [31] Formal description and verification of hybrid rule/frame-based expert systems
    Shiu, SCK
    Liu, JNK
    Yeung, DS
    EXPERT SYSTEMS WITH APPLICATIONS, 1997, 13 (03) : 215 - 230
  • [32] Formal description and verification of Hybrid Rule/Frame-based Expert Systems
    Hong Kong Polytechnic Univ, Kowloon, Hong Kong
    Expert Sys Appl, 3 (215-230):
  • [33] A rule-based verification and control framework in atlas Trigger-DAQ
    Kazarov, A.
    Corso-Radu, A.
    Miotto, G. Lehmann
    Sloper, J. E.
    Ryabov, Yu.
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2007, 54 (03) : 604 - 608
  • [34] ECA rule-based workflow modeling and implementation for service composition
    Chen, L
    Li, ML
    Cao, J
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (02): : 624 - 630
  • [35] An ECA rule-based task programming language for ubiquitous environments
    Lee, KW
    Cho, ES
    Kim, H
    8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U357 - U360
  • [36] Mixed Mode Verification of PLC Based Control Systems
    Haba, Cristian-Gyozo
    Cociu, Radu
    Cociu, Livia
    2011 7TH INTERNATIONAL SYMPOSIUM ON ADVANCED TOPICS IN ELECTRICAL ENGINEERING (ATEE), 2011,
  • [37] ECA rule learning in dynamic environments
    Isazadeh, A.
    Pedrycz, W.
    Mahan, F.
    EXPERT SYSTEMS WITH APPLICATIONS, 2014, 41 (17) : 7847 - 7857
  • [38] An ECA rule-based workflow design tool for Shanghai Grid
    Chen, L
    Li, ML
    Cao, J
    Wang, Y
    2005 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, VOL 1, PROCEEDINGS, 2005, : 325 - 328
  • [39] Rule-based runtime verification
    Barringer, H
    Goldberg, A
    Havelund, K
    Sen, K
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 44 - 57
  • [40] An Exception Analyzing and Handling Approach of Composite Service Based on ECA Rule
    Zhang, Yichuan
    Liu, Ying
    Wang, Deshuai
    Zhang, Bin
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, : 387 - 391
12345