Control Synthesis Based on Reachability Graph with Minimal Cuts: Application to a Flexible Manufacturing System

被引：0
|
作者：
Rezig, S. [1 ]
Achour, Z. [1 ]
Rezg, N. [1 ]
机构：
[1] Univ Lorraine, LGIPM, F-57000 Metz, France
来源：
2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA) | 2014年
关键词：
Discrete event system; Petri nets; Theory of regions; Supervisory control; Minimal cuts;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This work presents a new method for the synthesis of Petri net controller using the theory of regions. Control specifications are expressed as the conjunction of generalized mutual exclusion constraints (GMEC). The great advantage of the proposed method is to reduce the resolution difficulty of the theory of regions by introducing a concept of minimal cut in the reachability graph with minimal number of nodes. This new concept leads to minimize the total number of equations in the linear system of the theory of regions to synthesize the Petri net controller. To illustrate the present approach, an application is implemented on the Flexible Manufacturing System (FMS) at the ENIM (National School of Engineering of Metz), in FRANCE.
引用
收藏
页数：6
相关论文
共 50 条
  • [41] View Synthesis with depth information based on Graph Cuts for FTV
    Anh Tu Tran
    Harada, Koichi
    PROCEEDINGS OF THE 19TH KOREA-JAPAN JOINT WORKSHOP ON FRONTIERS OF COMPUTER VISION (FCV 2013), 2013, : 289 - 294
  • [42] VIEW SYNTHESIS BASED ON CONDITIONAL RANDOM FIELDS AND GRAPH CUTS
    Tran, Lam C.
    Pal, Christopher J.
    Nguyen, Truong Q.
    2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, 2010, : 433 - 436
  • [43] Improved Graph Cuts for Patch-Based Texture Synthesis
    Zou, Kun
    Li, Yueqiao
    Li, Zan
    Li, Rong
    Xu, Xiang
    2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 1, 2009, : 122 - 125
  • [44] A Petri Net based decentralized synthesis approach for the control of Flexible Manufacturing Systems
    Lee, Eun Joo
    Toguyeni, Armand
    Dangoumau, Nathalie
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 1497 - +
  • [45] Analysis and application of process modeling method for flexible manufacturing system based on GSPN
    Gao, Shiyi
    Zhao, Mingyang
    Zou, Yuanyuan
    WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 4668 - +
  • [46] Graph-based Predictions and Recommendations in Flexible Manufacturing Systems
    Ringsquandl, Martin
    Lamparter, Steffen
    Lepratti, Raffaello
    PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 6937 - 6942
  • [47] The Application of digital flexible intelligent manufacturing system in machine manufacturing industry
    Liu, Yefeng
    Zhao, Yuan
    Tao, Lin
    Zhao, Kexue
    Li, Kangju
    2018 IEEE 8TH ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (IEEE-CYBER), 2018, : 664 - 668
  • [48] Maintenance integration in a control-monitoring architecture based on Petri net with objects. Application to a flexible manufacturing system
    Loures, E. Rocha
    De Paulah, M. A. Busetti
    Pascal, J-C.
    2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 847 - +
  • [49] Specification and synthesis of control software for flexible manufacturing systems
    Gutiérrez-Robles, P
    López-Mellado, E
    Ramírez-Treviño, A
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 1703 - 1708
  • [50] Application of discrete event system theory to flexible manufacturing
    Lauzon, SC
    Ma, AKL
    Mills, JK
    Benhabib, B
    IEEE CONTROL SYSTEMS MAGAZINE, 1996, 16 (01): : 41 - 48
12345