{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:BHCTVVNWUWZYAWFXPXDJRQOA3Z","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":"224dd227c043d675658a29a461e73827319e745d4d35c877a876eb9c76f80d4a","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2023-10-14T23:39:24Z","title_canon_sha256":"417e1b190552c434191eb1318de5c467d1f64019c4ad2e84cab1aec16777e20a"},"schema_version":"1.0","source":{"id":"2310.09681","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.09681","created_at":"2026-07-05T07:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"2310.09681v1","created_at":"2026-07-05T07:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.09681","created_at":"2026-07-05T07:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"BHCTVVNWUWZY","created_at":"2026-07-05T07:01:09Z"},{"alias_kind":"pith_short_16","alias_value":"BHCTVVNWUWZYAWFX","created_at":"2026-07-05T07:01:09Z"},{"alias_kind":"pith_short_8","alias_value":"BHCTVVNW","created_at":"2026-07-05T07:01:09Z"}],"graph_snapshots":[{"event_id":"sha256:8dfd371d7561c70a49b5d1a4142927ff54551ea80ad48e6edee6b85ad404c18f","target":"graph","created_at":"2026-07-05T07:01:09Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2310.09681/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper provides a solution to the problem of safe region formation control with reference velocity tracking for a second-order multi-agent system without velocity measurements. Safe region formation control is a control problem where the agents are expected to attain the desired formation while reaching the target region and simultaneously ensuring collision and obstacle avoidance. To tackle this control problem, we break it down into two distinct objectives: safety and region formation control, to provide a completely distributed algorithm. Region formation control is modeled as a high-le","authors_text":"Ayush Rai, Shaoshuai Mou","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2023-10-14T23:39:24Z","title":"Safe Region Multi-Agent Formation Control With Velocity Tracking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.09681","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f3dc6a3d1445f7d56213faf310789170f5b811e06a999ff53b1fd22ae20edd67","target":"record","created_at":"2026-07-05T07:01:09Z","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":"224dd227c043d675658a29a461e73827319e745d4d35c877a876eb9c76f80d4a","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2023-10-14T23:39:24Z","title_canon_sha256":"417e1b190552c434191eb1318de5c467d1f64019c4ad2e84cab1aec16777e20a"},"schema_version":"1.0","source":{"id":"2310.09681","kind":"arxiv","version":1}},"canonical_sha256":"09c53ad5b6a5b38058b77dc698c1c0de59bb12eac16bffbcadc7883229b06b2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09c53ad5b6a5b38058b77dc698c1c0de59bb12eac16bffbcadc7883229b06b2f","first_computed_at":"2026-07-05T07:01:09.622067Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:01:09.622067Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gBHfIK0l2GE5Amlbjhei11N3foqPx3tl17inypCB0V+VESRT9jP/m2SfqyWCoJGQx1D2YQ8eW7myOGzJZa9uCg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:01:09.622647Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.09681","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3dc6a3d1445f7d56213faf310789170f5b811e06a999ff53b1fd22ae20edd67","sha256:8dfd371d7561c70a49b5d1a4142927ff54551ea80ad48e6edee6b85ad404c18f"],"state_sha256":"167e7780d1151008a26ba2fad5c141bd3299be136c4e3cfbfd46ab2de7158ec2"}