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

classification eess.SYcs.LGcs.MAcs.ROcs.SYmath.OC
keywords ellipsoidsonlysafesafetytransitionsagentscollisionsconstraints
verification ladder T0 review T1 audit T2 compute T3 formal
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). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

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

    eess.SY 2026-07 accept novelty 2.0 of 10

    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.

Pith tools