{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ADUGCGNUZ4IISSSJVXMQS2I5S7","short_pith_number":"pith:ADUGCGNU","canonical_record":{"source":{"id":"2101.05709","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-01-14T16:33:11Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"494a4d9c16f73a7e5485738f646c7df1cddbc4fcb740f5d2870a7734cc17305b","abstract_canon_sha256":"ab461a4671504d2d5c2b0651d4dd303e5ff900d0f850ec4813d80b4ff6bd881c"},"schema_version":"1.0"},"canonical_sha256":"00e86119b4cf10894a49add909691d97f7b8677ac1173bdacc9ae344081e517a","source":{"kind":"arxiv","id":"2101.05709","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.05709","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"arxiv_version","alias_value":"2101.05709v1","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.05709","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"pith_short_12","alias_value":"ADUGCGNUZ4II","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"pith_short_16","alias_value":"ADUGCGNUZ4IISSSJ","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"pith_short_8","alias_value":"ADUGCGNU","created_at":"2026-07-05T02:06:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ADUGCGNUZ4IISSSJVXMQS2I5S7","target":"record","payload":{"canonical_record":{"source":{"id":"2101.05709","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-01-14T16:33:11Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"494a4d9c16f73a7e5485738f646c7df1cddbc4fcb740f5d2870a7734cc17305b","abstract_canon_sha256":"ab461a4671504d2d5c2b0651d4dd303e5ff900d0f850ec4813d80b4ff6bd881c"},"schema_version":"1.0"},"canonical_sha256":"00e86119b4cf10894a49add909691d97f7b8677ac1173bdacc9ae344081e517a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:06:58.802201Z","signature_b64":"JoEZvzajUu8K2RK39d2VjNkp/kdjK0r86GdL5fiXfDvR7WvBUWQwOmdLTQ4MRWp5riS4uoAzZU4CE3YCnVDxCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00e86119b4cf10894a49add909691d97f7b8677ac1173bdacc9ae344081e517a","last_reissued_at":"2026-07-05T02:06:58.801689Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:06:58.801689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2101.05709","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-05T02:06:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7T/zcjgNqKIaZx11pm3oZzMQJKHBDi4RYGyVVLkK7Iqnal34dICV8Ok8LPmTOd9Gm5LzrYX0Kl3wolWV1F3/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:08:42.817173Z"},"content_sha256":"82c9e13b0a8eb39fb659f5e5f42d35a9190ed867a28cd7250c528f9db874eb58","schema_version":"1.0","event_id":"sha256:82c9e13b0a8eb39fb659f5e5f42d35a9190ed867a28cd7250c528f9db874eb58"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ADUGCGNUZ4IISSSJVXMQS2I5S7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rule-based Optimal Control for Autonomous Driving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Amitai Bin-Nun, Anne Collin, Calin Belta, Emilio Frazzoli, Noushin Mehdipour, Radboud Duintjer Tebbens, Wei Xiao","submitted_at":"2021-01-14T16:33:11Z","abstract_excerpt":"We develop optimal control strategies for Autonomous Vehicles (AVs) that are required to meet complex specifications imposed by traffic laws and cultural expectations of reasonable driving behavior. We formulate these specifications as rules, and specify their priorities by constructing a priority structure. We propose a recursive framework, in which the satisfaction of the rules in the priority structure are iteratively relaxed based on their priorities. Central to this framework is an optimal control problem, where convergence to desired states is achieved using Control Lyapunov Functions (C"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.05709","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/2101.05709/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-05T02:06:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kCyf00rqtab3M+Nj5z8t4SJMpRXE63nwYtWoUsBG1ecgZPli0weMIh5wKUExoQHRGPfnQ4bClMtU0ThnGb/JCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:08:42.817557Z"},"content_sha256":"641d3ce2388be94aa23b9631e559680439b9dd3e2e7cada82eef41e45c7cde36","schema_version":"1.0","event_id":"sha256:641d3ce2388be94aa23b9631e559680439b9dd3e2e7cada82eef41e45c7cde36"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7/bundle.json","state_url":"https://pith.science/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7/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-06T19:08:42Z","links":{"resolver":"https://pith.science/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7","bundle":"https://pith.science/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7/bundle.json","state":"https://pith.science/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ADUGCGNUZ4IISSSJVXMQS2I5S7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ADUGCGNUZ4IISSSJVXMQS2I5S7","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":"ab461a4671504d2d5c2b0651d4dd303e5ff900d0f850ec4813d80b4ff6bd881c","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-01-14T16:33:11Z","title_canon_sha256":"494a4d9c16f73a7e5485738f646c7df1cddbc4fcb740f5d2870a7734cc17305b"},"schema_version":"1.0","source":{"id":"2101.05709","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.05709","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"arxiv_version","alias_value":"2101.05709v1","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.05709","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"pith_short_12","alias_value":"ADUGCGNUZ4II","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"pith_short_16","alias_value":"ADUGCGNUZ4IISSSJ","created_at":"2026-07-05T02:06:58Z"},{"alias_kind":"pith_short_8","alias_value":"ADUGCGNU","created_at":"2026-07-05T02:06:58Z"}],"graph_snapshots":[{"event_id":"sha256:641d3ce2388be94aa23b9631e559680439b9dd3e2e7cada82eef41e45c7cde36","target":"graph","created_at":"2026-07-05T02:06:58Z","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/2101.05709/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop optimal control strategies for Autonomous Vehicles (AVs) that are required to meet complex specifications imposed by traffic laws and cultural expectations of reasonable driving behavior. We formulate these specifications as rules, and specify their priorities by constructing a priority structure. We propose a recursive framework, in which the satisfaction of the rules in the priority structure are iteratively relaxed based on their priorities. Central to this framework is an optimal control problem, where convergence to desired states is achieved using Control Lyapunov Functions (C","authors_text":"Amitai Bin-Nun, Anne Collin, Calin Belta, Emilio Frazzoli, Noushin Mehdipour, Radboud Duintjer Tebbens, Wei Xiao","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-01-14T16:33:11Z","title":"Rule-based Optimal Control for Autonomous Driving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.05709","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:82c9e13b0a8eb39fb659f5e5f42d35a9190ed867a28cd7250c528f9db874eb58","target":"record","created_at":"2026-07-05T02:06:58Z","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":"ab461a4671504d2d5c2b0651d4dd303e5ff900d0f850ec4813d80b4ff6bd881c","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-01-14T16:33:11Z","title_canon_sha256":"494a4d9c16f73a7e5485738f646c7df1cddbc4fcb740f5d2870a7734cc17305b"},"schema_version":"1.0","source":{"id":"2101.05709","kind":"arxiv","version":1}},"canonical_sha256":"00e86119b4cf10894a49add909691d97f7b8677ac1173bdacc9ae344081e517a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00e86119b4cf10894a49add909691d97f7b8677ac1173bdacc9ae344081e517a","first_computed_at":"2026-07-05T02:06:58.801689Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:06:58.801689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JoEZvzajUu8K2RK39d2VjNkp/kdjK0r86GdL5fiXfDvR7WvBUWQwOmdLTQ4MRWp5riS4uoAzZU4CE3YCnVDxCA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:06:58.802201Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.05709","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82c9e13b0a8eb39fb659f5e5f42d35a9190ed867a28cd7250c528f9db874eb58","sha256:641d3ce2388be94aa23b9631e559680439b9dd3e2e7cada82eef41e45c7cde36"],"state_sha256":"dfce92ebff897c87109b7f512544ef42e41279d3729db6a28c44100aa3e081fb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7UmGTGOI3j9qZnZp/DiAHJfIKE1kFAqEZsQ3gqE5JeiNKOs7ApzNF0oUsDucAFYT5D9Ju/YMZAIO0FsCqu8oCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:08:42.819483Z","bundle_sha256":"139e5f97f684f8d2e5e89fca0b6a1f6c22cf2500f1536fd4516ee44d035514f2"}}