Formal implementation of procedural controllers for event-driven sequential systems in chemical processes

被引：2
|
作者：
Chavoya, A
Sanchez, A
Lano, K
机构：
[1] CINVESTAV, Gdl, Dept Elect Engn & Comp Sci, Guadalajara 445501, Jalisco, Mexico
[2] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2BZ, England
来源：
COMPUTERS & CHEMICAL ENGINEERING | 2000年 / 24卷 / 2-7期
关键词：
control software; logic control; discrete-event systems;
D O I：
10.1016/S0098-1354(00)00481-6
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper describes the application of a method to carry out a formally correct implementation of a logic controller for an event-driven process system. Given a control architecture and the functional specification of each controller module, formal proofs are established and discharged to demonstrate the logical equivalence between the functional specification and the code implementation of logic controllers. The methodology is illustrated with an example. (C) 2000 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：297 / 302
页数：6
相关论文
共 50 条
  • [21] Event-driven replication in distributed systems
    Department of Business Information Systems, Faculty of Economics and Business Administration, Alexandru Ioan Cuza University, Iasi, Romania
    Proc. India Softw. Eng. Conf., ISEC, (95-98):
  • [22] Design and Implementation of an Event-Driven Smart Sensor Node for Wireless Monitoring Systems
    Liu, Changrong
    Yang, Junjie
    Lu, Zhenghao
    Chen, Changnan
    Wang, Jiachou
    Xu, Dacheng
    Li, Xinxin
    SENSORS, 2023, 23 (24)
  • [23] Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks
    Seetanadi, Gautham Nayak
    Camara, Javier
    Almeida, Luis
    Arzen, Karl-Erik
    Maggio, Martina
    2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 243 - 254
  • [24] Design and Implementation of Static Server Based on Event-driven
    Zhao, Jiantao
    Qin, Liujie
    2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 679 - 682
  • [25] Asynchronous Implementation of an Event-Driven Adaptive FIR Filter
    Beyrouthy, Taha
    Roshdy, Ahmed
    Salman, Mohammad
    Qaisar, Saeed Mian
    Fesquet, Laurent
    2016 2ND INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION, AND SIGNAL PROCESSING (EBCCSP), 2016,
  • [26] The Design and Implementation of BAM Based on Event-driven Technology
    Yang, Gang
    Guan, Tao
    2012 IEEE GLOBAL HIGH TECH CONGRESS ON ELECTRONICS (GHTCE), 2012,
  • [27] Formal specification and synthesis of procedural controllers for process systems - Epilogue
    不详
    FORMAL SPECIFICATION AND SYNTHESIS OF PROCEDURAL CONTROLLERS FOR PROCESS SYSTEMS, 1996, 212 : 175 - 181
  • [28] EXPLICIT COMPONENTIAL EVENT-DRIVEN COMPUTATION OF TRANSIENT PROCESSES
    ARKHANGELSKY, AY
    BALAYAN, SR
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1988, 31 (06): : 37 - 43
  • [29] Event-Driven Exception Handling for Software Engineering Processes
    Grambow, Gregor
    Oberhauser, Roy
    Reichert, Manfred
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I, 2012, 99 : 414 - +
  • [30] Learning to Initiate and Reason in Event-Driven Cascading Processes
    Atzmon, Yuval
    Meirom, Eli A.
    Mannor, Shie
    Chechik, Gal
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202, 2023, 202
12345