References
- Addad, B., Amari, S., & Lesage, J.-J. (2012). Networked conflicting timed event graphs representation in (max, +) algebra. Discrete Event Dynamic Systems, 22(4), 429–449. https://doi.org/10.1007.
- Amari, S. (2015). Feedback control for a class of discrete event systems with critical time. International Journal of Control, 88(10), 1974–1983. https://doi.org/https://doi.org/10.1080/00207179.2015.1025430
- 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/https://doi.org/10.1109/TAC.2011.2164735
- Amato, F., & Ariola, M. (2005). Finite-time control of discrete-time linear systems. IEEE Transactions on Automatic Control, 50(5), 724–729. https://doi.org/https://doi.org/10.1109/TAC.2005.847042
- Amato, F., Ariola, M., & Cosentino, C. (2010). Finite-time stability of linear time-varying systems: Analysis and controller design. IEEE Transactions on Automatic Control, 55(4), 1003–1008. https://doi.org/https://doi.org/10.1109/TAC.2010.2041680
- 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/https://doi.org/10.1016/j.cie.2011.07.004
- Baccelli, F., Cohen, G., & Gaujal, B. (1991). Recursive equations and basic properties of timed Petri nets [PhD thesis]. INRIA.
- Baccelli, F., Cohen, G., Olsder, G. J., & Quadrat, J.-P. (1992). Synchronization and linearity: An algebra for discrete event systems.
- Balemi, S., Hoffmann, G., Gyugyi, P., Wong-Toi, H., & Franklin, G. (1993). Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7), 1040–1059. https://doi.org/https://doi.org/10.1109/9.231459
- Boukra, R., Lahaye, S., & Boimond, J.-L. (2015). New representations for (max, +) automata with applications to performance evaluation and control of discrete event systems. Discrete Event Dynamic Systems, 25(1–2), 295–322. https://doi.org/https://doi.org/10.1007/s10626-013-0178-y
- Boussahel, W. M., Amari, S., & Kara, R. (2016). Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (max, +) algebra. Discrete Event Dynamic Systems, 26(4), 561–581. https://doi.org/https://doi.org/10.1007/s10626-015-0220-3
- Brandin, B., & Wonham, W. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 329–342. https://doi.org/https://doi.org/10.1109/9.272327
- Cruz, R. (1991). A calculus for network delay. i. network elements in isolation. IEEE Transactions on Information Theory, 37(1), 114–131. https://doi.org/https://doi.org/10.1109/18.61109
- Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Real time identification of discrete event systems using petri nets. Automatica, 44(5), 1209–1219. https://doi.org/https://doi.org/10.1016/j.automatica.2007.10.014
- Gaubert, S., & Mairesse, J. (1999). Modeling and analysis of timed petri nets using heaps of pieces. IEEE Transactions on Automatic Control, 44(4), 683–697. https://doi.org/https://doi.org/10.1109/9.754807
- Hillion, H., & Proth, J.-M. (1989). Performance evaluation of job-shop systems using timed event-graphs. IEEE Transactions on Automatic Control, 34(1), 3–9. https://doi.org/https://doi.org/10.1109/9.8644
- 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/https://doi.org/10.1007/s10626-006-0009-5
- Houssin, L., Lahaye, S., & Boimond, J.-L. (2012). Control of (max, +)-linear systems minimizing delays. Discrete Event Dynamic Systems, 23(3), 261–276. https://doi.org/https://doi.org/10.1007/s10626-012-0143-1
- Kersbergen, B., Rudan, J., & Schutter, B. D. (2014). Towards railway traffic management using switching max-plus-linear systems. Discrete Event Dynamic Systems, 26(2), 183–223. https://doi.org/https://doi.org/10.1007/s10626-014-0205-7
- 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/https://doi.org/10.1109/TASE.2015.2404921
- Lahaye, S., Komenda, J., & Boimond, J.-L. (2012). Compositions of (max, +) automata. IFAC Proceedings Volumes, 45(29), 61–66. https://doi.org/https://doi.org/10.3182/20121003-3-MX-4033.00013
- Lahaye, S., Komenda, J., & Boimond, J.-L. (2014). Compositions of (max, +) automata. Discrete Event Dynamic Systems, 25(1–2), 323–344. https://doi.org/10.1007%2Fs10626-014-0186-6.
- Lauzon, S., Ma, A., Mills, J., & Benhabib, B. (1996). Application of discrete-event-system theory to flexible manufacturing. IEEE Control Systems Magazine, 16(1), 41–48. https://doi.org/https://doi.org/10.1109/37.482149
- Lee, K. C., & Lee, S. (2002). Performance evaluation of switched ethernet for real-time industrial communications. Computer Standards & Interfaces, 24(5), 411–423. https://doi.org/https://doi.org/10.1016/S0920-5489(02)00070-3
- Maia, C., 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/https://doi.org/10.1016/j.automatica.2011.01.047
- Mifdaoui, A., Frances, F., & Fraboul, C. (2005). Real-time communication over switched ethernet for military applications. In Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology -- CoNEXT'05. ACM Press.
- Moor, T., Schmidt, K., & Perk, S. (2010). Applied supervisory control for a flexible manufacturing system. IFAC Proceedings Volumes, 43(12), 253–258. https://doi.org/https://doi.org/10.3182/20100830-3-DE-4013.00043
- Moradi, S., Hardouin, L., & Raisch, J. (2016). Modeling and control of resource sharing problems in dioids. In 2016 13th International Workshop on Discrete Event Systems (WODES). IEEE.
- Moradi, S., Hardouin, L., & Raisch, J. (2017). Optimal control of a class of timed discrete event systems with shared resources, an approach based on the hadamard product of series in dioids. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC). IEEE.
- Outafraout, K., Nait-Sidi-Moh, A., & Alaoui, E. H. C. E. (2020). A control approach based on colored hybrid petri nets and (max, +) algebra: Application to multimodal transportation systems. IEEE Transactions on Automation Science and Engineering, 17(3), 1208–1220. https://doi.org/10.1109%2Ftase.2020.2973996.
- Ramadge, P. J., & Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1), 206–230.
- Schafaschek, G., Hardouin, L., & Raisch, J. (2020). Optimal control of timed event graphs with resource sharing and output-reference update. at -- Automatisierungstechnik, 68(7), 512–528. https://doi.org/https://doi.org/10.1515/auto-2020-0051
- Spacek, P., Manier, M.-A., & Moudni, A. E. (1999). Control of an electroplating line in the max and min algebras. International Journal of Systems Science, 30(7), 759–778. https://doi.org/https://doi.org/10.1080/002077299292065
- 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–8), 1295–1306. https://doi.org/https://doi.org/10.1007/s00170-016-9466-7
- Tebani, K., Amari, S., & Kara, R. (2018). Control of petri nets subject to strict temporal constraints using max-plus algebra. International Journal of Systems Science, 49(6), 1332–1344. https://doi.org/https://doi.org/10.1080/00207721.2018.1445311
- Trouillet, B., Korbaa, O., & Gentina, J.-C. (2007). Formal approach of FMS cyclic scheduling. IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 37(1), 126–137. https://doi.org/https://doi.org/10.1109/TSMCC.2006.876063
- Van den Boom, T. J., & De Schutter, B. (2006). Modelling and control of discrete event systems using switching max-plus-linear systems. Control Engineering Practice, 14(10), 1199–1211. https://doi.org/https://doi.org/10.1016/j.conengprac.2006.02.006
- Van den Boom, T. J., & De Schutter, B. (2011). Modeling and control of switching max-plus-linear systems with random and deterministic switching. Discrete Event Dynamic Systems, 22(3), 293–332. https://doi.org/https://doi.org/10.1007/s10626-011-0123-x