Pith. sign in

REVIEW 1 cited by

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2509.04413 v1 pith:Q6BUQR7Q submitted 2025-09-04 eess.SY cs.LGcs.MAcs.ROcs.SYmath.OC

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates

classification eess.SY cs.LGcs.MAcs.ROcs.SYmath.OC
keywords ellipsoidsonlysafesafetytransitionsagentscollisionsconstraints
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

This paper proposes a fully data-driven motion-planning framework for homogeneous linear multi-agent systems that operate in shared, obstacle-filled workspaces without access to explicit system models. Each agent independently learns its closed-loop behavior from experimental data by solving convex semidefinite programs that generate locally invariant ellipsoids and corresponding state-feedback gains. These ellipsoids, centered along grid-based waypoints, certify the dynamic feasibility of short-range transitions and define safe regions of operation. A sampling-based planner constructs a tree of such waypoints, where transitions are allowed only when adjacent ellipsoids overlap, ensuring invariant-to-invariant transitions and continuous safety. All agents expand their trees simultaneously and are coordinated through a space-time reservation table that guarantees inter-agent safety by preventing simultaneous occupancy and head-on collisions. Each successful edge in the tree is equipped with its own local controller, enabling execution without re-solving optimization problems at runtime. The resulting trajectories are not only dynamically feasible but also provably safe with respect to both environmental constraints and inter-agent collisions. Simulation results demonstrate the effectiveness of the approach in synthesizing synchronized, safe trajectories for multiple agents under shared dynamics and constraints, using only data and convex optimization tools.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Data-Driven Formal Methods for Complex Dynamical Systems: A Survey

    eess.SY 2026-07 accept novelty 2.0

    A taxonomy and survey of data-driven formal verification and controller synthesis, organized around abstraction-based, functional-certificate, and compositional methods with PAC, Lipschitz, and structural-property guarantees.