Synthesis of control implementation for discrete manufacturing systems

被引：21
作者：
Zaytoon, J [1 ]
Carré-Ménétrier, V [1 ]
机构：
[1] Fac Sci, LAM, F-51687 Reims 2, France
来源：
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH | 2001年 / 39卷 / 02期
关键词：
D O I：
10.1080/00207540010002388
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
The paper presents the concepts and steps required to synthesize a correct control implementation for discrete manufacturing systems, starting from Grafcet specifications. A formal framework implementing the synthesis steps is also presented and illustrated with an example of a drilling system.
引用
收藏
页码：329 / 345
页数：17
相关论文
共 25 条
  • [1] ARINEZ JF, 1993, P CAN HIGH TECHN SHO
  • [2] SUPERVISORY CONTROL OF A RAPID THERMAL MULTIPROCESSOR
    BALEMI, S
    HOFFMANN, GJ
    GYUGYI, P
    WONGTOI, H
    FRANKLIN, GF
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (07) : 1040 - 1059
  • [3] CARREMENETRIER V, 1999, P IEEE INT C SYST MA
  • [4] The supervised control of discrete-event dynamic systems
    Charbonnier, F
    Alla, H
    David, R
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (02) : 175 - 187
  • [5] David R., 1992, Petri Nets and Grafcet-tools for Modelling Discrete Events Systems
  • [6] Frachet J.-P., 1993, Automatique Productique Informatique Industrielle, V27, P107
  • [7] Giua A., 1996, P 1 INT WORKSH MAN P
  • [8] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS
    HAREL, D
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) : 231 - &
  • [9] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS
    HOLLOWAY, LE
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) : 514 - 523
  • [10] *INT EL COMM, 1991, PREP FUNCT CHARTS CO
123