Evaluation of language measure parameters for discrete event manufacturing systems with multiproduct machines

2007 ◽  
Vol 80 (10) ◽  
pp. 1562-1575 ◽  
Author(s):  
A. Khatab ◽  
M. Nourelfath
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Language Measure

scholarly journals Discrete Event System Control in Max-Plus Algebra: Application to Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 143-150
Author(s):  
Gabriel Freitas Oliveira ◽  
Renato Markele Ferreira Candido ◽  
Vinicius Mariano Gonçalves ◽  
Carlos Andrey Maia ◽  
Bertrand Cottenceau ◽  
...  
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Control ◽  
Event System

Knowledge Application Model for Manufacturing Process

2011 ◽  
Vol 467-469 ◽  
pp. 1218-1224
Author(s):  
Hong Feng Lai ◽  
Kuang Yao Wu
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Static Structure ◽  
Knowledge Application ◽  
Flexible Assembly ◽  
Mathematical Properties ◽  
Traditional Function ◽  
Manufacturing Knowledge ◽  
Function Models ◽  
Distributed Manufacturing Systems

This paper proposes a categorical foundation for integrating various types of manufacturing knowledge in manufacturing systems. The composing procedures of overall system can be explained by pushout of category theory. The purpose of this paper is to resolve the issue involves in sharing and coordination for modeling knowledge application in distributed manufacturing systems. We will propose a method for modeling discrete event system. The mathematical foundation lies in assuring that the constructed models have mathematical properties, e.g. consistency and completeness, and overcome the drawbacks of traditional function models, since it can show not only the static structure but also the dynamic semantics. The categorical notations and properties are expressed by an example of flexible assembly workcell.

Algorithms of reduced complexity to design control sequences for untimed Petri nets in varying and uncertain environments

2018 ◽  
Vol 232 (6) ◽  
pp. 638-651
Author(s):  
Dimitri Lefebvre
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Sufficient Conditions ◽  
Reference Value ◽  
Computational Effort ◽  
Scheduling Problems ◽  
Reachability Graph ◽  
Control Sequences

Petri nets have been widely used for the modelling, analysis, control and optimization of discrete event systems with shared resources in the domains of engineering. This article concerns the design of control sequences for such systems modelled with untimed Petri nets. The aim of the controller is to incrementally compute sequences of transition firings with minimal size. Such sequences aim to move the marking from an initial value to a reference value. The resulting trajectory must avoid some forbidden markings and limit as possible the exploration of non-promising branches. For this purpose, the approach explores a small part of the reachability graph in the neighbourhood of the current marking. Then from the explored markings, it estimates a distance to the reference. The main contributions are (a) to reduce the explored part of the reachability graph according to a double limitation in breadth and in depth in order to provide solutions with a low computational effort; (b) to provide conditions to ensure the converge and optimality of the proposed algorithms and derive necessary and sufficient conditions for reachability; and (c) to include the firing sequence design in a global control schema suitable for reactive scheduling problems in uncertain and perturbed environments. The main application concerns deadlock-free scheduling problems in the domain of flexible manufacturing systems, but the approach is also applicable for systems in computer science and transportation.

Nonblocking Supervisory Control of Flexible Manufacturing Systems Based on State Tree Structures

2013 ◽  
pp. 1-19 ◽  
Author(s):  
Wujie Chao ◽  
Yongmei Gan ◽  
W. M. Wonham ◽  
Zhaoan Wang
Keyword(s):  
Supervisory Control ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Control Logic ◽  
Tree Structures ◽  
Powerful Approach ◽  
State Tree ◽  
Controllable Event

Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-known benchmark FMS example taken from the literature, for which the description was given originally as a Petri net. The authors straightforwardly obtain the optimal (maximally permissive) and nonblocking supervisory control, and display the control logic for each (controllable) event transparently as a binary decision diagram.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2012 ◽  
pp. 393-408
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

Sign in / Sign up

Export Citation Format

Share Document