{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JWXODRYZ34GQ2ZOT2PSY2ZZBZ7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f3dfd3017a2efd0e12a2af26df83df3034d681d9b455e07a7514273b16b7c544","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-04-16T21:07:36Z","title_canon_sha256":"2b8c7a5cbc8979a750165131178613357667c97ce6474522babadff4a859cc45"},"schema_version":"1.0","source":{"id":"2604.15524","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.15524","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"arxiv_version","alias_value":"2604.15524v2","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.15524","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_12","alias_value":"JWXODRYZ34GQ","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_16","alias_value":"JWXODRYZ34GQ2ZOT","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_8","alias_value":"JWXODRYZ","created_at":"2026-05-25T02:01:20Z"}],"graph_snapshots":[{"event_id":"sha256:b3d4f57e629bf09568441196b56419effd8ee7ec8fb761d1c429c30ff801e3d9","target":"graph","created_at":"2026-05-25T02:01:20Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Control Lyapunov and control barrier functions are integrated with PDEs to enforce target density tracking, obstacle region avoidance, and energy sufficiency over multiple charging cycles. The resulting quadratic program enables fast in-the-loop implementation that adjusts commands in real-time."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The stochastic robot motion is accurately encoded through the Fokker-Planck PDE at the density level, and the quadratic program remains feasible and solvable in real time under localization and motion uncertainties while preserving the safety and energy guarantees."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A Fokker-Planck PDE-constrained quadratic program integrates control Lyapunov and barrier functions to achieve safe, energy-sustainable density tracking for multi-robot systems over long durations."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A quadratic program fuses PDE density models with Lyapunov and barrier functions to keep robot groups on target, safe from obstacles, and energy-sufficient across repeated charging cycles."}],"snapshot_sha256":"3958ebc4048a473ebe4e6f155eca3f9e4b4b723a68d7b119f3fbc4bbac344527"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.15524/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a novel density control framework for multi-robot systems with spatial safety and energy sustainability guarantees. Stochastic robot motion is encoded through the Fokker-Planck Partial Differential Equation (PDE) at the density level. Control Lyapunov and control barrier functions are integrated with PDEs to enforce target density tracking, obstacle region avoidance, and energy sufficiency over multiple charging cycles. The resulting quadratic program enables fast in-the-loop implementation that adjusts commands in real-time. Multi-robot experiment and extensive simulations","authors_text":"Andrew Nasif, Gennaro Notomista, Longchen Niu","cross_cats":["cs.RO","cs.SY"],"headline":"A quadratic program fuses PDE density models with Lyapunov and barrier functions to keep robot groups on target, safe from obstacles, and energy-sufficient across repeated charging cycles.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-04-16T21:07:36Z","title":"Safe and Energy-Aware Multi-Robot Density Control via PDE-Constrained Optimization for Long-Duration Autonomy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.15524","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-10T10:09:26.941803Z","id":"e2dd70ec-6670-4bf8-902e-8a8ce5d46cb4","model_set":{"reader":"grok-4.3"},"one_line_summary":"A Fokker-Planck PDE-constrained quadratic program integrates control Lyapunov and barrier functions to achieve safe, energy-sustainable density tracking for multi-robot systems over long durations.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A quadratic program fuses PDE density models with Lyapunov and barrier functions to keep robot groups on target, safe from obstacles, and energy-sufficient across repeated charging cycles.","strongest_claim":"Control Lyapunov and control barrier functions are integrated with PDEs to enforce target density tracking, obstacle region avoidance, and energy sufficiency over multiple charging cycles. The resulting quadratic program enables fast in-the-loop implementation that adjusts commands in real-time.","weakest_assumption":"The stochastic robot motion is accurately encoded through the Fokker-Planck PDE at the density level, and the quadratic program remains feasible and solvable in real time under localization and motion uncertainties while preserving the safety and energy guarantees."}},"verdict_id":"e2dd70ec-6670-4bf8-902e-8a8ce5d46cb4"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:01fe28a8dbe522950a5d31ab8956b77f293803755d429f48d2a0a416a835f766","target":"record","created_at":"2026-05-25T02:01:20Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f3dfd3017a2efd0e12a2af26df83df3034d681d9b455e07a7514273b16b7c544","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-04-16T21:07:36Z","title_canon_sha256":"2b8c7a5cbc8979a750165131178613357667c97ce6474522babadff4a859cc45"},"schema_version":"1.0","source":{"id":"2604.15524","kind":"arxiv","version":2}},"canonical_sha256":"4daee1c719df0d0d65d3d3e58d6721cfd18465b0a5a4e6fbf919fe5fb0a0e37e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4daee1c719df0d0d65d3d3e58d6721cfd18465b0a5a4e6fbf919fe5fb0a0e37e","first_computed_at":"2026-05-25T02:01:20.486223Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:01:20.486223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"amjsjr97fe4ZjznuXdip/BnzOw0KWLHKh+a2+SCLH5cQPNKId9q2xTpDZn9fQUWPlaDrQ2wvOYJnzA+4oDSEAg==","signature_status":"signed_v1","signed_at":"2026-05-25T02:01:20.487082Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.15524","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01fe28a8dbe522950a5d31ab8956b77f293803755d429f48d2a0a416a835f766","sha256:b3d4f57e629bf09568441196b56419effd8ee7ec8fb761d1c429c30ff801e3d9"],"state_sha256":"5b58d36641ea6f56edf88be86f6ca47e1894e1537b78abb48a66b99a03c5c4c0"}