scholarly journals Modeling and information structures for supervisory control of flexible manufacturing systems

1999 ◽  
pp. 287-301 ◽  
Author(s):  
Dragan Labalo ◽  
Ayla Gurel ◽  
F. L. Lewis ◽  
S. Bogdan
Keyword(s):  
Supervisory Control ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Information Structures

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.

Distributed Computation of Liveness-Enforcing Supervisory Control of Flexible Manufacturing Systems

2017 ◽  
Vol 16 (01) ◽  
pp. 1-15 ◽  
Author(s):  
Fatemeh Jafarinejad ◽  
Ali A. Pouyan
Keyword(s):  
Supervisory Control ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Large Scale ◽  
Deadlock Prevention ◽  
Prevention Policy ◽  
Synthesis Procedure ◽  
Essential Set ◽  
Time And Space Complexity

This paper presents a modular deadlock prevention policy for large-scale flexible manufacturing systems. It can find maximally permissive liveness-enforcing supervisory control in an efficient computational complexity manner. A vector covering approach is used to minimize essential set of legal markings and first-met bad markings. Providing that modules of system interact using choice, we will prove that monitor-based supervisory control methods can be applied distributedly. Then, choice operator of Petri net will be used to synthesis subsystems. Even if such assumption limits the application of modular monitor-based supervisory control, the proposed results constitute a primary step towards a synthesis procedure that overcomes time and space complexity of monitor-based deadlock prevention policies.

Applying a software framework for supervisory control of a PLC-based flexible manufacturing systems

2009 ◽  
Vol 48 (5-8) ◽  
pp. 663-669 ◽  
Author(s):  
Belen Curto Diego ◽  
Vidal Moreno Rodilla ◽  
Carlos Fernandez Carames ◽  
Anibal Chehayeb Moran ◽  
Raul Alves Santos
Keyword(s):  
Supervisory Control ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Software Framework
Sign in / Sign up

Export Citation Format

Share Document