Data-Driven Compositional Safety Verification of Interconnected Monotone Systems

arXiv:2609.19396 · eess.SY, cs.SY · Submitted 2026-09-16 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-09-16

Updated: 2026-09-16

Project page: https://fbullo.github.io/ctds

Terminology

• Verification — 32× in this paper · explained in 2 episodes
• Loss Function — 6× in this paper · explained in 2 episodes
• Hybrid System — 5× in this paper · explained in 2 episodes
• Abstraction — 2× in this paper · explained in 1 episode
• Computational overhead — 2× in this paper · explained in 2 episodes
• Conference on Decision and Control — 2× in this paper
• Sample Efficiency — 2× in this paper · explained in 4 episodes
• Activation Function — 1× in this paper · explained in 1 episode
• Benchmark — 1× in this paper · explained in 2 episodes
• Curse of Dimensionality — 1× in this paper · explained in 6 episodes
• Linear Matrix Inequality — 1× in this paper
• Sample Complexity — 1× in this paper · explained in 15 episodes
• Structural Constraints — 1× in this paper · explained in 2 episodes

Sources

• Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation