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 条
  • [1] Synthesis and implementation of procedural controllers for event-driven operations
    Sanchez, A
    Rotstein, G
    Alsop, N
    Macchietto, S
    AICHE JOURNAL, 1999, 45 (08) : 1753 - 1775
  • [2] Analysis of event-driven controllers for linear systems
    Heemels, W. P. M. H.
    Sandee, J. H.
    Van den Bosch, P. P. J.
    INTERNATIONAL JOURNAL OF CONTROL, 2008, 81 (04) : 571 - 590
  • [3] A Design and Implementation Method for Embedded Systems using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor
    Mizutani, Ryo
    Ohmori, Kenji
    PROCEEDINGS OF THE 2012 INTERNATIONAL CONFERENCE ON CYBERWORLDS, 2012, : 221 - 225
  • [4] On Lyapunov Sampling for Event-driven Controllers
    Velasco, Manel
    Marti, Pau
    Bini, Enrico
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 6238 - 6243
  • [5] Design of procedural controllers for chemical processes
    Sanchez, A., 1600, Pergamon Press Inc, Tarrytown, NY, United States (19):
  • [6] DESIGN OF PROCEDURAL CONTROLLERS FOR CHEMICAL PROCESSES
    SANCHEZ, A
    MACCHIETTO, S
    COMPUTERS & CHEMICAL ENGINEERING, 1995, 19 : S381 - S386
  • [7] Testing Event-Driven Business Processes
    Schiefer, Josef
    Saurer, Gerd
    Schatten, Alexander
    JOURNAL OF COMPUTERS, 2006, 1 (07) : 69 - 80
  • [8] Information access for event-driven smart grid controllers
    Kristensen, Thomas le Fevre
    Olsen, Rasmus L.
    Rasmussen, Jakob G.
    Schwefel, Hans-Peter
    SUSTAINABLE ENERGY GRIDS & NETWORKS, 2018, 13 : 78 - 92
  • [9] Event tunnel:: Exploring event-driven business processes
    Suntinger, Martin
    Obweger, Hannes
    Schiefer, Josef
    Groeller, M. Eduard
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 2008, 28 (05) : 46 - 55
  • [10] Colored Nets as a Formal Approach to Event-Driven Interfaces
    CHEN Hut-nan(Department of Computer Science and Technology
    The Journal of China Universities of Posts and Telecommunications, 1999, (02) : 45 - 49
12345