Security of Cyber-Physical Systems
General Description
Team members
Publications
Workshops and seminars
Past and Ongoing Projects
Demonstration

Publications:

Books

  1. Su, R. (2023). Cybersecurity of Discrete Event Dynamic Systems - from Smart Attacks to Resilient Defense. CRC Press, Taylor & Francis.
  2. Basilio, J. C., Hadjicostis, C. N., and Su, R. (2021), Analysis and Control for Resilience of Discrete Event Systems. Foundations and Trends in Systems and Control Series. Foundations and Trends® in Systems and Control: Vol. 8: No. 4, pp 285-443. http://dx.doi.org/10.1561/2600000024.

Book Chapters

  1. Hu, Z., Su, R., Liu, S. and Xu, Z. (2022). Cyberattack-resilient control in multi-area power generation. Power Systems Cybersecurity (Hassan Haes Alhelou, Nikos Hatziargyriou, Zhaoyang Dong (Eds)), Springer.

Journal Papers

  1. Tai, R., Lin, L. and Su, R. (2023). On decidability of existence of fortified supervisors against covert actuator attackers. IEEE Transactions on Automatic Control, DOI: 10.1109/TAC.2023.3339497.
  2. Brandin, B. A., Su, R. and Lin, L. (2023). Supervisory control of time-interval discrete event systems. IEEE Transactions on Automatic Control, DOI: 10.1109/TAC.2023.3331564.
  3. Hu, Z., Su, R., Zhang, K., Xu, Z. and Ma, R. (2023). Resilient event-triggered model predictive control for adaptive cruise control under sensor attacks. IEEE/CAA Journal of Automatica Sinica, vol. 10, no. 3, pp. 807-809.
  4. Tai, R., Lin, L., Zhu, Y. and Su, R. (2023). Synthesis of distributed covert sensor-actuator attackers. IEEE Transactions on Automatic Control, DOI: 10.1109/TAC.2023.3329341.
  5. Su, R. (2023). On decidability of existence of nonblocking supervisors resilient to smart sensor attacks. Automatica, vol. 154, pp. 111076.
  6. Tai, R., Lin, L., Zhu, Y. and Su, R. (2023). Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder. Automatica, vol. 50, pp. 110860.
  7. Su, R. (2023). A language-based diagnosis framework for permanent and intermittent faults. Automatica, vol. 154, pp. 111077.
  8. Yan, X., Ma, M. and Su, R. (2023). Efficient group handover authentication for secure 5Gbased communications in platoons. IEEE Transactions on Intelligent Transportation Systems, vol. 24, no. 3, pp. 3104-3116.
  9. Tai, R., Lin, L. and Su, R. (2023). Synthesis of optimal covert sensor-actuator attackers for discrete event systems. Automatica, vol. 151, pp. 110910.
  10. Zhu, Y., Lin, L., Tai, R. and Su, R. (2023). Overview of networked supervisory control with imperfect communication channels. Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 33, no. 1, pp. 25-61.
  11. Zhang, W., Wang, Z., Raissi, T. and Su, R. (2023). An ellipsoid-based framework for fault estimation and remaining useful life prognosis. International Journal of Robust and Nonlinear Control, vol. 33, no. 12, pp. 7260-7281.
  12. Lin, L., Zhu, Y., Tai, R., Ware, S. and Su, R. (2022). Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. Automatica, vol. 142, no. 1, pp. 110279.
  13. Lu, Y., Su, R., Zhang, C. and Qiao, L. (2022) Event-triggered adaptive formation keeping and interception scheme for autonomous surface vehicles under malicious attacks. IEEE Transactions on Industrial Informatics, vol. 18, no. 2, pp. 3947-3957.
  14. Junaidi, D. R., Mao, M. and Su, R. (2022). Secure vehicle platoon management against sybil attacks. Sensors, vol. 22, no. 22, pp. 9000.
  15. Tai, R., Lin, L. and Su, R. (2022). Identification of system vulnerability under a smart sensor attack via attack model reduction. IEEE Control Systems Letters, vol. 6, pp. 2948-2953.
  16. Chen, G., Lu, Y. and Su, R. (2022). Interpretable fault diagnosis with shapelet temporal logic: theory and applications. Automatica, vol. 142, pp. 110350.
  17. Tai, R., Lin, L., Zhu, Y. and Su, R. (2022). Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations. IEEE Transactions on Automatic Control, vol. 86, no. 6, pp. 3453-3468.
  18. Tai, R., Lin, L., Zhu, Y. and Su, R. (2021). A new modelling framework for networked discrete-event systems. Automatica, vol. 138, pp. 110139.
  19. Lin, L., Tai, R., Zhu, Y. and Su, R. (2021). Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 32, pp. 495-520.
  20. Lin, L. and Su, R. (2021). Synthesis of covert actuator and sensor attackers. Automatica, vol. 130, pp. 109714.
  21. Lin, L., Zhu, Y. and Su, R. (2020). Synthesis of covert actuator attackers for free. Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 20, pp. 561-577.
  22. Wang, W., Su, R. and Lin, L. (2019). Model checking in isomorphic module systems. IEEE Transactions on Automatic Control, vol. 64, no. 2, pp. 728-735.
  23. White, A., Karimoddini, A. and Su, R. (2019). Fault diagnosis of discrete event systems under unknown initial conditions. IEEE Transactions on Automatic Control, vol. 64, no. 12, pp. 5246-5252.
  24. Su, R. (2018). Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica, vol. 94, pp. 35-44.
  25. Han, X., Chen, Z. and Su, R. (2018). Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems. Systems & Control Letters, vol. 123, pp. 33-39.
  26. Su, R., Chaudron, M.R.V. and Lukkien, J.J. (2007). Adaptive runtime fault management for service instances in component-based software applications. IET Software, vol. 1, no. 1, pp. 18-28.
  27. Su, R., Lukkien, J.J. and Chaudron, M.R.V. (2007). A language-based access control approach for component-based software applications. IET Software, vol. 1, no. 5, pp. 206-216.
  28. Su, R. and Wonham, W.M. (2006). Hierarchical fault diagnosis for discrete-event systems under global consistency. Journal of Discrete Event Dynamic Systems, vol. 16, no. 1, pp. 39-70.
  29. Su, R. and Wonham, W.M. (2005). Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1923-1935.

Conference Papers

  1. Tai, R., Lin, L. and Su, R. Supervisor fortification against covert actuator attacks. 62nd IEEE Conference on Decision and Control, accepted, Singapore.
  2. Jiang, K., Hu, Z., Huang, L. and Su, R. Cyber-attack detection framework for connected vehicles in V2X networks based on an iterative UFIR filter. 62nd IEEE Conference on Decision and Control, accepted, Singapore.
  3. Huang, L., Su, R., Ma, M., Lu, Y., Wang, B. and Hu, Z. Preserving data-privacy cooperative control of discrete-time multi-agent systems with added noises: convergence and privacy analysis. 62nd IEEE Conference on Decision and Control, accepted, Singapore.
  4. Hu, Z., Su, R., Wang, Y., Wang, B., Huang, L. and Lu, Y. Security enhancement for longitudinal vehicle platooning under denial-of-service attacks: from reesilient controller design perspective. 22nd World Congress of the International Federation of Automatic Control (IFAC), accepted, Yokohama.
  5. Chen, G., Lu, Y., Su, R. and Xie, L. (2023). Fault-tolerant synthesis for multi-process systems via resource sharing: a discrete-event approach. 2023 American Control Conference, San Diego.
  6. Junaidi, D., Ma, M. and Su, R. Effective authentication to prevent sybil attacks in vehicular platoons. 17th International Conference on Control, Automation, Robotics and Vision, pp. 949-954, Singapore.
  7. Ilango, H., Ma, M. and Su, R. Novel position falsification attacks detection in the internet of vehicles using machine learning. 17th International Conference on Control, Automation, Robotics and Vision, pp. 955-960, Singapore.
  8. Chen, Q., Su, R. and Li, Z. Attackable detectability of partially-observed discrete-event systems under sensor attack. 16th IFAC Workshop on Discrete Event Systems, vol. 55, no. 128, pp. 121-127, IFAC-PapersOnLine, Prague.
  9. Tai, R., Lin, L., Su, R. and Ge, S. Covert attack synthesis for networked discrete-event systems. 22nd IFAC World Congress, pp. 1-6, Yokohama.
  10. Hadjicostis, C. N., Lafortune, S., Lin, F. and Su, R. Cybersecurity and supervisory control: a tutorial on robust state estimation, attack synthesis, and resilient control. 61st IEEE Conference on Decision and Control, pp. 3020-3040, Cancun.
  11. Chen, G., Lu, Y. and Su, R. (2022). Fault tolerance makespan synthesis in multi-process systems via resource sharing and backtracking. 16th IFAC Workshop on Discrete Event Systems, vol. 55, no. 128, pp. 30-37, IFAC-PapersOnLine, Prague.
  12. Zhu, Y., Lin, L., Tai, R. and Su, R. Distributed control of timed networked system against communication delays. 17th IEEE International Conference on Control & Automation, pp. 1008-1013, Naples.
  13. Yan, X., Ma, M. and Su, R. A certificateless efficient and secure group handover authentication protocol in 5G enabled vehicular networks. 2022 IEEE International Conference on Communications, pp. 1678-1684, Seoul.
  14. Su, R. About existence of resilient supervisors against smart sensor attacks. 61st IEEE Conference on Decision and Control, pp. 3263-3269, Cancun.
  15. Lin, L., Tai, R., Zhu, Y. and Su, R. Heuristic synthesis of covert attackers against unknown supervisors. 60th IEEE Conference on Decision and Control, pp. 7003-7008, Austin.
  16. Surej, I.H., Ma, M. and Su, R. Low rate DoS attack detection in IoT-SDN using deep learning. 14th IEEE International Conference on Internet of Things, pp. 115-120, Melbourne.
  17. Zhu, Y., Lin, L., Tai, R. and Su, R. Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels. 16th International Conference on Control, Automation, Robotics and Vision, pp. 1027-1032, Shenzhen.
  18. Liu, D and Su, R. Distributed optimization for linear multi-agent systems subject to DoS attacks. 59th IEEE Conference on Decision and Control, pp. 4498-4503, Jeju Island.
  19. Lin, L. and Su, R. Synthesis of covert actuator and sensor attackers as supervisor synthesis. 15th IFAC Workshop on Discrete Event Systems, pp. 1-6, Rio de Janeiro.
  20. Lin, L., Zhu, Y. and Su, R. Towards bounded synthesis of resilient supervisors. 58th IEEE Conference on Decision and Control, pp. 7659-7664, Nice.
  21. Zhu, Y., Lin, L., Ware, S. and Su, R. Supervisor synthesis for networked discrete event systems with communication delays and lossy channels. 58th IEEE Conference on Decision and Control, pp. 6730-6735, Nice.
  22. Zhu, Y., Lin, L. and Su, R. Supervisor Obfuscation Against Actuator Enablement Attack. 2019 European Control Conference, pp. 1760-1765, Naples.
  23. Rashidinejad, A., Lin, L., Wetzels, B., Zhu, Y., Reniers, M. and Su, R. Supervisory control of discrete-event systems under attacks: an overview and outlook. 2019 European Control Conference, pp. 1732-1739, Naples.
  24. Lin, L., Thuijsman, S., Zhu, Y., Ware, S., Su, R. and Reniers, M. Synthesis of supremal successful normal actuator attackers on normal supervisors. 2019 American Control Conference, pp. 5614-5619, Philadelphia.
  25. Su, R. A cyber attack model with bounded sensor reading alterations. 2017 American Control Conference, pp. 3200-3205, Seattle.
  26. Su, R., Lukkien, J.J. and Chaudron, M.R.V. A language-based access control approach for component-based software applications. 2006 IASTED International Conference on Software Engineering and Applications, pp. 233-238, Dallas.
  27. Su, R. and Wonham, W.M. (2004). Distributed diagnosis under global consistency. In Proc. 43th IEEE Conference on Decision and Control, pp. 525-530, Nassau.
  28. Su, R. and Wonham, W.M. (2004). An algorithm to achieve local consistency in distributed diagnosis. In Proc. 43th IEEE Conference on Decision and Control, pp. 998-1003, Nassau.
  29. Su, R. and Wonham, W.M. (2004). Hierarchical distributed diagnosis under global consistency. In Proc. 7th IFAC International Workshop on Discrete Event Systems, pp. 157-162, Reims.
  30. Su, R. and Wonham, W.M. (2004). A model of component consistency in distributed diagnosis. In Proc. 7th IFAC International Workshop on Discrete Event Systems, pp. 427-432, Reims.
  31. Su, R. and Wonham, W.M. (2004). Probability measure on regular languages and its application in fault diagnosis for discrete event systems. In Proc. 5th IEEE Asian Control Conference, pp. 412-419, Melbourne.
  32. Su, R., Wonham, W.M., Kurien, J. and Koutsoukos, X. (2002). Distributed diagnosis for qualitative systems. In Proc. 6th International Workshop on Discrete Event Systems, pp. 169-174, Zaragoza.
  33. Su, R. and Wonham, W.M. (2002). Probabilistic reasoning in distributed diagnosis for qualitative systems. In Proc. 41th IEEE Conference on Decision and Control, pp. 429-434, Las Vegas.
  34. Su, R. and Wonham, W.M. (2000). Decentralized fault diagnosis for discrete-event systems. In Proc. 2000 Conference on Information Sciences and Systems, pp. TP1:1-6, Princeton.