Event-condition-action systems for reconfigurable logic control

被引:46
作者
Almeida, E. Emanuel [1 ]
Luntz, Jonathan E.
Tilbury, Dawn M.
机构
[1] EFACEC Grp, Sao Mamede Infesta, Portugal
[2] Univ Michigan, Ann Arbor, MI 48109 USA
基金
欧洲研究理事会; 美国国家科学基金会;
关键词
data bases; discrete event systems (DES); finite state machines; logical control; rule-based systems;
D O I
10.1109/TASE.2006.880857
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The contribution of this paper is the introduction of the event-condition-action (ECA) paradigm for the design of modular logic controllers that are reconfigurable. ECA rules have been used extensively to specify the behavior of active database and expert systems and are recognized as a highly reconfigurable tool to design reactive behavior. This paper develops a method to design modular logic controllers whose dynamics are governed by ECA rules, with the ultimate goal of producing reconfigurable control. Modularity, integrability, and diagnosability measures that have in the past been used to measure the reconfigurability of manufacturing systems are used to assess the reconfigurability of the developed controllers. For the modularity measure, criteria found in computer science to evaluate the modularity of object-oriented programs are adapted to evaluate the modularity of modular logic controllers. The results of this paper are that reconfigurability is highly dependent on the level of modularity of the logic control system, and that not all "modular" structures are reconfigurable. There are approaches, such as the one shown in this paper using ECA rules, that can greatly increase the modularity, integrability, and diagnosability of the logic control system, thus increasing its reconfigurability.
引用
收藏
页码:167 / 181
页数:15
相关论文
共 41 条
  • [1] ALMEIDA E, 2005, 16 IFAC WORLD C JUL
  • [2] ALMEIDA E, 2004, P IFAC WORKSH DISCR, P31
  • [3] Automatic control of workflow processes using ECA rules
    Bae, J
    Bae, H
    Kang, SH
    Kim, Y
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2004, 16 (08) : 1010 - 1023
  • [4] An algebraic approach to static analysis of active database rules
    Baralis, E
    Widom, J
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2000, 25 (03): : 269 - 332
  • [5] Berry G, 2000, FOUNDAT COMPUT, P425
  • [6] Cassandras C.G., 2021, Introduction to Discrete Event Systems, DOI [10.1007/978-3-030-72274-6, DOI 10.1007/978-3-030-72274-6]
  • [7] Chaudhry N., 1998, IEEE Transactions on Components, Packaging & Manufacturing Technology, Part C (Manufacturing), V21, P217, DOI 10.1109/3476.720420
  • [8] Clark E., 1999, MODEL CHECKING
  • [9] DITTRICH KR, 1995, INT WORKSH RUL DAT S
  • [10] Modular verification of modular finite state machines
    Endsley, EW
    Tilbury, DM
    [J]. 2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 972 - 979