{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:DOLHUJI7IVUDLVBOWIXXJC6FPK","short_pith_number":"pith:DOLHUJI7","schema_version":"1.0","canonical_sha256":"1b967a251f456835d42eb22f748bc57aaf3c2e706f5ce2cf3c5d6c2145781c36","source":{"kind":"arxiv","id":"2309.00074","version":1},"attestation_state":"computed","paper":{"title":"On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY","math.DS"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Gabor Orosz, Tamas G. Molnar","submitted_at":"2023-08-31T18:24:46Z","abstract_excerpt":"Connected automated vehicles have shown great potential to improve the efficiency of transportation systems in terms of passenger comfort, fuel economy, stability of driving behavior and mitigation of traffic congestions. Yet, to deploy these vehicles and leverage their benefits, the underlying algorithms must ensure their safe operation. In this paper, we address the safety of connected cruise control strategies for longitudinal car following using control barrier function (CBF) theory. In particular, we consider various safety measures such as minimum distance, time headway and time to confl"},"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":"2309.00074","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-08-31T18:24:46Z","cross_cats_sorted":["cs.RO","cs.SY","math.DS"],"title_canon_sha256":"6d688ff874e844bf9abc9e1a4c0a37d500fed0f69e718865bb879cce945be07d","abstract_canon_sha256":"f3cbf50d9f209121c7357574c6a2739109daeb8d98e25a93e414df7ed4897a95"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:46:51.849858Z","signature_b64":"gXtpggcPJdDLf973+s6FP68pKAgT0YYQWruZHoZIW3OGGByDj70QSjGkdyopYs0CH/5VJ/166ihv+9oYtiBbCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b967a251f456835d42eb22f748bc57aaf3c2e706f5ce2cf3c5d6c2145781c36","last_reissued_at":"2026-07-05T06:46:51.849439Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:46:51.849439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY","math.DS"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Gabor Orosz, Tamas G. Molnar","submitted_at":"2023-08-31T18:24:46Z","abstract_excerpt":"Connected automated vehicles have shown great potential to improve the efficiency of transportation systems in terms of passenger comfort, fuel economy, stability of driving behavior and mitigation of traffic congestions. Yet, to deploy these vehicles and leverage their benefits, the underlying algorithms must ensure their safe operation. In this paper, we address the safety of connected cruise control strategies for longitudinal car following using control barrier function (CBF) theory. In particular, we consider various safety measures such as minimum distance, time headway and time to confl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.00074","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/2309.00074/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2309.00074","created_at":"2026-07-05T06:46:51.849505+00:00"},{"alias_kind":"arxiv_version","alias_value":"2309.00074v1","created_at":"2026-07-05T06:46:51.849505+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.00074","created_at":"2026-07-05T06:46:51.849505+00:00"},{"alias_kind":"pith_short_12","alias_value":"DOLHUJI7IVUD","created_at":"2026-07-05T06:46:51.849505+00:00"},{"alias_kind":"pith_short_16","alias_value":"DOLHUJI7IVUDLVBO","created_at":"2026-07-05T06:46:51.849505+00:00"},{"alias_kind":"pith_short_8","alias_value":"DOLHUJI7","created_at":"2026-07-05T06:46:51.849505+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/DOLHUJI7IVUDLVBOWIXXJC6FPK","json":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK.json","graph_json":"https://pith.science/api/pith-number/DOLHUJI7IVUDLVBOWIXXJC6FPK/graph.json","events_json":"https://pith.science/api/pith-number/DOLHUJI7IVUDLVBOWIXXJC6FPK/events.json","paper":"https://pith.science/paper/DOLHUJI7"},"agent_actions":{"view_html":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK","download_json":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK.json","view_paper":"https://pith.science/paper/DOLHUJI7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2309.00074&json=true","fetch_graph":"https://pith.science/api/pith-number/DOLHUJI7IVUDLVBOWIXXJC6FPK/graph.json","fetch_events":"https://pith.science/api/pith-number/DOLHUJI7IVUDLVBOWIXXJC6FPK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK/action/storage_attestation","attest_author":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK/action/author_attestation","sign_citation":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK/action/citation_signature","submit_replication":"https://pith.science/pith/DOLHUJI7IVUDLVBOWIXXJC6FPK/action/replication_record"}},"created_at":"2026-07-05T06:46:51.849505+00:00","updated_at":"2026-07-05T06:46:51.849505+00:00"}