Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
Fuente:
arXiv
Saved in:
| Main Authors: | Niu, Luyao, Zhang, Hongchao, Sahabandu, Dinuka, Ramasubramanian, Bhaskar, Clark, Andrew, Poovendran, Radha |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Distributed Safety-Critical Control of Multi-Agent Systems with Time-Varying Communication Topologies
by: Cheng, Shiyu, et al.
Published: (2026)
by: Cheng, Shiyu, et al.
Published: (2026)
Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
by: Cheng, Shiyu, et al.
Published: (2025)
by: Cheng, Shiyu, et al.
Published: (2025)
Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach
by: Cheng, Shiyu, et al.
Published: (2024)
by: Cheng, Shiyu, et al.
Published: (2024)
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
by: Zhang, Hongchao, et al.
Published: (2024)
by: Zhang, Hongchao, et al.
Published: (2024)
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems
by: Niu, Luyao, et al.
Published: (2023)
by: Niu, Luyao, et al.
Published: (2023)
Game of Trojans: Adaptive Adversaries Against Output-based Trojaned-Model Detectors
by: Sahabandu, Dinuka, et al.
Published: (2024)
by: Sahabandu, Dinuka, et al.
Published: (2024)
CleanGen: Mitigating Backdoor Attacks for Generation Tasks in Large Language Models
by: Li, Yuetai, et al.
Published: (2024)
by: Li, Yuetai, et al.
Published: (2024)
A Method for Fast Autonomy Transfer in Reinforcement Learning
by: Sahabandu, Dinuka, et al.
Published: (2024)
by: Sahabandu, Dinuka, et al.
Published: (2024)
Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2022)
by: Zhang, Hongchao, et al.
Published: (2022)
A Modular Safety Filter for Safety-Certified Cyber-Physical Systems
by: Bajelani, Mohammad, et al.
Published: (2024)
by: Bajelani, Mohammad, et al.
Published: (2024)
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
by: Dai, Hongkai, et al.
Published: (2024)
by: Dai, Hongkai, et al.
Published: (2024)
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2024)
by: Zhang, Hongchao, et al.
Published: (2024)
A Data-Driven Safety Preserving Control Architecture for Constrained Cyber-Physical Systems
by: Attar, Mehran, et al.
Published: (2023)
by: Attar, Mehran, et al.
Published: (2023)
Collaborative Altruistic Safety in Coupled Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2026)
by: Butler, Brooks A., et al.
Published: (2026)
ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs
by: Jiang, Fengqing, et al.
Published: (2024)
by: Jiang, Fengqing, et al.
Published: (2024)
IF-CPS: Influence Functions for Cyber-Physical Systems -- A Unified Framework for Diagnosis, Curation, and Safety Attribution
by: Li, Jiachen, et al.
Published: (2026)
by: Li, Jiachen, et al.
Published: (2026)
A Cyber-HIL for Investigating Control Systems in Ship Cyber Physical Systems under Communication Issues and Cyber Attacks
by: Vu, Linh, et al.
Published: (2023)
by: Vu, Linh, et al.
Published: (2023)
On the Use of Safety Critical Control for Cyber-Physical Security in the Smart Grid
by: Mohamed, Amr S., et al.
Published: (2023)
by: Mohamed, Amr S., et al.
Published: (2023)
A Data-Driven Approach To Preserve Safety and Reference Tracking for Constrained Cyber-Physical Systems Under Network Attacks
by: Attar, Mehran, et al.
Published: (2024)
by: Attar, Mehran, et al.
Published: (2024)
Security of Distributed Parameter Cyber-Physical Systems: Cyber-Attack Detection in Linear Parabolic PDEs
by: Roy, Tanushree, et al.
Published: (2021)
by: Roy, Tanushree, et al.
Published: (2021)
Stochastic Neural Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2025)
by: Zhang, Hongchao, et al.
Published: (2025)
Allocating Corrective Control to Mitigate Multi-agent Safety Violations Under Private Preferences
by: Corbin, Johnathan, et al.
Published: (2026)
by: Corbin, Johnathan, et al.
Published: (2026)
Hierarchical Decentralized Stochastic Control for Cyber-Physical Systems
by: Kaza, Kesav, et al.
Published: (2025)
by: Kaza, Kesav, et al.
Published: (2025)
Decentralized Stealth Attacks on Cyber-Physical Systems
by: Ye, Xiuzhen, et al.
Published: (2025)
by: Ye, Xiuzhen, et al.
Published: (2025)
A Dynamic Coding Scheme to Prevent Covert Cyber-Attacks in Cyber-Physical Systems
by: Taheri, Mahdi, et al.
Published: (2025)
by: Taheri, Mahdi, et al.
Published: (2025)
Combinatorial Safety-Critical Coordination of Multi-Agent Systems via Mixed-Integer Responsibility Allocation and Control Barrier Functions
by: Autenrieb, Johannes, et al.
Published: (2026)
by: Autenrieb, Johannes, et al.
Published: (2026)
Tube-Based Safety for Anticipative Tracking in Multi-Agent Systems
by: Koulong, Armel, et al.
Published: (2026)
by: Koulong, Armel, et al.
Published: (2026)
Who Moved My Distribution? Conformal Prediction for Interactive Multi-Agent Systems
by: Binny, Allen Emmanuel, et al.
Published: (2025)
by: Binny, Allen Emmanuel, et al.
Published: (2025)
A Scalable Design Approach to Resilient Architectures for Interconnected Cyber-Physical Systems: Safety Guarantees under Multiple Attacks
by: Badr, Eman, et al.
Published: (2025)
by: Badr, Eman, et al.
Published: (2025)
A Survey of Resilient Coordination for Cyber-Physical Systems Against Malicious Attacks
by: Liao, Zirui, et al.
Published: (2024)
by: Liao, Zirui, et al.
Published: (2024)
Sample-Optimal Zero-Violation Safety For Continuous Control
by: Ray, Ritabrata, et al.
Published: (2024)
by: Ray, Ritabrata, et al.
Published: (2024)
Systemization of Knowledge: Resilience and Fault Tolerance in Cyber-Physical Systems
by: Bulusu, Rahul
Published: (2025)
by: Bulusu, Rahul
Published: (2025)
Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)
by: Wang, Han, et al.
Published: (2023)
Generating Sustainability-Targeting Attacks For Cyber-Physical Systems
by: Ahamed, Faysal, et al.
Published: (2025)
by: Ahamed, Faysal, et al.
Published: (2025)
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
by: Jahandideh, Iman, et al.
Published: (2019)
by: Jahandideh, Iman, et al.
Published: (2019)
TinyV: Reducing False Negatives in Verification Improves RL for LLM Reasoning
by: Xu, Zhangchen, et al.
Published: (2025)
by: Xu, Zhangchen, et al.
Published: (2025)
Photolithography Control System : A Case Study For Cyber-Physical System
by: Zhang, Youbao, et al.
Published: (2024)
by: Zhang, Youbao, et al.
Published: (2024)
Targeted Algorithmic Purpose-Driven Cyber Attacks in Distributed Multi-Agent Optimization
by: FakouriFard, Mahan, et al.
Published: (2025)
by: FakouriFard, Mahan, et al.
Published: (2025)
Exploring Adversarial Threat Models in Cyber Physical Battery Systems
by: Padisala, Shanthan Kumar, et al.
Published: (2024)
by: Padisala, Shanthan Kumar, et al.
Published: (2024)
An optimization framework for resilient batch estimation in Cyber-Physical Systems
by: Kircher, Alexandre, et al.
Published: (2019)
by: Kircher, Alexandre, et al.
Published: (2019)
Similar Items
-
Distributed Safety-Critical Control of Multi-Agent Systems with Time-Varying Communication Topologies
by: Cheng, Shiyu, et al.
Published: (2026) -
Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
by: Cheng, Shiyu, et al.
Published: (2025) -
Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach
by: Cheng, Shiyu, et al.
Published: (2024) -
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
by: Zhang, Hongchao, et al.
Published: (2024) -
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems
by: Niu, Luyao, et al.
Published: (2023)