{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:DGOMSO66GDCF33HEGAF6264LIA","short_pith_number":"pith:DGOMSO66","canonical_record":{"source":{"id":"2008.04080","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-08-10T12:53:56Z","cross_cats_sorted":["cs.FL","cs.SE","cs.SY"],"title_canon_sha256":"247e6ba77db1d8eb674dd5b00132954e4ce1f0a79b0a21ea5b0c29629f65d0a6","abstract_canon_sha256":"ed9f55cd29f8e19a3a781adc0f3566a85a34dbd13dd8f1bbf3bd6906e2045e08"},"schema_version":"1.0"},"canonical_sha256":"199cc93bde30c45dece4300bed7b8b4025d3a69613ada023a5d73a21dcd0af19","source":{"kind":"arxiv","id":"2008.04080","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2008.04080","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"2008.04080v2","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2008.04080","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"DGOMSO66GDCF","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"pith_short_16","alias_value":"DGOMSO66GDCF33HE","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"pith_short_8","alias_value":"DGOMSO66","created_at":"2026-07-05T01:40:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:DGOMSO66GDCF33HEGAF6264LIA","target":"record","payload":{"canonical_record":{"source":{"id":"2008.04080","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-08-10T12:53:56Z","cross_cats_sorted":["cs.FL","cs.SE","cs.SY"],"title_canon_sha256":"247e6ba77db1d8eb674dd5b00132954e4ce1f0a79b0a21ea5b0c29629f65d0a6","abstract_canon_sha256":"ed9f55cd29f8e19a3a781adc0f3566a85a34dbd13dd8f1bbf3bd6906e2045e08"},"schema_version":"1.0"},"canonical_sha256":"199cc93bde30c45dece4300bed7b8b4025d3a69613ada023a5d73a21dcd0af19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:40:00.365333Z","signature_b64":"V4AWQgx8LUpeUuQ+8a5vEeoVKYa91jy0ZuM/j3Yy17+6FePntbQG4PawyvVLkaCOOHa1wmlNgv9YomyuGK8ABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"199cc93bde30c45dece4300bed7b8b4025d3a69613ada023a5d73a21dcd0af19","last_reissued_at":"2026-07-05T01:40:00.364858Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:40:00.364858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2008.04080","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rBnCEZft7sgyWQAFhkSuWSN7mOi/eCREJ3VV2X84yfUsAwXdx3lFSlKgPSKv1ndBKQyY64C+w9G0rrW8QQJNBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T09:36:40.540474Z"},"content_sha256":"0eab041c29574d2efb8f9aec2569b7fd77c34dfd4955f4d59716c6c6c1ddf476","schema_version":"1.0","event_id":"sha256:0eab041c29574d2efb8f9aec2569b7fd77c34dfd4955f4d59716c6c6c1ddf476"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:DGOMSO66GDCF33HEGAF6264LIA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safe and efficient collision avoidance control for autonomous vehicles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SE","cs.SY"],"primary_cat":"eess.SY","authors_text":"Dachuan Li, Joseph Sifakis, Qiang Wang","submitted_at":"2020-08-10T12:53:56Z","abstract_excerpt":"We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled vehicle's dynamics and of its environment. Vehicle dynamics is characterized by pre-computed functions for accelerating and braking to a given speed. Environment is modeled by a function of time giving the free distance ahead of the controlled vehicle under the assumption that the obstacles are either fixed or are moving in the same direction. The main result is a control policy enforcing the vehicle's speed so as t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2008.04080","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2008.04080/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q/GE+qsOc0s6MkfELNVU+vjyv4VI6ffEy7lDAVAlP7NNuPVFcl09YirH/w3Vg50wVPYncidUHj5lBGm1RfyrBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T09:36:40.540981Z"},"content_sha256":"d294274832e96bacbece4e7204ffc0c78e1c3aa9fec9edff2c6bb3f6c9bdaf74","schema_version":"1.0","event_id":"sha256:d294274832e96bacbece4e7204ffc0c78e1c3aa9fec9edff2c6bb3f6c9bdaf74"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DGOMSO66GDCF33HEGAF6264LIA/bundle.json","state_url":"https://pith.science/pith/DGOMSO66GDCF33HEGAF6264LIA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DGOMSO66GDCF33HEGAF6264LIA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-17T09:36:40Z","links":{"resolver":"https://pith.science/pith/DGOMSO66GDCF33HEGAF6264LIA","bundle":"https://pith.science/pith/DGOMSO66GDCF33HEGAF6264LIA/bundle.json","state":"https://pith.science/pith/DGOMSO66GDCF33HEGAF6264LIA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DGOMSO66GDCF33HEGAF6264LIA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:DGOMSO66GDCF33HEGAF6264LIA","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":"ed9f55cd29f8e19a3a781adc0f3566a85a34dbd13dd8f1bbf3bd6906e2045e08","cross_cats_sorted":["cs.FL","cs.SE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-08-10T12:53:56Z","title_canon_sha256":"247e6ba77db1d8eb674dd5b00132954e4ce1f0a79b0a21ea5b0c29629f65d0a6"},"schema_version":"1.0","source":{"id":"2008.04080","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2008.04080","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"2008.04080v2","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2008.04080","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"DGOMSO66GDCF","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"pith_short_16","alias_value":"DGOMSO66GDCF33HE","created_at":"2026-07-05T01:40:00Z"},{"alias_kind":"pith_short_8","alias_value":"DGOMSO66","created_at":"2026-07-05T01:40:00Z"}],"graph_snapshots":[{"event_id":"sha256:d294274832e96bacbece4e7204ffc0c78e1c3aa9fec9edff2c6bb3f6c9bdaf74","target":"graph","created_at":"2026-07-05T01:40:00Z","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/2008.04080/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled vehicle's dynamics and of its environment. Vehicle dynamics is characterized by pre-computed functions for accelerating and braking to a given speed. Environment is modeled by a function of time giving the free distance ahead of the controlled vehicle under the assumption that the obstacles are either fixed or are moving in the same direction. The main result is a control policy enforcing the vehicle's speed so as t","authors_text":"Dachuan Li, Joseph Sifakis, Qiang Wang","cross_cats":["cs.FL","cs.SE","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-08-10T12:53:56Z","title":"Safe and efficient collision avoidance control for autonomous vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2008.04080","kind":"arxiv","version":2},"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:0eab041c29574d2efb8f9aec2569b7fd77c34dfd4955f4d59716c6c6c1ddf476","target":"record","created_at":"2026-07-05T01:40:00Z","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":"ed9f55cd29f8e19a3a781adc0f3566a85a34dbd13dd8f1bbf3bd6906e2045e08","cross_cats_sorted":["cs.FL","cs.SE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-08-10T12:53:56Z","title_canon_sha256":"247e6ba77db1d8eb674dd5b00132954e4ce1f0a79b0a21ea5b0c29629f65d0a6"},"schema_version":"1.0","source":{"id":"2008.04080","kind":"arxiv","version":2}},"canonical_sha256":"199cc93bde30c45dece4300bed7b8b4025d3a69613ada023a5d73a21dcd0af19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"199cc93bde30c45dece4300bed7b8b4025d3a69613ada023a5d73a21dcd0af19","first_computed_at":"2026-07-05T01:40:00.364858Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:40:00.364858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V4AWQgx8LUpeUuQ+8a5vEeoVKYa91jy0ZuM/j3Yy17+6FePntbQG4PawyvVLkaCOOHa1wmlNgv9YomyuGK8ABg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:40:00.365333Z","signed_message":"canonical_sha256_bytes"},"source_id":"2008.04080","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0eab041c29574d2efb8f9aec2569b7fd77c34dfd4955f4d59716c6c6c1ddf476","sha256:d294274832e96bacbece4e7204ffc0c78e1c3aa9fec9edff2c6bb3f6c9bdaf74"],"state_sha256":"d06b30919e14e6d2fa2638790efc2947a6de6bf2e6eec98797ffce05036234ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q6qETrW/tF7LDXKq9RlDOcw4mETkt4Yvl0k9x2x/TAz8J7KtLhNESEHEIRlkfbVvuBjsjNWVUgd0wRyf95eVAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T09:36:40.545749Z","bundle_sha256":"49838cc8f5fecfbef25eadabfc31d0ae2ccdeb01b731e1ea12828d3191edd888"}}