Theory of Regions for Control Synthesis without Computing Reachability Graph
Source abstract
Abstract
This paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the theory of regions suffers from a technical obstacle in control synthesis, which is the necessity of computing the graph at each iteration step. Moreover, based on the reachability graph, which may contain a large number of states, with respect to the structural size of the system, the computation of PN controllers becomes harder and even impossible. The main contribution of this paper, compared to previous works, is the development of a control synthesis method in order to decrease significantly the computation cost of the PN supervisor. Thus, based on PN properties and mathematical concepts, the proposed methodology provides an optimal PN supervisor for bounded Petri nets following the interpretation of the theory of regions. Finally, case studies are solved by CPLEX software to compare our new control policy with previous works which use the theory of regions for control synthesis.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Petri Nets in System Modeling · Formal Methods in Verification · Flexible and Reconfigurable Manufacturing Systems
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
Laboratoire de Génie Industriel, de Production et de Maintenance (LGIPM), Université de Lorraine, UFR MIM, île du Saulcy–BP 50128, 57045 Metz, France
ICN Business School, 54003 Metz-Nancy, France
References (28)
Show source-provided references
1. Petri nets: Properties, analysis and applications10.1109/5.24143 ↗
2. Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search10.1007/s00170-012-3958-x ↗
3. A Petri net based deadlock prevention policy for flexible manufacturing systems10.1109/70.370500 ↗
4. Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets10.1109/TSMCC.2007.897333 ↗
5. Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets10.1109/TII.2012.2198661 ↗
6. Tetzlaff, U.A.W. (1990). Optimal Design of Flexible Manufacturing Systems, Physica-Verlag.10.1007/978-3-642-50317-7 ↗
7. Reisig, W., and Rozenberg, G. (1998). Lectures on Petri Nets I: Basic Models, Springer.10.1007/3-540-65306-6 ↗
8. Caillaud, B., Darondeau, P., Lavagno, L., and Xie, X. (2002). Synthesis and Control of Discrete Event Systems, Springer.10.1007/978-1-4757-6656-1 ↗
9. Ghaffari, A., Rezg, N., and Xie, X. (2002, January 21–26). Net transformation and theory of regions for optimal control of Petri nets. Proceedings of the IFAC World Congress on Automatic Control, Barcelone, Spain.10.3182/20020721-6-ES-1901.00076 ↗
10. Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems10.1109/TASE.2010.2060332 ↗
11. On structural minimality of optimal supervisors for flexible manufacturing systems10.1016/j.automatica.2012.06.068 ↗
12. Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems10.1109/TSMCA.2012.2202108 ↗
13. Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach10.1109/TASE.2013.2241762 ↗
14. Zhao, M., Uzam, M., and Hou, Y. (2014, January 18–22). A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems. Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering (CASE), New Taipei, Taiwan.10.1109/CoASE.2014.6899365 ↗
15. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems10.1080/00207540500431321 ↗
16. An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems10.1109/TSMCA.2007.893484 ↗
17. On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets10.1109/TSMCA.2007.914741 ↗
18. An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach10.1049/iet-cta.2010.0371 ↗
19. The real-time supervisory control of an experimental manufacturing system based on a hybrid method10.1016/j.conengprac.2009.05.004 ↗
20. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems10.1109/70.843175 ↗
21. Rezig, S., Achour, Z., Rezg, N., and Kammoun, M.-A. (2014, January 9–12). Optimal control synthesis for a flexible manufacturing system based on minimal cuts. Proceedings of the 2014 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), Johor Bahru, Malaysia.10.1109/IEEM.2014.7058639 ↗
22. Rezig, S., Achour, Z., and Rezg, N. (2014, January 16–19). Control synthesis based on reachability graph with minimal cuts: Application to a flexible manufacturing system. Proceedings of the Emerging Technology and Factory Automation (ETFA), Barcelona, Spain.10.1109/ETFA.2014.7005299 ↗
23. Rezig, S., Achour, Z., Rezg, N., and Kammoun, M.-A. (2015). Supervisory control based on minimal cuts and Petri net sub-controllers coordination. Int. J. Syst. Sci., 1–11.10.1080/00207721.2015.1076903 ↗
24. Control Synthesis Based on Theory of Regions with Minimal Reachability Graph Knowledge10.1016/j.ifacol.2016.07.759 ↗
25. Rezig, S., Achour, Z., and Rezg, N. (2015, January 24–28). Optimal Control Synthesis for Flexible Manufacturing System Based on Canonic Markings. Proceedings of the 2015 IEEE International Conference on Automation Science and Engineering (CASE), Gothenburg, Sweden.
26. Giua, A., DiCesare, F., and Silva, M. (1992, January 18–21). Generalized mutual exclusion contraints on nets with uncontrollable transitions. Proceedings of the 1992 IEEE International Conference on Systems, Man, and Cybernetics, Chicago, IL, USA.
27. Rezg, N., Rezig, S., Kammoun, M.A., and Achour, Z. (2014, January 8–10). Control synthesis for admissible paths based on theory of regions: Application to a flexible manufacturing system. Proceedings of the 2014 IEEE Conference on Control Applications (CCA), Nice, France.10.1109/CCA.2014.6981575 ↗
28. Kroening, D., Sharygina, N., Tsitovich, A., and Wintersteiger, C.M. (2010, January 15–19). Termination Analysis with Compositional Transition Invariants. Proceedings of the International Conference on Computer-Aided Verification (CAV), Edinburgh, UK.10.1007/978-3-642-14295-6_9 ↗