Controller design for cyber-physical systems with inputs via logical networks

Guodong Zhao; Haitao Li; Guodong Zhao; Haitao Li

doi:10.3934/math.20251114

AIMS Mathematics

2025, Volume 10, Issue 11: 25175-25192. doi: 10.3934/math.20251114

Previous Article Next Article

Research article

Controller design for cyber-physical systems with inputs via logical networks

Guodong Zhao ,
Haitao Li ^,

School of Mathematics and Statistics, Shandong Normal University, Jinan 250000, China

Received: 21 August 2025 Revised: 30 September 2025 Accepted: 21 October 2025 Published: 03 November 2025
MSC : 37N35, 93D99

This paper investigated the robustness of cyber-physical systems (CPSs) under controller design. First, a formal definition of robustness for CPSs with inputs was established. Second, a systematic framework was proposed, featuring two novel algorithms that transform both infinite and finite systems into equivalent logical dynamical networks with inputs. Subsequently, the robustness of these systems was rigorously analyzed under the influence of the designed controllers. Finally, a numerical example was provided to illustrate the controller design process that ensures robustness for the considered CPSs.
- logical network,
- cyber-physical system,
- switched system,
- robustness,
- semi-tensor product of matrices,
- input-output dynamical stability
Citation: Guodong Zhao, Haitao Li. Controller design for cyber-physical systems with inputs via logical networks[J]. AIMS Mathematics, 2025, 10(11): 25175-25192. doi: 10.3934/math.20251114

Related Papers:

Abstract

This paper investigated the robustness of cyber-physical systems (CPSs) under controller design. First, a formal definition of robustness for CPSs with inputs was established. Second, a systematic framework was proposed, featuring two novel algorithms that transform both infinite and finite systems into equivalent logical dynamical networks with inputs. Subsequently, the robustness of these systems was rigorously analyzed under the influence of the designed controllers. Finally, a numerical example was provided to illustrate the controller design process that ensures robustness for the considered CPSs.

References

[1]	X. Gao, M. Peng, C. Tse, Cascading failure analysis of cyber–physical power systems considering routing strategy, IEEE Trans. Circuits Syst. Ⅱ Express Briefs, 70 (2023), 136–140. https://doi.org/10.1109/TCSII.2021.3071920 doi: 10.1109/TCSII.2021.3071920
[2]	M. Cintuglu, O. Mohammed, K. Akkaya, A. Uluagac, A survey on smart grid cyber-physical system testbeds, IEEE Commun. Surv. Tutor., 19 (2017), 446–464. https://doi.org/10.1109/COMST.2016.2627399 doi: 10.1109/COMST.2016.2627399
[3]	M. Xing, Y. Wang, Q. Pang, G. Zhuang, Dynamic-memory event-based asynchronous attack detection filtering for a class of nonlinear cyber-physical systems, IEEE Trans. Cybern., 53 (2023), 653–667. https://doi.org/10.1109/TCYB.2021.3127231 doi: 10.1109/TCYB.2021.3127231
[4]	Y. Feng, B. Hu, H. Hao, Y. Gao, Z. Li, J. Tan, Design of distributed cyber–physical systems for connected and automated vehicles with implementing methodologies, IEEE Trans. Ind. Informat., 14 (2018), 4200–4211. https://doi.org/10.1109/TII.2018.2805910 doi: 10.1109/TII.2018.2805910
[5]	T. Nguyen, S. Zeadally, A. Vuduthala, Cyber-physical cloud manufacturing systems with digital twins, IEEE Internet Comput., 26 (2022), 15–21. https://doi.org/10.1109/MIC.2021.3058921 doi: 10.1109/MIC.2021.3058921
[6]	A. Tyagi, S. Aswathy, G. Aghila, N. Sreenath, AARIN: Affordable, accurate, reliable and innovative mechanism to protect a medical cyber-physical system using blockchain technology, Int. J. Intell. Netw., 2 (2021), 175–183. https://doi.org/10.1016/j.ijin.2021.09.007 doi: 10.1016/j.ijin.2021.09.007
[7]	Y. Tsang, T. Yang, Z. Chen, C. Wu, K. Tan, How is extended reality bridging human and cyberphysical systems in the IoT-empowered logistics and supply chain management? Int. Things, 20 (2022), 100623. https://doi.org/10.1016/j.iot.2022.100623 doi: 10.1016/j.iot.2022.100623
[8]	C. Lee, C. Ng, C. Chung, K. Keung, Cloud-based cyber-physical logistics system with nested MAX-MIN ant algorithm for e-commerce logistics, Expert Syst. Appl., 211 (2023), 118643. https://doi.org/10.1016/j.eswa.2022.118643 doi: 10.1016/j.eswa.2022.118643
[9]	E. Sontag, Input-to-State Stability, London: Springer, 2015.
[10]	L. Grün, Input-to-state dynamical stability and its Lyapunov function characterization, IEEE Trans. Autom. Control, 47 (2002), 1499–1504. https://doi.org/10.1109/TAC.2002.802761 doi: 10.1109/TAC.2002.802761
[11]	R. Matthias, T. Paulo, A notion of robustness for cyber-physical systems, IEEE Trans. Autom. Control, 61 (2016), 2108–2123. https://doi.org/10.1109/TAC.2015.2492438 doi: 10.1109/TAC.2015.2492438
[12]	D. Cheng, Y. Dong, Semi-tensor product of matrices and its some applications to physics, Methods Appl. Anal., 10 (2003), 565–588.
[13]	H. Li, Y. Li, W. Li, Y. Liu, Stability analysis of block logical dynamical systems and its application in logical networks with time delay, IEEE Trans. Autom. Control, 69 (2024), 7211–7215. https://doi.org/10.1109/TAC.2024.3394549 doi: 10.1109/TAC.2024.3394549
[14]	H. Li, Z. Liu, W. Li, Nonsingularity of Grain-like cascade feedback shift registers subject to fault attacks, Sci. China Inf. Sci., 67 (2024), 192203. https://doi.org/10.1007/s11432-023-4044-8 doi: 10.1007/s11432-023-4044-8
[15]	G. Zhao, H. Li, T. Hou, Input–output dynamical stability analysis for cyber‐physical systems via logical networks, IET Control Theory Appl., 14 (2020), 2566–2572. https://doi.org/10.1049/iet-cta.2020.0197 doi: 10.1049/iet-cta.2020.0197
[16]	E. D. Sontag, Input-to-state stability, London: Springer, 2015.
[17]	F. Huang, X. Chang, Tracking control of interval Type-2 fuzzy systems with improved adaptive event-triggered mechanisms and deception attacks under privacy protection, IEEE Trans. Cybern., 46 (2025), 1695–1707. https://doi.org/10.1002/oca.3285 doi: 10.1002/oca.3285
[18]	S. Wang, X. Chang, Quantized fuzzy $H_{\infty}$ control for networked systems with a markovian sensor distortion under hybrid attacks, Int. J. Comput. Math., 102 (2025), 1465–1484. https://doi.org/10.1080/00207160.2025.2505024 doi: 10.1080/00207160.2025.2505024
[19]	R. Li, M. Yang, T. Chu, State feedback stabilization for Boolean control networks, IEEE Trans. Autom. Control, 58 (2013), 1853–1857. https://doi.org/10.1109/TAC.2013.2238092 doi: 10.1109/TAC.2013.2238092
[20]	J. Wang, D. Wang, H. Yan, H. Shen, Composite antidisturbance H$_{\infty}$ control for hidden Markov jump systems with multi-sensor against replay attacks, IEEE Trans. Autom. Control, 69 (2024), 1760–1766. https://doi.org/10.1109/TAC.2023.3326861 doi: 10.1109/TAC.2023.3326861
[21]	H. Shen, Y. Wang, J. Wu, J. H. Park, J. Wang, Secure control for Markov jump cyber–physical systems subject to malicious attacks: A resilient hybrid learning scheme, IEEE Trans. Cybern., 54 (2024), 54. https://doi.org/10.1109/TCYB.2024.3448407 doi: 10.1109/TCYB.2024.3448407

Reader Comments

Your name:*

Email:*
© 2025 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)