{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MGDECXP3SIN6FPPZQFSZL4IWDA","short_pith_number":"pith:MGDECXP3","canonical_record":{"source":{"id":"2310.06553","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-10T11:57:45Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"e4ea73f9a600dc7a9534ddbea51fff02fd155ff1b0f9886c896cd17bc3d18e1c","abstract_canon_sha256":"ba6e46d6b910fd866c047a92eacbfe979129414e055dc17502f849c0952e8c11"},"schema_version":"1.0"},"canonical_sha256":"6186415dfb921be2bdf9816595f1161812d468b4b696f99341201c1f0f340df1","source":{"kind":"arxiv","id":"2310.06553","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.06553","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"arxiv_version","alias_value":"2310.06553v1","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.06553","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"pith_short_12","alias_value":"MGDECXP3SIN6","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"pith_short_16","alias_value":"MGDECXP3SIN6FPPZ","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"pith_short_8","alias_value":"MGDECXP3","created_at":"2026-07-05T06:59:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MGDECXP3SIN6FPPZQFSZL4IWDA","target":"record","payload":{"canonical_record":{"source":{"id":"2310.06553","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-10T11:57:45Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"e4ea73f9a600dc7a9534ddbea51fff02fd155ff1b0f9886c896cd17bc3d18e1c","abstract_canon_sha256":"ba6e46d6b910fd866c047a92eacbfe979129414e055dc17502f849c0952e8c11"},"schema_version":"1.0"},"canonical_sha256":"6186415dfb921be2bdf9816595f1161812d468b4b696f99341201c1f0f340df1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:59:13.140794Z","signature_b64":"Dny64gslreX7KYXW8zBnwkvT6NKpPsA/xEqeRBL9vkEnGeaThH8ffGICEebrTr8+z0AMl0CzVNyoociUXh+eDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6186415dfb921be2bdf9816595f1161812d468b4b696f99341201c1f0f340df1","last_reissued_at":"2026-07-05T06:59:13.140390Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:59:13.140390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.06553","source_version":1,"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-05T06:59:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fdLV2dDWnnLxlaLuBvPDDgibQsoRnvFOIXk+/dyZOgFRxR6h/kilEG+PQLR+oJ2nF+lsIkDwdNX5F+hWDbBAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:48:47.607114Z"},"content_sha256":"5f162a469a12938c38b923181ef36da88bd09de00efa3be9abec353af05d4cf7","schema_version":"1.0","event_id":"sha256:5f162a469a12938c38b923181ef36da88bd09de00efa3be9abec353af05d4cf7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MGDECXP3SIN6FPPZQFSZL4IWDA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Dingran Yuan, Shaoyuan Li, Xiang Yin, Xinyi Yu","submitted_at":"2023-10-10T11:57:45Z","abstract_excerpt":"Ensuring safety for vehicle overtaking systems is one of the most fundamental and challenging tasks in autonomous driving. This task is particularly intricate when the vehicle must not only overtake its front vehicle safely but also consider the presence of potential opposing vehicles in the opposite lane that it will temporarily occupy. In order to tackle the overtaking task in such challenging scenarios, we introduce a novel integrated framework tailored for vehicle overtaking maneuvers. Our approach integrates the theories of varying-level control barrier functions (CBF) and time-optimal mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.06553","kind":"arxiv","version":1},"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/2310.06553/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-05T06:59:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3StItqJ0IGjc2b+bcHR84IZhVVlJcYJDb9wAyVZx04P6AIXdPQgASINSX7FBxTZ57dRRqWpokahpIK9hqJRbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:48:47.607497Z"},"content_sha256":"ed69d64a0ac2d271fdae72009dea227d540c11abfe9b80786f157e5c366d2a2e","schema_version":"1.0","event_id":"sha256:ed69d64a0ac2d271fdae72009dea227d540c11abfe9b80786f157e5c366d2a2e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MGDECXP3SIN6FPPZQFSZL4IWDA/bundle.json","state_url":"https://pith.science/pith/MGDECXP3SIN6FPPZQFSZL4IWDA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MGDECXP3SIN6FPPZQFSZL4IWDA/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-07-06T15:48:47Z","links":{"resolver":"https://pith.science/pith/MGDECXP3SIN6FPPZQFSZL4IWDA","bundle":"https://pith.science/pith/MGDECXP3SIN6FPPZQFSZL4IWDA/bundle.json","state":"https://pith.science/pith/MGDECXP3SIN6FPPZQFSZL4IWDA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MGDECXP3SIN6FPPZQFSZL4IWDA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MGDECXP3SIN6FPPZQFSZL4IWDA","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":"ba6e46d6b910fd866c047a92eacbfe979129414e055dc17502f849c0952e8c11","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-10T11:57:45Z","title_canon_sha256":"e4ea73f9a600dc7a9534ddbea51fff02fd155ff1b0f9886c896cd17bc3d18e1c"},"schema_version":"1.0","source":{"id":"2310.06553","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.06553","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"arxiv_version","alias_value":"2310.06553v1","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.06553","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"pith_short_12","alias_value":"MGDECXP3SIN6","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"pith_short_16","alias_value":"MGDECXP3SIN6FPPZ","created_at":"2026-07-05T06:59:13Z"},{"alias_kind":"pith_short_8","alias_value":"MGDECXP3","created_at":"2026-07-05T06:59:13Z"}],"graph_snapshots":[{"event_id":"sha256:ed69d64a0ac2d271fdae72009dea227d540c11abfe9b80786f157e5c366d2a2e","target":"graph","created_at":"2026-07-05T06:59:13Z","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.06553/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring safety for vehicle overtaking systems is one of the most fundamental and challenging tasks in autonomous driving. This task is particularly intricate when the vehicle must not only overtake its front vehicle safely but also consider the presence of potential opposing vehicles in the opposite lane that it will temporarily occupy. In order to tackle the overtaking task in such challenging scenarios, we introduce a novel integrated framework tailored for vehicle overtaking maneuvers. Our approach integrates the theories of varying-level control barrier functions (CBF) and time-optimal mo","authors_text":"Dingran Yuan, Shaoyuan Li, Xiang Yin, Xinyi Yu","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-10T11:57:45Z","title":"Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.06553","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:5f162a469a12938c38b923181ef36da88bd09de00efa3be9abec353af05d4cf7","target":"record","created_at":"2026-07-05T06:59:13Z","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":"ba6e46d6b910fd866c047a92eacbfe979129414e055dc17502f849c0952e8c11","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-10T11:57:45Z","title_canon_sha256":"e4ea73f9a600dc7a9534ddbea51fff02fd155ff1b0f9886c896cd17bc3d18e1c"},"schema_version":"1.0","source":{"id":"2310.06553","kind":"arxiv","version":1}},"canonical_sha256":"6186415dfb921be2bdf9816595f1161812d468b4b696f99341201c1f0f340df1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6186415dfb921be2bdf9816595f1161812d468b4b696f99341201c1f0f340df1","first_computed_at":"2026-07-05T06:59:13.140390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:59:13.140390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Dny64gslreX7KYXW8zBnwkvT6NKpPsA/xEqeRBL9vkEnGeaThH8ffGICEebrTr8+z0AMl0CzVNyoociUXh+eDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:59:13.140794Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.06553","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f162a469a12938c38b923181ef36da88bd09de00efa3be9abec353af05d4cf7","sha256:ed69d64a0ac2d271fdae72009dea227d540c11abfe9b80786f157e5c366d2a2e"],"state_sha256":"6056978801ccf5ed676c363aa8201403c1e6dbbd639bf798e50f11a946713bd0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8idWgf7761YGbkkbXjY7xJ6jFp/QuU3FAxPbLPzE4dLQh/ptvWwwdsgIU4goxQS8sib/oUalnARswgKXONLhDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T15:48:47.609705Z","bundle_sha256":"64e539d757f2326648c681f6ff083ceec647a0bb732d33f4c485656afca9f145"}}