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 条
  • [41] Use of dynamic event-driven simulation for the chemical industry
    Ensen, H
    Krames, J
    Edinger, C
    THIRD INTERNATIONAL CONFERENCE ON FOUNDATIONS OF COMPUTER-AIDED PROCESS OPERATIONS, 1998, 94 (320): : 404 - 409
  • [42] Implementation of a parallel algorithm for event driven programmable controllers
    Park, J.
    Chang, N.
    Rho, G.S.
    Kwon, W.H.
    Control Engineering Practice, 1993, 1 (04) : 663 - 670
  • [43] A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs
    Ohmori, Kenji
    Kunii, Tosiyasu L.
    2010 INTERNATIONAL CONFERENCE ON CYBERWORLDS (CW 2010), 2010, : 223 - 230
  • [44] Stabilization with Event-Driven Controllers over a Digital Communication Channel with Random Transmissions
    Tanwani, Aneel
    Teel, Andrew
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [45] Smart Power Tools : An Industrial Event-Driven Architecture Implementation
    Umer, Muhammad
    Mahesh, Bhargav
    Hanson, Lars
    Khabbazi, M. R.
    Onori, Mauro
    51ST CIRP CONFERENCE ON MANUFACTURING SYSTEMS, 2018, 72 : 1357 - 1361
  • [46] A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
    Xavier, Midhun
    Dubinin, Victor
    Patil, Sandeep
    Vyatkin, Valeriy
    IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY, 2024, 5 : 517 - 534
  • [47] A Configurable Event-Driven Convolutional Node with Rate Saturation Mechanism for Modular ConvNet Systems Implementation
    Camunas-Mesa, Luis A.
    Dominguez-Cordero, Yaisel L.
    Linares-Barranco, Alejandro
    Serrano-Gotarredona, Teresa
    Linares-Barranco, Bernabe
    FRONTIERS IN NEUROSCIENCE, 2018, 12
  • [48] Modelling control systems in an event-driven coordination language
    Limniotes, TA
    Papadopoulos, GA
    HIGH PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 2000, 1823 : 177 - 186
  • [49] Time-Complemented Event-Driven Reconfigurable Systems
    Yan, Jeffrey
    Vyatkin, Valeriy
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [50] On the timing of discrete events in event-driven control systems
    Velasco, Manel
    Marti, Pau
    Lozoya, Camilo
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 670 - 673
12345