Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis

References

• Alves, M., Carvalho, L., & Basilio, J. (2021). Supervisory control of networked discrete event systems with timing structure. IEEE Transactions on Automatic Control, 66(5), 2206–2218. https://doi.org/10.1109/TAC.2020.3007384
   Web of Science ®Google Scholar
• Balemi, S. (1992). Communication delays in connections of input/output discrete event processes. In 31st IEEE conference on decision and control (CDC) (pp. 3374–3379). IEEE.
   Google Scholar
• Brandin, B. A., & Wonham, W. M. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 329–342. https://doi.org/10.1109/9.272327
   Web of Science ®Google Scholar
• Cassandras, C. G., & Lafortune, S.2007). Introduction to discrete event systems (2nd ed). NewYork-Springer.
   Google Scholar
• Hou, Y., Wang, W., Zang, Y., Lin, F., Yu, M., & Gong, C. (2020). Relative network observability and its relation with network observability. IEEE Transactions on Automatic Control, 65(8), 3584–3591. https://doi.org/10.1109/TAC.9
   Web of Science ®Google Scholar
• Lin, F. (1993). Robust and adaptive supervisory control of discrete event systems. IEEE Transactions on Automatic Control, 38(12), 1848–1852. https://doi.org/10.1109/9.250564
   Web of Science ®Google Scholar
• Lin, F. (2014). Control of networked discrete event systems: Dealing with communication delays and losses. SIAM Journal on Control and Optimization, 52(2), 1276–1298. https://doi.org/10.1137/130914942
   Web of Science ®Google Scholar
• Lin, F., & Wonham, W. M. (1988a). On observability of discrete-event systems. Information Sciences, 44(3), 173–198. https://doi.org/10.1016/0020-0255(88)90001-1
   Web of Science ®Google Scholar
• Lin, F., & Wonham, W. M. (1988b). Decentralized supervisory control of discrete-event systems. Information Sciences, 44(3), 199–224. https://doi.org/10.1016/0020-0255(88)90002-3
   Web of Science ®Google Scholar
• Lin, F., & Wonham, W. M. (1990). Decentralized control and coordination of discrete-event systems with partial observation. IEEE Transactions on Automatic Control, 35(12), 1330–1337. https://doi.org/10.1109/9.61009
   Web of Science ®Google Scholar
• Lin, F., & Wonham, W. M. (1995). Supervisory control of timed discrete event systems under partial observation. IEEE Transactions on Automatic Control, 40(3), 558–562. https://doi.org/10.1109/9.376081
   Web of Science ®Google Scholar
• Liu, Z., Yin, X., Shu, S., Lin, F., & Li, S. (2021). Online supervisory control of networked discrete-event systems with control delays. IEEE Transactions on Automatic Control, 67(5), 2314–2329. https://doi.org/10.1109/TAC.2021.3080495
   Web of Science ®Google Scholar
• Miao, C., Shu, S., & Lin, F. (2019). Predictive supervisory control for timed discrete event systems under communication delays. In 2019 IEEE 58th conference on decision and control (CDC) (pp. 6724–6729). IEEE.
   Google Scholar
• Park, S.-J., & Cho, K.-H. (2008). Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions. Automatica, 44(4), 1011–1019. https://doi.org/10.1016/j.automatica.2007.08.007
   Web of Science ®Google Scholar
• 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. https://doi.org/10.1137/0325013
   Web of Science ®Google Scholar
• Rashidinejad, A., Reniers, M., & Feng, L. (2018). Supervisory control of timed discrete-event systems subject to communication delays and non-fifo observations. In In 2018 14th international workshop on discrete event systems (WODES) (pp. 456–463). Elsevier.
   Google Scholar
• Rudie, K., & Wonham, W. M. (1992). Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control, 37(11), 1692–1708. https://doi.org/10.1109/9.173140
   Web of Science ®Google Scholar
• Shu, S., & Lin, F. (2015). Supervisor synthesis for networked discrete event systems with communication delays. IEEE Transactions on Automatic Control, 60(8), 2183–2188. https://doi.org/10.1109/TAC.9
   Web of Science ®Google Scholar
• Shu, S., & Lin, F. (2017a). Predictive networked control of discrete event systems. IEEE Transactions on Automatic Control, 62(9), 4698–4705. https://doi.org/10.1109/TAC.2016.2630276
   Web of Science ®Google Scholar
• Shu, S., & Lin, F. (2017b). Deterministic networked control of discrete event systems with nondeterministic communication delays. IEEE Transactions on Automatic Control, 62(1), 190–205. https://doi.org/10.1109/TAC.2016.2553959
   Web of Science ®Google Scholar
• Tai, R., Lin, L., Zhu, Y., & Su, R. (2022). A new modeling framework for networked discrete-event systems. Automatica, 138, 1–7. https://doi.org/10.1016/j.automatica.2021.110139
   Web of Science ®Google Scholar
• Takai, S. (2000). Robust supervisory control of a class of timed discrete event systems under partial observation. Systems & Control Letters, 39(4), 267–273. https://doi.org/10.1016/S0167-6911(99)00105-X
   Web of Science ®Google Scholar
• Wang, F., Shu, S., & Lin, F. (2016). Robust networked control of discrete event systems. IEEE Transactions on Automation Science and Engineering, 13(4), 1258–1540. https://doi.org/10.1109/TASE.2016.2588527
   Web of Science ®Google Scholar
• Yin, X., & Lafortune, S. (2016a). A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Transactions on Automatic Control, 61(8), 2140–2154. https://doi.org/10.1109/TAC.2015.2484359
   Web of Science ®Google Scholar
• Yin, X., & Lafortune, S. (2016b). Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. IEEE Transactions on Automatic Control, 61(5), 1239–1254. https://doi.org/10.1109/TAC.2015.2460391
   Web of Science ®Google Scholar
• Yin, X., & Lafortune, S. (2017). Synthesis of maximally-permissive supervisors for the range control problem. IEEE Transactions on Automatic Control, 62(8), 3914–3929. https://doi.org/10.1109/TAC.9
   Web of Science ®Google Scholar
• Yin, X., & Lafortune, S. (2018). Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem. IEEE Transactions on Automatic Control, 63(12), 4435–4441. https://doi.org/10.1109/TAC.9
   Web of Science ®Google Scholar
• Zhao, B., Lin, F., Wang, C., Zhang, X., Polis, M., & Wang, L. (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. https://doi.org/10.1109/TCNS.2015.2482219
   Web of Science ®Google Scholar
• Zhu, Y., Lin, L., Simon, W., & Su, R. (2019). Supervisor synthesis for networked discrete event systems with communication delays and lossy channels. In IEEE 58th conference on decision and control (CDC) (pp. 6730–6735). IEEE.
   Google Scholar