8 citations · 11 across the 8 of their papers we have counts for
8 papers
A Simplex-Inspired Architecture for Integrating Quantum Capabilities into Cyber-Physical Systems
Tamim Ahmed, Dacheng Shen, Mengyu Liu +1
Cyber-physical systems require accurate and reliable system models to ensure safe and efficient operation. Classical Gaussian Process Regression (GPR) provides uncertainty-aware pr…
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher +20
Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks…
SafePilot: A Framework for Assuring LLM-enabled Cyber-Physical Systems
Weizhe Xu, Mengyu Liu, Fanxin Kong
Large Language Models (LLMs), deep learning architectures with typically over 10 billion parameters, have recently begun to be integrated into various cyber-physical systems (CPS)…
SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems
Jialiang Fan, Weizhe Xu, Mengyu Liu +3
Safety-critical task planning in robotic systems remains challenging: classical planners suffer from poor scalability, Reinforcement Learning (RL)-based methods generalize poorly,…
Enhancing LLM-Based Test Generation by Eliminating Covered Code
WeiZhe Xu, Mengyu Liu, Fanxin Kong
Automated test generation is essential for software quality assurance, with coverage rate serving as a key metric to ensure thorough testing. Recent advancements in Large Language…
Automating Weak Label Generation for Data Programming with Clinicians in the Loop
Jean Park, Sydney Pugh, Kaustubh Sridhar +7
Large Deep Neural Networks (DNNs) are often data hungry and need high-quality labeled data in copious amounts for learning to converge. This is a challenge in the field of medicine…
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
Pengyuan Lu, Lin Zhang, Mengyu Liu +4
Cyber-physical systems (CPS) have experienced rapid growth in recent decades. However, like any other computer-based systems, malicious attacks evolve mutually, driving CPS to unde…
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning
Mengyu Liu, Pengyuan Lu, Xin Chen +3
We propose a model-free reinforcement learning solution, namely the ASAP-Phi framework, to encourage an agent to fulfill a formal specification ASAP. The framework leverages a piec…