{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:VDY2DPTBKYRUWAJQKPLHR2WNLH","short_pith_number":"pith:VDY2DPTB","schema_version":"1.0","canonical_sha256":"a8f1a1be6156234b013053d678eacd59cd5ef6b6fc1138fa83b38491a58cb114","source":{"kind":"arxiv","id":"1209.2058","version":2},"attestation_state":"computed","paper":{"title":"Safe and Stabilizing Distributed Multi-Path Cellular Flows","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.MA","cs.SY"],"primary_cat":"cs.RO","authors_text":"Sayan Mitra, Taylor T. Johnson","submitted_at":"2012-09-10T16:45:01Z","abstract_excerpt":"We study the problem of distributed traffic control in the partitioned plane, where the movement of all entities (robots, vehicles, etc.) within each partition (cell) is coupled. Establishing liveness in such systems is challenging, but such analysis will be necessary to apply such distributed traffic control algorithms in applications like coordinating robot swarms and the intelligent highway system. We present a formal model of a distributed traffic control protocol that guarantees minimum separation between entities, even as some cells fail. Once new failures cease occurring, in the case of"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1209.2058","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-09-10T16:45:01Z","cross_cats_sorted":["cs.DC","cs.MA","cs.SY"],"title_canon_sha256":"1f4e3fcadb12f152717d970aef042c2f21919b53ac05a9ba505bb7c66c9bd96b","abstract_canon_sha256":"3c614adc0e3c5cd746a40fab5aabef8f4a0d285847a4337e74c6df2f50fb8ad4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:05.812089Z","signature_b64":"wHkWbU4lHUqLKyT/QSyUgp+qfuiwsc6ggJEBYbH35PzURLpnj0P0WAUUiN2oGF6Bni811pyKm4xNBd2VXWp2AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8f1a1be6156234b013053d678eacd59cd5ef6b6fc1138fa83b38491a58cb114","last_reissued_at":"2026-05-18T02:25:05.811682Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:05.811682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safe and Stabilizing Distributed Multi-Path Cellular Flows","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.MA","cs.SY"],"primary_cat":"cs.RO","authors_text":"Sayan Mitra, Taylor T. Johnson","submitted_at":"2012-09-10T16:45:01Z","abstract_excerpt":"We study the problem of distributed traffic control in the partitioned plane, where the movement of all entities (robots, vehicles, etc.) within each partition (cell) is coupled. Establishing liveness in such systems is challenging, but such analysis will be necessary to apply such distributed traffic control algorithms in applications like coordinating robot swarms and the intelligent highway system. We present a formal model of a distributed traffic control protocol that guarantees minimum separation between entities, even as some cells fail. Once new failures cease occurring, in the case of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.2058","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1209.2058","created_at":"2026-05-18T02:25:05.811740+00:00"},{"alias_kind":"arxiv_version","alias_value":"1209.2058v2","created_at":"2026-05-18T02:25:05.811740+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.2058","created_at":"2026-05-18T02:25:05.811740+00:00"},{"alias_kind":"pith_short_12","alias_value":"VDY2DPTBKYRU","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_16","alias_value":"VDY2DPTBKYRUWAJQ","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_8","alias_value":"VDY2DPTB","created_at":"2026-05-18T12:27:25.539911+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH","json":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH.json","graph_json":"https://pith.science/api/pith-number/VDY2DPTBKYRUWAJQKPLHR2WNLH/graph.json","events_json":"https://pith.science/api/pith-number/VDY2DPTBKYRUWAJQKPLHR2WNLH/events.json","paper":"https://pith.science/paper/VDY2DPTB"},"agent_actions":{"view_html":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH","download_json":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH.json","view_paper":"https://pith.science/paper/VDY2DPTB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1209.2058&json=true","fetch_graph":"https://pith.science/api/pith-number/VDY2DPTBKYRUWAJQKPLHR2WNLH/graph.json","fetch_events":"https://pith.science/api/pith-number/VDY2DPTBKYRUWAJQKPLHR2WNLH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH/action/storage_attestation","attest_author":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH/action/author_attestation","sign_citation":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH/action/citation_signature","submit_replication":"https://pith.science/pith/VDY2DPTBKYRUWAJQKPLHR2WNLH/action/replication_record"}},"created_at":"2026-05-18T02:25:05.811740+00:00","updated_at":"2026-05-18T02:25:05.811740+00:00"}