Cover Image

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Han, Papachristodoulou, Antonis, Margellos, Kostas
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
by: Wang, Han, et al.
Published: (2024)

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
by: Wang, Han, et al.
Published: (2024)

Constraint Horizon in Model Predictive Control
by: Nascimento, Allan Andre Do, et al.
Published: (2025)

Model Predictive Control with Multiple Constraint Horizons
by: Nascimento, Allan Andre do, et al.
Published: (2025)

Probabilistically safe controllers based on control barrier functions and scenario model predictive control
by: Nascimento, Allan Andre do, et al.
Published: (2024)

A Prototyping Framework for Distributed Control of Multi-Robot Systems
by: Memon, Junaid Ahmed, et al.
Published: (2026)

Model-Free Verification for Neural Network Controlled Systems
by: Wang, Han, et al.
Published: (2023)

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization
by: Fochesato, Marta, et al.
Published: (2025)

Acceleration of Moment Bound Optimization for Stochastic Chemical Reactions Using Reaction-wise Sparsity of Moment Equations
by: Sadatoshi, Tomoki, et al.
Published: (2026)

On the Design of Rational Polynomial State Feedback Controllers
by: Newton, Matthew, et al.
Published: (2025)

Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)

Distributed equilibrium seeking in aggregative games: linear convergence under singular perturbations lens
by: Carnevale, Guido, et al.
Published: (2025)

Data-Driven Stable Neural Feedback Loop Design
by: Xiong, Zuxun, et al.
Published: (2024)

Predictive Control Barrier Functions: Bridging model predictive control and control barrier functions
by: Huang, Jingyi, et al.
Published: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier Functions
by: Teuwen, Matisse, et al.
Published: (2025)

Efficient Quantification of Time-Series Prediction Error: Optimal Selection Conformal Prediction
by: Pang, Boyu, et al.
Published: (2025)

Collaborative Safe Formation Control for Coupled Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2023)

Collaborative Altruistic Safety in Coupled Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2026)

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
by: Jang, Inkyu, et al.
Published: (2025)

Opt-ODENet: A Neural ODE Framework with Differentiable QP Layers for Safe and Stable Control Design (longer version)
by: Miao, Keyan, et al.
Published: (2025)

Data-Enabled Predictive Control for Nonlinear Systems Based on a Koopman Bilinear Realization
by: Xiong, Zuxun, et al.
Published: (2025)

An Error-Based Safety Buffer for Safe Adaptive Control (Extended Version)
by: Fisher, Peter A., et al.
Published: (2025)

Tracking-based distributed equilibrium seeking for aggregative games
by: Carnevale, Guido, et al.
Published: (2022)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Safe Control of Euler-Lagrange Systems with Limited Model Information
by: Wang, Yujie, et al.
Published: (2023)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
by: Ning, Chao, et al.
Published: (2025)

Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set
by: Almuzakki, Muhammad Zaki, et al.
Published: (2024)

Optimal Control of Multi-Agent Systems with Processing Delays
by: Kashyap, Mruganka, et al.
Published: (2022)

Latent Representations for Control Design with Provable Stability and Safety Guarantees
by: Lutkus, Paul, et al.
Published: (2025)

Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
by: Mestres, Pol, et al.
Published: (2023)

On Suboptimal Safety-Critical Tracking Controller Design
by: Batmani, Yazdan, et al.
Published: (2025)

Constrained Diffusers for Safe Planning and Control
by: Zhang, Jichen, et al.
Published: (2025)

Data-Driven Performance Guarantees for Parametric Optimization Problems
by: Huang, Jingyi, et al.
Published: (2025)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

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