DISCRETE-EVENT MODELS OF MANUFACTURING SYSTEMS

1999 ◽  
Author(s):  
E. CANUTO
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Event Models

Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems

2008 ◽  
Vol 46 (19) ◽  
pp. 5469-5490 ◽  
Author(s):  
M. Sayed-Mouchaweh ◽  
A. Philippot ◽  
V. Carre-Menetrier
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Event Models ◽  
Decentralized Diagnosis

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

Multi-Level Optimization with Aggregated Discrete-Event Models

2020 ◽  
Author(s):  
Simon Lidberg ◽  
Tehseen Aslam ◽  
Amos H.C. Ng
Keyword(s):  
Discrete Event ◽  
Event Models ◽  
Multi Level

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.

Sign in / Sign up

Export Citation Format

Share Document