Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools

References

• Amari, S., Demongodin, I., Loiseau, J. J., & Martinez, C. (2012). Max-plus control design for temporal constraints meeting in timed event graphs. IEEE Transactions on Automatic Control, 57(2), 462–467. https://hal.archives-ouvertes.fr/hal-00752347. https://doi.org/10.1109/TAC.2011.2164735
   Web of Science ®Google Scholar
• Atli, M., Adjallah, K., Achour, Z., Sava, A., & Rezg, N. (2011). Supervisory control of timed-place marked graph based on marking exclusion constraint. IEEE International Conference on Communications, Commputing and Control Applications: 1–8. http://docnum.univ-lorraine.fr/public/DDOC_T_2012_0412_ATLI.pdf.
   Google Scholar
• Atto, A. M., Martinez, C., & Amari, S. (2011). Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant. Computers and Industrial Engineering, 61(4), 1149–1159. https://doi.org/10.1016/j.cie.2011.07.004
   Web of Science ®Google Scholar
• Baccelli, F., Cohen, G., Olsder, G., & Quadrat, J. (1992). Synchronization and linearity: An algebra for discrete event systems. Wiley. http://cermics.enpc.fr/~cohen-g/documents/BCOQ-book.pdf.
   Google Scholar
• Basile, F., Cordone, R., & Piroddi, L. (2022). Supervisory control of timed discrete-event systems with logical and temporal specifications. IEEE Transactions on Automatic Control, 67(6), 2800–2815. https://doi.org/10.1109/TAC.2021.3093618
   Web of Science ®Google Scholar
• Basile, G., & Marro, G. (1969). Controlled and conditioned invariant subspaces in linear system theory. Journal of Optimization Theory and Applications, 3(5), 306–315. https://doi.org/10.1007/BF00931370
   Google Scholar
• Bonhomme, P. (2013). Scheduling and control of real-time systems based on a token player approach. Discrete Event Dynamic Systems, 23(2), 197–209. https://hal.archives-ouvertes.fr/hal-01003983. https://doi.org/10.1007/s10626-012-0140-4
   Web of Science ®Google Scholar
• Cardenas, C., Cardillo, J., Loiseau, J. J., & Martinez, C. (2016). Control problem in Max Plus linear model with temporal constraints. Revista Iberoamericana de Automatica e Informatica Industrial, 13(4), 438–449. https://doi.org/10.1016/j.riai.2016.07.001
   Web of Science ®Google Scholar
• Cardenas, C., Loiseau, J. J., & Martinez, C. (2015). “Controlled invariance and dynamic feedback for systems over semirings.” In Proceedings SIAM Conference on Control Systems, SIAM CCS, Paris.
   Google Scholar
• Cassandras, C. G., & Lafortune, S. (2009). Introduction to discrete event systems. New York. USA: Library of Congress Control Number: 2007931603. http://cs6.yolasite.com/resources/book.pdf.
   Google Scholar
• Cottenceau, B., Hardouin, L., Boimond, J. L., & Ferrier, J. L. (1999). Synthesis of greatest linear feedback for timed event graphs in dioid. IEEE Transactions on Automatic Control, 44(6), 1258–1262. https://hal.archives-ouvertes.fr/hal-00844533/document. https://doi.org/10.1109/9.769386
   Web of Science ®Google Scholar
• Dideban, A., Zareiee, M., & Alla, H. (2013). Controller synthesis with highly simplified linear constraints. Asian Journal of Control, 15(1), 80–94. https://doi.org/10.1002/asjc.528
   Web of Science ®Google Scholar
• Di Loreto, M., Gaubert, S., Katz, R., & Loiseau, J. J. (2010). Duality between invariant spaces for max-plus linear discrete event systems. SIAM Journal on Control and Optimization, 48(8), 5606–5628. https://doi.org/10.1137/090747191
   Web of Science ®Google Scholar
• Gaubert, S., & Katz, R. (2003). Reachability and invariance problems in Max-Plus Algebra. Lecture Notes in Control and Information Sciences, 294(294), 15–22. https://doi.org/10.1007/978-3-540-44928-7_4
   Google Scholar
• Ghaffari, A., Rezg, N., & Xie, X. (2003). Feedback control logic for forbidden state problem of marked graphs: Application to a real manufacturing system. IEEE Transactions on Automatic Control, 48(1), 18–29. https://doi.org/10.1109/TAC.2002.806651
   Web of Science ®Google Scholar
• Giua, A., DiCesare, F., & Silva, M. (1992). Generalized mutual exclusion constraints on petri nets with uncontrollable transitions. In Proceedings IEEE International Conference on Systems Man and Cybernetics 2: 974–979. http://wpage.unina.it/detommas/dssc/Giua_GMEC.pdf.
   Google Scholar
• Houssin, L., Lahaye, S., & Boimond, J. L. (2007). Just in time control of constrained (Max,+)-linear systems. Discrete Event Dynamic Systems, 17(2), 159–178. https://doi.org/10.1007/s10626-006-0009-5
   Web of Science ®Google Scholar
• Jacob, R., & Amari, S. (2017). Output feedback control of discrete processes under time constraint:Application to cluster tools. International Journal of Computer Integrated Manufacturing, 30(8), 880–894. https://doi.org/10.1080/0951192X.2016.1224391
   Web of Science ®Google Scholar
• Katz, R. (2007). Max-Plus (A, B)-invariant spaces and control of timed discrete-event systems. IEEE Transactions on Automatic Control, 52(2), 229–241. https://doi.org/10.1109/TAC.2006.890478
   Web of Science ®Google Scholar
• Kim, C., & Lee, T.-E. (2016). Feedback control of cluster tools for regulating wafer delays. IEEE Transactions on Automation Science and Engineering, 13(2), 1189–1199. https://doi.org/10.1109/TASE.2015.2404921
   Web of Science ®Google Scholar
• Li, L., Basile, F., & Li, Z. (2020). An approach to improve permissiveness of supervisors for GMEC in time petri Net systems. IEEE Transactions on Automatic Control, 65(1), 237–251. https://doi.org/10.1109/TAC.2019.2914895
   Web of Science ®Google Scholar
• Li, L., Basile, F., & Li, Z. (2021). Closed-loop deadlock-free supervision for GMECs in time Petri net systems. IEEE Transactions on Automatic Control, 66(11), 5326–5341. https://doi.org/10.1109/TAC.2020.3044520
   Web of Science ®Google Scholar
• Lopes, G. A. D., Kersbergen, B., Van den Boom, T. J. J., De Schutter, B., & Babuska, R. (2014). Modeling and control of legged locomotion via switching max-plus models. IEEE Transactions on Robotics, 30(3), 652–665. https://www.dcsc.tudelft.nl/~bdeschutter/pub/rep/14_001.pdf. https://doi.org/10.1109/TRO.2013.2296105
   Web of Science ®Google Scholar
• Ma, Z. Y., Li, Z. W., & Giua, A. (2016). Petri Net controllers for generalized mutual exclusion constraints with floor operators. Automatica, 74, 238–246. https://doi.org/10.1016/j.automatica.2016.07.042
   Web of Science ®Google Scholar
• Maia, C. A., Andrade, C. R., & Hardouin, L. (2011a). On the control of max-plus linear system subject to state restriction. Automatica, 47(5), 988–992. doi:10.1016/j.automatica.2011.01.047
   Web of Science ®Google Scholar
• Maia, C. A., Hardouin, L., Santos-Mendes, R., & Loiseau, J. J. (2011b). Super-eigenvector approach to control constrained max-plus linear systems. In 50th IEEE Conference on Decision and Control and European Control Conference,Orlando, Flrida. http://perso-laris.univ-angers.fr/~hardouin/Super_eigen_CDC11_Draft.pdf.
   Google Scholar
• Murata, T. (1989). Petri nets properties analysis and applications. Proceedings of the IEEE, 77(4), 541–580. https://doi.org/10.1109/5.24143
   Web of Science ®Google Scholar
• Ran, N., Wang, S., Su, H., & Wang, C. (2017). Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions. IMA Journal of Mathematical Control and Information, 34(2), 565–577. https://doi.org/10.1093/imamci/dnv059
   Web of Science ®Google Scholar
• Shang, Y., Hardouin, L., Lhommeau, M., & Maia, C. A. (2014). An integrated control strategy in disturbance decoupling of maxplus linear systems with applications to a high throughput screening system in drug discovery. In Decision and Control (CDC), IEEE 53rd Annual Conference, Los Angeles, CA, USA: 5143–5148. http://okina.univ-angers.fr/publications/ua6496.
   Google Scholar
• Silva, M. (2018). On the history of discrete event systems. Annual Reviews in Control, 45, 213–222. https://doi.org/10.1016/j.arcontrol.2018.03.004
   Web of Science ®Google Scholar
• Tebani, K., & Amari, S. (2021). Min-Plus realizable control design for partially observable timed event graphs under marking constraints. European Journal of Control, 57, 33–40. https://doi.org/10.1016/j.ejcon.2020.12.002
   Web of Science ®Google Scholar
• Tebani, K., Amari, S., & Kara, R. (2017). Closed-loop control of constrained discrete event systems: Application to a networked automation system. The International Journal of Advanced Manufacturing Technology, 90(5), 1295–1306. https://doi.org/10.1007/s00170-016-9466-7
   Web of Science ®Google Scholar
• Tebani, K., Amari, S., & Kara, R. (2019). State feedback control for a class of timed Petri Nets subject to marking constraints. Asian Journal of Control, 21(3), 1–18. https://doi.org/10.1016/j.ejcon.2020.12.002
   Google Scholar
• Yamalidou, K., Moody, J., Lemmon, M., & Antsaklis, P. (1996). Feedback control of petri nets based on place invariants. Automatica, 32(1), 15–28. https://doi.org/10.1016/0005-1098(95)00103-4
   Web of Science ®Google Scholar