Discrete Event Control of Manufacturing Systems

2017 ◽  
pp. 39-59
Author(s):  
D.M. Tilbury ◽  
P.P. Khargonekar
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event Control

scholarly journals Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

2015 ◽  
Vol 2015 ◽  
pp. 1-14 ◽  
Author(s):  
Jiafeng Zhang ◽  
Mohamed Khalgui ◽  
Wassim Mohamed Boussahel ◽  
Georg Frey ◽  
ChiTin Hon ◽  
...  
Keyword(s):  
Energy Efficient ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Software Tool ◽  
Design Stage ◽  
Formal Modeling ◽  
System Reconfiguration ◽  
Discrete Event Control ◽  
Efficient Manufacturing ◽  
Energy Efficient Manufacturing

This paper deals with the formal modeling and verification of reconfigurable and energy-efficient manufacturing systems (REMSs) that are considered as reconfigurable discrete event control systems. A REMS not only allows global reconfigurations for switching the system from one configuration to another, but also allows local reconfigurations on components for saving energy when the system is in a particular configuration. In addition, the unreconfigured components of such a system should continue running during any reconfiguration. As a result, during a system reconfiguration, the system may have several possible paths and may fail to meet control requirements if concurrent reconfiguration events and normal events are not controlled. To guarantee the safety and correctness of such complex systems, formal verification is of great importance during a system design stage. This paper extends the formalism reconfigurable timed net condition/event systems (R-TNCESs) in order to model all possible dynamic behavior in such systems. After that, the designed system based on extended R-TNCESs is verified with the help of a software tool SESA for functional, temporal, and energy-efficient properties. This paper is illustrated by an automatic assembly system.

Teaching Discrete Event Control of Manufacturing Systems

1997 ◽  
Vol 30 (12) ◽  
pp. 261-266
Author(s):  
O.C. Pastravanu ◽  
A. Gürel ◽  
F.L. Lewis
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event Control

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
Sign in / Sign up

Export Citation Format

Share Document