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 条
  • [31] Linking contracts, processes and services: an event-driven approach
    Milosevic, Z.
    Orlowska, M.
    Sadiq, S.
    2006 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2006, : 390 - +
  • [32] Distributed agents supporting event-driven design processes
    Feijo, B
    Gomes, PCR
    Bento, J
    Scheer, S
    Cerqueira, R
    ARTIFICIAL INTELLIGENCE IN DESIGN '98, 1998, : 557 - 577
  • [33] Learning event-driven switched linear systems
    Kundu, Atreyee
    Prabhakar, Pavithra
    2021 SEVENTH INDIAN CONTROL CONFERENCE (ICC), 2021, : 442 - 447
  • [34] Event-driven optimization of complex HVAC systems
    Wang, Junqi
    Huang, Gongsheng
    Sun, Yongjun
    Liu, Xiaoping
    ENERGY AND BUILDINGS, 2016, 133 : 79 - 87
  • [35] History clipping in event-driven distributed systems
    Chittajullu, M
    McMillin, B
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 460 - 465
  • [36] Scalable Diagnosability Checking of Event-Driven Systems
    Schumann, Anika
    Pencole, Yannick
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 575 - 580
  • [37] Efficient Workstealing for Multicore Event-Driven Systems
    Gaud, Fabien
    Geneves, Sylvain
    Lachaize, Renaud
    Lepers, Baptiste
    Mottet, Fabien
    Muller, Gilles
    Quema, Vivien
    2010 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS ICDCS 2010, 2010,
  • [38] galsC: A language for event-driven embedded systems
    Cheong, E
    Liu, J
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 1050 - 1055
  • [39] A formal implementation of logic controllers for machining systems using Petri nets and Sequential Function Charts
    Park, E
    Tilbury, DM
    Khargonekar, PP
    1998 JAPAN-U.S.A. SYMPOSIUM ON FLEXIBLE AUTOMATION - PROCEEDINGS, VOLS I AND II, 1998, : 683 - 690
  • [40] Design of observer-based event-driven controllers for a class of state-dependent nonlinear systems
    Feng, Jian
    Li, Ning
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2016, 353 (07): : 1573 - 1593
12345