Distributed safety verification for multi-agent systems

Distributed safety verification for multi-agent systems

The control barrier function (CBF) framework is a powerful tool for safe controller design and safety analysis. Given a dynamical system and a CBF, the system is safe if the CBF-induced constraints are satisfied for every state inside an invariant set, which is a subset of the safe set. In this pape...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Wang, H, Papachristodoulou, A, Margellos, K
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	IEEE 2023

Míreanna comhchosúla

Distributed control design and safety verification for multi-agent systems
de réir: Wang, H, et al.
Foilsithe / Cruthaithe: (2024)

Safety verification and controller synthesis for systems with input constraints
de réir: Wang, H, et al.
Foilsithe / Cruthaithe: (2023)

Safety verification for distributed parameter systems using barrier functionals
de réir: Ahmadi, M, et al.
Foilsithe / Cruthaithe: (2017)

Subgradient averaging for multi-agent optimization with different constraint sets
de réir: Romao, L, et al.
Foilsithe / Cruthaithe: (2021)

Enhanced frameworks for safety verification of autonomous rendezvous systems
de réir: Maier, C, et al.
Foilsithe / Cruthaithe: (2010)

Explicit solutions for safety problems using control barrier functions
de réir: Wang, H, et al.
Foilsithe / Cruthaithe: (2023)

Controlled hybrid system safety verification: Advanced life support system testbed
de réir: Glavaski, S, et al.
Foilsithe / Cruthaithe: (2005)

Dual decomposition for multi-agent distributed optimization with coupling constraints
de réir: Falsone, A, et al.
Foilsithe / Cruthaithe: (2017)

Verification of safety critical control policies using kernel methods
de réir: Vertovec, N, et al.
Foilsithe / Cruthaithe: (2022)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
de réir: Glavaski, S, et al.
Foilsithe / Cruthaithe: (2005)

A contract negotiation scheme for safety verification of interconnected systems
de réir: Tan, X, et al.
Foilsithe / Cruthaithe: (2024)

A scenario-based approach to multi-agent optimization with distributed information
de réir: Falsone, A, et al.
Foilsithe / Cruthaithe: (2021)

Distributed momentum based multi-agent optimization with different constraint sets
de réir: Zhou, X, et al.
Foilsithe / Cruthaithe: (2024)

Distributed actuator selection: achieving optimality via a primal-dual algorithm
de réir: Romao, L, et al.
Foilsithe / Cruthaithe: (2018)

Rational verification: game-theoretic verification of multi-agent systems
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2021)

A distributed iterative algorithm for multi-agent MILPs: finite-time feasibility and performance characterization
de réir: Falsone, A, et al.
Foilsithe / Cruthaithe: (2018)

Rational verification in multi-agent systems
de réir: Najib, M
Foilsithe / Cruthaithe: (2019)

Multi agent verification of RFID system /
de réir: Ali Selamat, author, et al.
Foilsithe / Cruthaithe: (2009)

A game theoretic approach for safe and distributed control of unmanned aerial vehicles
de réir: do Nascimento, AA, et al.
Foilsithe / Cruthaithe: (2024)

Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets
de réir: Romao, L, et al.
Foilsithe / Cruthaithe: (2020)

A time-triggered dimension reduction algorithm for the task assignment problem
de réir: Wang, H, et al.
Foilsithe / Cruthaithe: (2022)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
de réir: Glavaski, S, et al.
Foilsithe / Cruthaithe: (2007)

Design and Verification of Multi-Agent Systems with the Use of Bigraphs
de réir: Piotr Cybulski, et al.
Foilsithe / Cruthaithe: (2021-09-01)

Multi - agent verification and validation for RFID system architecture /
de réir: Muhammad Tarmizi Lockman, 1981-, author, et al.
Foilsithe / Cruthaithe: (2008)

Convex co-design of control barrier functions and feedback controllers for linear systems
de réir: Wang, H, et al.
Foilsithe / Cruthaithe: (2024)

Delay Robustness in Non-Identical Multi-Agent Systems.
de réir: Münz, U, et al.
Foilsithe / Cruthaithe: (2012)

Probabilistic sensitivity of Nash equilibria in multi-agent games: a wait-and-judge approach
de réir: Fele, F, et al.
Foilsithe / Cruthaithe: (2020)

Consensus in Multi-Agent Systems With Coupling Delays and Switching Topology.
de réir: Münz, U, et al.
Foilsithe / Cruthaithe: (2011)

Nonlinear multi-agent system consensus with time-varying delays
de réir: Muenz, U, et al.
Foilsithe / Cruthaithe: (2008)

On the probabilistic feasibility of solutions in multi-agent optimization problems under uncertainty
de réir: Pantazis, G, et al.
Foilsithe / Cruthaithe: (2021)

A decentralized approach to multi-agent MILPs: Finite-time feasibility and performance guarantees
de réir: Falsone, A, et al.
Foilsithe / Cruthaithe: (2019)

A linear multi-agent systems approach to diffusively coupled piecewise affine systems: Delay robustness.
de réir: Kashima, K, et al.
Foilsithe / Cruthaithe: (2011)

An Approach to Veriﬁcation of a Family of Multi- agent Systems for Conﬂict Resolution
de réir: N. O. Garanina, et al.
Foilsithe / Cruthaithe: (2016-12-01)

Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples
de réir: Romao, L, et al.
Foilsithe / Cruthaithe: (2021)

Tight generalization guarantees for the sampling and discarding approach to scenario optimization
de réir: Romao, L, et al.
Foilsithe / Cruthaithe: (2021)

On the exact feasibility of convex scenario programs with discarded constraints
de réir: Romao, L, et al.
Foilsithe / Cruthaithe: (2022)

A posteriori probabilistic feasibility guarantees for Nash equilibria in uncertain multi-agent games
de réir: Pantazis, G, et al.
Foilsithe / Cruthaithe: (2021)

Experimental verification of coverage control of multi‐agent systems with obstacle avoidance
de réir: Fidelia Chaitra Siri, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Generalized nyquist consensus condition for linear multi agent systems with heterogeneous delays
de réir: Münz, U, et al.
Foilsithe / Cruthaithe: (2009)

Using SPIN for Verification of Multi-agent Data Analysis
de réir: N. O. Garanina, et al.
Foilsithe / Cruthaithe: (2014-12-01)