A journal of IEEE and CAA , publishes
high-quality papers in English on original
theoretical/experimental research
and development in all areas of automation
IEEE/CAA Journal of Automatica Sinica
| Citation: | Y. Song, Y. Liu, and W. Zhao, “Approximately bi-similar symbolic model for discrete-time interconnected switched system,” IEEE/CAA J. Autom. Sinica, vol. 11, no. 0, pp. 1–3, Jan. 2024. doi: 10.1109/JAS.2023.123927
|
| [1] |
P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Science & Business Media, 2009.
|
| [2] |
G. Pola, P. Pepe, and M. D. Di Benedetto, “Symbolic models for networks of control systems,” IEEE Trans. Automatic Control, vol. 61, no. 11, pp. 3663–3668, 2016. doi: 10.1109/TAC.2016.2528046
|
| [3] |
A. Swikir and M. Zamani, “Compositional synthesis of finite abstractions for networks of systems: A small-gain approach,” Automatica, vol. 107, pp. 551–561, 2019. doi: 10.1016/j.automatica.2019.06.021
|
| [4] |
M. Zamani, M. Mazo, M. Khaled, and A. Abate, “Symbolic abstractions of networked control systems,” IEEE Trans. Control Network Systems, vol. 5, no. 4, pp. 1622–1634, 2018. doi: 10.1109/TCNS.2017.2739645
|
| [5] |
A. Swikir and M. Zamani, “Compositional abstractions of interconnected discrete-time switched systems,” in Proc. 18th European Control Conf
|
| [6] |
A. Lavaei, S. Soudjani, and M. Zamani, “Compositional abstraction-based synthesis for networks of stochastic switched systems,” Automatica, vol. 114, p. 108827, 2020. doi: 10.1016/j.automatica.2020.108827
|
| [7] |
A. Swikir and M. Zamani, “Compositional synthesis of symbolic models for networks of switched systems,” IEEE Control Systems Letters, vol. 3, no. 4, pp. 1056–1061, 2019. doi: 10.1109/LCSYS.2019.2920766
|
| [8] |
A. Lavaei and M. Zamani, “From dissipativity theory to compositional synthesis of large-scale stochastic switched systems,” IEEE Trans. Autom. Control, vol. 67, no. 9, pp. 4422–4437, 2022. doi: 10.1109/TAC.2022.3159190
|
| [9] |
X. Wang, D. Ding, H. Dong, and X.-M. Zhang, “Neural network-based control for discrete-time nonlinear systems with input saturation under stochastic communication protocol,” IEEE/CAA J. Autom. Sinica, vol. 8, no. 4, pp. 766–778, 2021. doi: 10.1109/JAS.2021.1003922
|
| [10] |
W. Xiang and J. Xiao, “Stabilization of switched continuous-time systems with all modes unstable via dwell time switching,” Automatica, vol. 50, no. 3, pp. 940–945, 2014. doi: 10.1016/j.automatica.2013.12.028
|
Figures(2)
DownLoad:
