Cyber Physical System
Cyber-physical systems (CPS) integrate computational and physical components, aiming to improve efficiency, safety, and reliability across diverse applications. Current research emphasizes robust testing and verification methods, including generative adversarial networks for test generation and digital twin frameworks for system simulation and analysis, alongside the application of large language models for knowledge completion and improved human-system interaction. The significance of this field lies in its potential to enhance safety and security in critical infrastructure, autonomous systems, and healthcare, driving advancements in both theoretical understanding and practical deployment of intelligent systems.
Papers
KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems
Xugui Zhou, Maxfield Kouzel, Chloe Smith, Homa Alemzadeh
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee