A TOOL FOR THE DESIGN AND VERIFICATION OF A SUPERVISORY CONTROLLER FOR DISTRIBUTED MANUFACTURING PROCESS

被引：0

作者：

Chaoui, Allaoua ^{[1
]}

Meliouh, Amel ^{[2
]}

Kerkouche, Elhillali ^{[3
]}

机构：

[1] Univ Mentouri Constantine, Fac Engn, Dept Comp Sci, MISC Lab, Constantine 25000, Algeria

[2] Univ Biskra, Dept Comp Sci, Biskra, Algeria

[3] Univ Oum Elbouaghi, Dept Comp Sci, Oum Elbouaghi, Algeria

来源：

INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL | 2010年 / 6卷 / 05期

关键词：

Distributed manufacturing systems; Petri nets; UML; Supervisory controller; Graph transformation; PETRI NETS;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The present paper proposes a tool for the design and verification of a supervisory controller for distributed manufacturing process using UML and Petri nets. UML use cases and class diagrams are used to model the manufacturing process, to be transformed later into their equivalent Petri net models (in INA specification) automatically using our tool. Then, INA is used for verification purposes. Since UML diagrams and Petri nets models are graphs, the tool is based on the combined use of meta-modelling and graph grammars to translate the UML diagrams to their equivalent Petri nets models. The tool is illustrated by an example of a manufacturing process.

引用

页码：2221 / 2232

页数：12

共 50 条

[1] Design and verification of supervisory controller of high-speed train
Yoo, SP
Lee, DY
Il Son, H
ISIE 2001: IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS PROCEEDINGS, VOLS I-III, 2001, : 1290 - 1295
[2] Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell
James, L. D.
Teixeira, C. A.
Leal, A. B.
2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2019, : 935 - 940
[3] Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing System
Qamsane, Yassine
Tajer, Abdelouahed
Philippot, Alexandre
Elbacha, Abdelhadi
PROCEEDINGS OF THE THIRD INTERNATIONAL AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT-AECIA 2016, 2018, 565 : 18 - 27
[4] Design and Verification of Distributed Industrial Manufacturing Control Systems
Hirsch, Martin
Missal, Dirk
Hanisch, Hans-Michael
IECON 2008: 34TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-5, PROCEEDINGS, 2008, : 103 - 108
[5] Controller design for composite materials manufacturing process
El Amaoui, Amal
Hattabi, Mohamed
MATERIALS TODAY-PROCEEDINGS, 2021, 45 : 5678 - 5683
[6] The Development of Manufacturing Process Design Tool
Arundachawat, Panumas
Mahapol, Samart
TRANSDISCIPLINARY ENGINEERING: A PARADIGM SHIFT, 2017, 5 : 881 - 888
[7] Incremental fuzzy supervisory controller design for optimizing the injection molding process
Vagelatos, GA
Rigatos, GG
Tzafestas, SG
EXPERT SYSTEMS WITH APPLICATIONS, 2001, 20 (02) : 207 - 216
[8] A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation
Qamsane, Yassine
Tajer, Abdelouahed
Philippot, Alexandre
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2017, 55 (15) : 4283 - 4303
[9] Design of a linear quadratic Gaussian controller for a manufacturing process
Yurtseven, M.K.
Agaran, B.
Lecture Notes in Electrical Engineering, 2009, 11 : 279 - 288
[10] Design of an effective manufacturing process for tool materials
Vereshchaka A.S.
Grigor'ev S.N.
Kim V.A.
Mokritskii B.Y.
Kirichek A.V.
Russian Engineering Research, 2014, 34 (08) : 516 - 521

← 1 2 3 4 5 →