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 条
  • [41] A generic approach to computer-based Clinical Practice Guideline management using the ECA Rule paradigm and active databases
    Dube, Kudakwashe
    Wu, Bing
    INTERNATIONAL JOURNAL OF TECHNOLOGY MANAGEMENT, 2009, 47 (1-3) : 75 - 95
  • [42] Uncertainty Management in Rule-Based Information Extraction Systems
    Michelakis, Eirinaios
    Krishnamurthy, Rajasekar
    Haas, Peter J.
    Vaithyanathan, Shivakumar
    ACM SIGMOD/PODS 2009 CONFERENCE, 2009, : 101 - 114
  • [43] Uncertainty management in rule based systems application to maneuvers recognition
    Benouhiba, T
    Nigro, JM
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2003, 2773 : 220 - 228
  • [44] Rule-based management of product data in CIM systems
    Woss, W
    Wagner, R
    INTELLIGENT SYSTEMS FOR MANUFACTURING: MULTI-AGENT SYSTEMS AND VIRTUAL ORGANIZATION, 1998, : 393 - 402
  • [45] Coordination in workflow management systems - A rule-based approach
    Kappel, G
    Rausch-Schott, S
    Retschitzegger, W
    COORDINATION TECHNOLOGY FOR COLLABORATIVE APPLICATIONS: ORGANIZATIONS, PROCESSES, AND AGENTS, 1998, 1364 : 99 - 119
  • [46] Uncertainty Management for Rule-based Decision Support Systems
    Mahesar, Quratul-Ain
    Dimitrova, Vania G.
    Magee, Derek R.
    Cohn, Anthony G.
    2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), 2017, : 884 - 891
  • [47] Structural error verification in active rule-based systems using Petri nets
    Chavarria-Baez, Lorena
    Li, Xiaoou
    MICAI 2006: FIFTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, : 12 - +
  • [48] Towards design of complete rule-based control systems
    Ligeza, A
    ARTIFICIAL INTELLIGENCE IN REAL-TIME CONTROL 1995 (AIRTC'95), 1996, : 167 - 172
  • [49] Rule-based price control for bike sharing systems
    Ruch, Claudio
    Warrington, Joseph
    Morari, Manfred
    2014 EUROPEAN CONTROL CONFERENCE (ECC), 2014, : 708 - 713
  • [50] A Control Based on Rule Updating for Non-Linear Systems
    Liu, Limin
    2011 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, 2011, : 3089 - 3092
12345