Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process

References

• Achour, Z., & Rezg, N. (2006). Time Floating General Mutual Exclusion Constraints (TFGMEC). 2006 IMACS Multiconference on Computational Engineering in Systems Applications, 1, 893–897. https://doi.org/10.1109/CESA.2006.4281778
   Google Scholar
• 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://doi.org/10.1109/TAC.2011.2164735
   Web of Science ®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 & 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.
   Google Scholar
• Basile, F., Chiacchio, P., & Giua, A. (2006). Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Automatica, 42(6), 995–1004. https://doi.org/10.1016/j.automatica.2006.02.003
   Web of Science ®Google Scholar
• Basile, F., Cordone, R., & Piroddi, L. (2013). Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models. Automatica, 49(11), 3432–3439. https://doi.org/10.1016/j.automatica.2013.08.018
   Web of Science ®Google Scholar
• Basile, F., Cordone, R., & Piroddi, L. (2021). Supervisory control of timed discrete event systems with logical and timed specifications. IEEE Transactions on Automatic Control.
   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://doi.org/10.1007/s10626-012-0140-4
   Web of Science ®Google Scholar
• Cottenceau, B. L., Hardouin 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), https://doi.org/10.1109/9.769386
   Web of Science ®Google Scholar
• Dideban, A., & 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
• Giua, A., Di Cesare, F. M., & Silva, M. (1992). Generalized mutual exclusion constraints on petri nets with uncontrollable transitions. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2, 974–979.
   Google Scholar
• Goltz, P., Schafaschek, G., Hardouin, L., & Raisch, J. (2022). Optimal output feedback control of Timed Event Graphs including disturbances in a resource sharing environment. 16th IFAC Workshop on Discrete Event Systems.
   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
• Iordache, M. V., & Antsaklis, P. J. (2006). Supervision based on place invariants: A survey. Discrete Event Dynamic Systems, 16(4), 451–492. https://doi.org/10.1007/s10626-006-0021-9
   Web of Science ®Google Scholar
• Jacob, R., & Amari, S. (2016). Output feedback control of discrete processes under time constraint: application to cluster tools. International Journal of Computer Integrated Manufacturing, 1–15.
   Web of Science ®Google Scholar
• Kim, J. H., & Lee, T. E. (2008). Schedulability analysis of time-constrained cluster tools with bounded time variation by an extended petri Net. IEEE Transactions on Automation Science and Engineering, 5(3), 490–503. https://doi.org/10.1109/TASE.2007.912716
   Web of Science ®Google Scholar
• Lhommeau, M., Hardouin, L., & Cottenceau, B. (20002). Disturbance decoupling of timed event graphs by output feedback controller. Wodes’2002, workshop on discrete event systems, Zaragoza, Spain.
   Google Scholar
• Lhommeau, M., Hardouin, L., Cottenceau, B., & Jaulin, L. (2004). Interval analysis and dioid: application to robust controller design for timed event graphs. Automatica, 40(11), 1923–1930. https://doi.org/10.1016/j.automatica.2004.05.013
   Web of Science ®Google Scholar
• Lhommeau, M., Jaulin, L., & Hardouin, L. (2012). A non-linear set-membership approach for the control of discrete event systems. Workshop on Discrete Event Systems-WODES.
   Google Scholar
• Li, L., Basile, F., & Li, Z. (2020a). An approach to improve permissiveness of supervisors for GMECs 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. (2020b). Closed-loop deadlock-free supervision for GMECs in time petri net systems. IEEE Transactions on Automatic Control, 66(1), 5326–5341.
   Google Scholar
• Li, L., Li, Z., & Wang, J. (2021). An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions. Information Sciences, 580, 897–916. https://doi.org/10.1016/j.ins.2021.09.047
   Web of Science ®Google Scholar
• Lopes, G., Kersbergen, B., van den, B. J., SchutterB, D., & Babuska, R. (2014). Modeling and control of legged locomotion via switching max-plus models. IEEE Transactions on Robotics, 30(3), 652–665.
   Web of Science ®Google Scholar
• Lopes, G. A., De Schutter, B., & van den, T. J. (2012). On the synchronization of cyclic discrete-event systems. 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 5810–5815, Maui, HI, USA, IEEE.
   Google Scholar
• Maia, C. A., Andrade, C., & Hardouin, L. (2011). On the control of max-plus linear system subject to state restriction. Automatica, 47(5), 988–992. https://doi.org/10.1016/j.automatica.2011.01.047
   Web of Science ®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
• Oke, A., Hardouin, L., Chen, X., & Shang, Y. (2022). Scheduling and control of high throughput screening systems with uncertainties and disturbances. Production & Manufacturing Research, 10(1), 450–469. https://doi.org/10.1080/21693277.2022.2091679
   Web of Science ®Google Scholar
• Oke, A., Hardouin, L., Lhommeau, M., & Shang, Y. (2017). Observer-based controller for disturbance decoupling of max-plus linear systems with applications to a high throughput screening system in drug discovery. IEEE 56th Annual Conference on Decision and Control (CDC), 4242–4247. https://doi.org/10.1109/CDC.2017.8264284.
   Google Scholar
• Reddy, Y. P., Janardhana, R. G., & Kim, K. S. (2009). Modular modelling and performance evaluation of manufacturing systems using Max-Plus Algebra. International Journal of Industrial and Systems Engineering, 4(5), 577. https://doi.org/10.1504/IJISE.2009.024159
   Google Scholar
• Shang, Y., Hardouin, L., Lhommeau, M., & Maia, C. A. (2013). Open-loop controllers to solve the disturbance decoupling problem for max-plus linear systems. European Control Conference (ECC), 125–130.
   Google Scholar
• Shang, Y., Hardouin, L., Lhommeau, M., & Maia, C. A. (2016a). An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system. Automatica, 63, 338–348. https://doi.org/10.1016/j.automatica.2015.10.030
   Web of Science ®Google Scholar
• Shang, Y., Hardouin, L., Lhommeau, M., & Maia, C. A. (2016b). Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discovery. 13th International Workshop on Discrete Event Systems (WODES), 404–409. https://doi.org/10.1109/WODES.2016.7497880.
   Google Scholar
• Soumatia, M., & Amari, S. (2022). Design of control laws for timed event graphs networks subject to mutual exclusion constraints in Min-Plus algebra. European Journal of Control, 63, 270–276. https://doi.org/10.1016/j.ejcon.2021.11.007
   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(2), 934–951.
   Web of Science ®Google Scholar
• Xu, J., SchutterB, D., & boom t, V. D. (2016). Optimistic optimization for model predictive control of max-plus linear systems. Automatica, 74, 16–22. https://doi.org/10.1016/j.automatica.2016.07.002
   Web of Science ®Google Scholar
• Yamalidou, E. C., & Kator, J. C. (1991). Modeling and optimal control of discrete-event chemical processes using petri nets. Computers & Chemical Engineering, 15(7), 503–519. https://doi.org/10.1016/0098-1354(91)85029-T
   Web of Science ®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
• Zhao, B., Lin, F., Wang, C., Zhang, X., Michael, P. P., & Wang, L. Y. (2017). Supervisory control of networked timed discrete event systems and its applications to power distribution networks. IEEE Transactions on Control of Network Systems, 4(2), 146–158. doi:10.1109/TCNS.2015.2482219
   Web of Science ®Google Scholar