Copertina

A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Niu, Luyao, Maruf, Abdullah Al, Clark, Andrew, Mertoguno, J. Sukarno, Poovendran, Radha
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Distributed Safety-Critical Control of Multi-Agent Systems with Time-Varying Communication Topologies
di: Cheng, Shiyu, et al.
Pubblicazione: (2026)

A Scalable Design Approach to Resilient Architectures for Interconnected Cyber-Physical Systems: Safety Guarantees under Multiple Attacks
di: Badr, Eman, et al.
Pubblicazione: (2025)

Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems
di: Niu, Luyao, et al.
Pubblicazione: (2024)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
di: Zhang, Hongchao, et al.
Pubblicazione: (2024)

Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
di: Cheng, Shiyu, et al.
Pubblicazione: (2025)

Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach
di: Cheng, Shiyu, et al.
Pubblicazione: (2024)

Observability-Blocking Controls for Double-Integrator and Higher Order Integrator Networks
di: Tran, Joseph D., et al.
Pubblicazione: (2025)

Small-Signal Dynamics of Lossy Inverter-Based Microgrids for Generalized Droop Controls
di: Maruf, Abdullah Al, et al.
Pubblicazione: (2024)

A Method for Fast Autonomy Transfer in Reinforcement Learning
di: Sahabandu, Dinuka, et al.
Pubblicazione: (2024)

Interconnection-based Model Reduction for Linear Hybrid Systems
di: Niu, Zirui, et al.
Pubblicazione: (2026)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
di: Liu, Jun, et al.
Pubblicazione: (2024)

Resilient Distributed Control for Uncertain Nonlinear Interconnected Systems under Network Anomaly
di: Wang, Youqing, et al.
Pubblicazione: (2025)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
di: Ajeleye, Daniel, et al.
Pubblicazione: (2024)

Not-in-Perspective: Towards Shielding Google's Perspective API Against Adversarial Negation Attacks
di: Alexiou, Michail S., et al.
Pubblicazione: (2026)

Scaled Relative Graph Analysis of General Interconnections of SISO Nonlinear Systems
di: Krebbekx, Julius P. J., et al.
Pubblicazione: (2025)

From Coupling to Resilience: Quantifying the Impact of Interconnection in Energy Carrier Grids
di: Schrage, Rico, et al.
Pubblicazione: (2024)

Abstracted Model Reduction: A General Framework for Efficient Interconnected System Reduction
di: Poort, Luuk, et al.
Pubblicazione: (2024)

On Incremental Stability of Interconnected Switched Systems
di: Dey, Bhabani Shankar, et al.
Pubblicazione: (2023)

An Input-Output Data-Driven Dissipativity Approach for Compositional Stability Certification of Interconnected LTI MIMO Systems
di: Sandoval-Carranza, Alejandra, et al.
Pubblicazione: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
di: Zaker, Mahdieh, et al.
Pubblicazione: (2025)

Multiple Control Functionals for Interconnected Time-Delay Systems
di: Pan, Zhuo-Rui, et al.
Pubblicazione: (2023)

Interconnection of (Q,S,R)-Dissipative Systems in Discrete Time
di: Martinelli, Andrea, et al.
Pubblicazione: (2023)

Panel-Scale Reconfigurable Photonic Interconnects for Scalable AI Computation
di: Hsueh, Tzu-Chien, et al.
Pubblicazione: (2025)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2024)

Safe Control of Feedback-Interconnected Systems via Singular Perturbations
di: Di Gregorio, Stefano, et al.
Pubblicazione: (2026)

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
di: Tsujio, Kohei, et al.
Pubblicazione: (2025)

3D Electronic-Photonic Heterogenous Interconnect Platforms Enabling Energy-Efficient Scalable Architectures For Future HPC Systems
di: Samanta, Anirban, et al.
Pubblicazione: (2025)

Wireless Interconnection Network (WINE) for Post-Exascale High-Performance Computing
di: Kim, Hong Ki, et al.
Pubblicazione: (2024)

Efficient Reduction of Interconnected Subsystem Models using Abstracted Environments
di: Poort, Luuk, et al.
Pubblicazione: (2025)

Dense or Sparse? Post-Packing Interconnection Analysis in FPGAs
di: Wang, X., et al.
Pubblicazione: (2025)

A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions
di: Clark, Andrew
Pubblicazione: (2022)

Resilient Controller Design with Exponential Reaching Law for Enhanced Load Frequency Stability in Multi-Area Interconnected Microgrids
di: Islam, Md Saiful, et al.
Pubblicazione: (2025)

Equivalent Conditions for the Synchronization of Identical Linear Systems over Arbitrary Interconnections
di: Zaupa, Nicola, et al.
Pubblicazione: (2023)

Dissipativity-Based Data-Driven Decentralized Control of Interconnected Systems
di: Nakano, Taiki, et al.
Pubblicazione: (2025)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
di: Zhou, Jingyuan, et al.
Pubblicazione: (2026)

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
di: Tsujio, Kohei, et al.
Pubblicazione: (2024)

Synergies between AI Computing and Power Systems: Metrics, Scheduling, and Resilience
di: Pourahmadi, Farzaneh, et al.
Pubblicazione: (2025)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
di: Monir, Negar, et al.
Pubblicazione: (2025)

Composite Adaptive Control Barrier Functions for Safety-Critical Systems with Parametric Uncertainty
di: Kamaldar, Mohammadreza
Pubblicazione: (2026)

Computationally Efficient Sampling-Based Algorithm for Stability Analysis of Nonlinear Systems
di: Antal, Péter, et al.
Pubblicazione: (2024)