{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:J4RDTQPLSJ7PRNVJYSA7VU563E","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":"92d1aeab48b1ba98f27a730fd13d89cbc281ddc06bbe90ef2ae298188f10adee","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-22T03:31:26Z","title_canon_sha256":"08587bf92909bcfb818150257d0512e074052b487524ecd1399e256ccc9b4f36"},"schema_version":"1.0","source":{"id":"1609.06807","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.06807","created_at":"2026-05-18T00:44:57Z"},{"alias_kind":"arxiv_version","alias_value":"1609.06807v2","created_at":"2026-05-18T00:44:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06807","created_at":"2026-05-18T00:44:57Z"},{"alias_kind":"pith_short_12","alias_value":"J4RDTQPLSJ7P","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"J4RDTQPLSJ7PRNVJ","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"J4RDTQPL","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:bbff4a2e91e93947d746cb082f5b791116450745d5e89bde3450b37c05a61d50","target":"graph","created_at":"2026-05-18T00:44:57Z","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"},"paper":{"abstract_excerpt":"This paper develops a control approach with correctness guarantees for the simultaneous operation of lane keeping and adaptive cruise control. The safety specifications for these driver assistance modules are expressed in terms of set invariance. Control barrier functions are used to design a family of control solutions that guarantee the forward invariance of a set, which implies satisfaction of the safety specifications. The control barrier functions are synthesized through a combination of sum-of-squares program and physics-based modeling and optimization. A real-time quadratic program is p","authors_text":"Aaron D. Ames, Jessy W. Grizzle, Paulo Tabuada, Xiangru Xu","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-22T03:31:26Z","title":"Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06807","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:2f81b9c07423d71f5c42a914cc15e0d7e075a380d6f44813d63b1479a57d4b05","target":"record","created_at":"2026-05-18T00:44:57Z","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":"92d1aeab48b1ba98f27a730fd13d89cbc281ddc06bbe90ef2ae298188f10adee","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-22T03:31:26Z","title_canon_sha256":"08587bf92909bcfb818150257d0512e074052b487524ecd1399e256ccc9b4f36"},"schema_version":"1.0","source":{"id":"1609.06807","kind":"arxiv","version":2}},"canonical_sha256":"4f2239c1eb927ef8b6a9c481fad3bed90ec1bd5677725ac4533ddb66723d0f38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f2239c1eb927ef8b6a9c481fad3bed90ec1bd5677725ac4533ddb66723d0f38","first_computed_at":"2026-05-18T00:44:57.716363Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:57.716363Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5L/1dYWpVPgJcwfBaBi1ukxiDFsxEvWgwF8JCjuhsQWgyEsss6xVXgKduF3Ym111U9PmOd4f2opHOaHyTZINBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:57.716847Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.06807","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f81b9c07423d71f5c42a914cc15e0d7e075a380d6f44813d63b1479a57d4b05","sha256:bbff4a2e91e93947d746cb082f5b791116450745d5e89bde3450b37c05a61d50"],"state_sha256":"d67176879f3bfe5281f15a00e121ff23472ac490ef4b3294b1c101191703061b"}