The real-time supervisory control of an experimental manufacturing system based on a hybrid method

Uzam, Murat; Gelen, Gökhan

doi:10.1016/j.conengprac.2009.05.004

Cited by 24 publications

(29 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This control policy sought to decrease the number of reachability conditions of the theory of regions in order to facilitate supervisor computation. The comparison of this work with the previous studies [19,23,24] shows that this approach is the most optimal, but the use of the TR is always based on the analysis of the graph. Yet, the approaches able to use the TR without generating the graph have not been investigated.…”

Section: Introductionmentioning

confidence: 84%

Compute Optimization of Petri Net Controllers Using the Algebraic Method

2019

View full text Add to dashboard Cite

This study attempted to calculate an optimal Petri net supervisor able to respect the control specifications imposed for a flexible manufacturing system. There are several theories around the control synthesis of discrete event systems. Unfortunately, these methods are very sensitive to the combinatorial explosion of states in the generated graph, especially when the complexity of the system increases. It is therefore necessary to move towards new ways based on formal methods allowing the synthesis of a supervisor. In this work, we propose an algebraic approach using the theory of regions. Our main contribution is to design a set of Petri net controllers based on the properties of Petri nets and not on reachability graph generation for bounded Petri nets. This will decrease significantly the production cost of the manufacturing system, since the computation burden of the supervisor is reduced. Our control policy was applied to a flexible manufacturing system implemented in our laboratory. Comparisons with previous studies using CPLEX software are provided in order to illustrate the effectiveness of our proposed method.

show abstract

Section: Introductionmentioning

confidence: 84%

Compute Optimization of Petri Net Controllers Using the Algebraic Method

2019

View full text Add to dashboard Cite

show abstract

“…In fact, a hybrid automaton evolves depending on two kinds of transitions: continuous transitions, capturing the continuous evolution of states, and discrete transitions, capturing the changes of locations. 35,36 By using hybrid automata, the transition behaviors of GP and PS can be accounted for properly as shown in Fig. 2.…”

Section: Pre-treatment Of Corrosion Data By Interpolationmentioning

confidence: 99%

Prediction of concrete corrosion in sewers with hybrid Gaussian processes regression model

et al. 2017

View full text Add to dashboard Cite

show abstract

“…Recently, Petri nets (PNs) have emerged as a popular tool for the modeling of various discrete event systems (DES), and there exists a large body of PN theories and its supervisory control theories for preventing a DES from reaching illegal states so as to perfect this system. There have been some attempts to propose methods to convert PNs into LDs.…”

Section: Introductionmentioning

confidence: 99%

Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using Ordinary Petri Nets

Luo¹,

Ni²

2014

Asian Journal of Control

View full text Add to dashboard Cite

An ordinary Petri‐net (PN) based approach is proposed to design the programmable logical controller (PLC) for preventing collisions between vehicles in an automated guided vehicles (AGV) system. First, method is proposed to model an AGV system as an ordinary PN, called the plant PN. Second, for collision prevention in an AGV system, module control methods are proposed to design the PN supervisor (the closed‐loop PN) by augmenting the plant PN. In detail, three modules are defined the line, divide, and merge modules, in the plant PN, and the control module methods are presented for each of these three modules. As a result, the closed‐loop PN of an AGV system is obtained and can be analyzed using the PN theory. Finally, method is proposed to translate a closed‐loop PN into a ladder diagram. Consequently, the PN supervisor is implemented by a PLC using these proposed methods. A laboratory AGV system is used to illustrate this approach.

show abstract

The real-time supervisory control of an experimental manufacturing system based on a hybrid method

Cited by 24 publications

References 12 publications

Compute Optimization of Petri Net Controllers Using the Algebraic Method

Compute Optimization of Petri Net Controllers Using the Algebraic Method

Prediction of concrete corrosion in sewers with hybrid Gaussian processes regression model

Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using Ordinary Petri Nets

Contact Info

Product

Resources

About