{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:52KZRIT5CFJV25TEKR4VHMKIJX","short_pith_number":"pith:52KZRIT5","canonical_record":{"source":{"id":"1609.07501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-23T20:08:34Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"2b8c26c84633f868f6896f73ad71e2ddf20a472c8fead73fcc8b4f5983d5ddb9","abstract_canon_sha256":"65e18cea221dd26b8f04ca73adafe6b68810a9ca373838f9c8dca9fb72a7d5c2"},"schema_version":"1.0"},"canonical_sha256":"ee9598a27d11535d7664547953b1484de8ff7350048c4817c0585fe62e980fe3","source":{"kind":"arxiv","id":"1609.07501","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07501","created_at":"2026-05-18T01:03:56Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07501v1","created_at":"2026-05-18T01:03:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07501","created_at":"2026-05-18T01:03:56Z"},{"alias_kind":"pith_short_12","alias_value":"52KZRIT5CFJV","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"52KZRIT5CFJV25TE","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"52KZRIT5","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:52KZRIT5CFJV25TEKR4VHMKIJX","target":"record","payload":{"canonical_record":{"source":{"id":"1609.07501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-23T20:08:34Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"2b8c26c84633f868f6896f73ad71e2ddf20a472c8fead73fcc8b4f5983d5ddb9","abstract_canon_sha256":"65e18cea221dd26b8f04ca73adafe6b68810a9ca373838f9c8dca9fb72a7d5c2"},"schema_version":"1.0"},"canonical_sha256":"ee9598a27d11535d7664547953b1484de8ff7350048c4817c0585fe62e980fe3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:56.199527Z","signature_b64":"+OkSIfiRezCT+srJcfgYnMhdzQ9zbuxyL4ggpXAu8gh6wbdh+EKwFs2iEfB8E1tRTwWn8G78UcgjKl3WL1iiDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee9598a27d11535d7664547953b1484de8ff7350048c4817c0585fe62e980fe3","last_reissued_at":"2026-05-18T01:03:56.198981Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:56.198981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.07501","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-05-18T01:03:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UqCuPArmImyLCPv+PsSXy2tk7wo+l9ZKoyr9b3YG1JWpPdxuPH9lgCTDEZtjV7AKM9EewfYdP8Y0MnM9cP5ODQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:37:34.768618Z"},"content_sha256":"96ab2fcf5af94f4b278e85dbce7a75e18de051f132c63bcd9116b4658a6893e0","schema_version":"1.0","event_id":"sha256:96ab2fcf5af94f4b278e85dbce7a75e18de051f132c63bcd9116b4658a6893e0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:52KZRIT5CFJV25TEKR4VHMKIJX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.SY","authors_text":"Hai Lin, Rafael Rodrigues da Silva","submitted_at":"2016-09-23T20:08:34Z","abstract_excerpt":"Cooperative adaptive cruise control(CACC) system provides a great promise to significantly reduce traffic congestion while maintaining a high level of safety. Recent years have seen an increase of using formal methods in the analysis and design of cooperative adaptive cruise control systems. However, most existing results using formal methods usually assumed an ideal inter-vehicle communication, which is far from the real world situation. Hence, we are motivated to close the gap by explicitly considering non-deterministic time delay and packet dropout due to unreliable inter-vehicle communicat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07501","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":""},"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-05-18T01:03:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GLP+KSKTFL+F/IKBwxJPRR4BOqFUgzunbLXMYAMnAnFDTCC6y3DbA14QKAjwz+NuihOd8r7F4nbnabaO2pykBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:37:34.769277Z"},"content_sha256":"3f986e7bd62c8b8515beba03d0c2d1ab3bf65d859eb75a6f7185bdbfe9f0b411","schema_version":"1.0","event_id":"sha256:3f986e7bd62c8b8515beba03d0c2d1ab3bf65d859eb75a6f7185bdbfe9f0b411"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/52KZRIT5CFJV25TEKR4VHMKIJX/bundle.json","state_url":"https://pith.science/pith/52KZRIT5CFJV25TEKR4VHMKIJX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/52KZRIT5CFJV25TEKR4VHMKIJX/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-06-10T11:37:34Z","links":{"resolver":"https://pith.science/pith/52KZRIT5CFJV25TEKR4VHMKIJX","bundle":"https://pith.science/pith/52KZRIT5CFJV25TEKR4VHMKIJX/bundle.json","state":"https://pith.science/pith/52KZRIT5CFJV25TEKR4VHMKIJX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/52KZRIT5CFJV25TEKR4VHMKIJX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:52KZRIT5CFJV25TEKR4VHMKIJX","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":"65e18cea221dd26b8f04ca73adafe6b68810a9ca373838f9c8dca9fb72a7d5c2","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-23T20:08:34Z","title_canon_sha256":"2b8c26c84633f868f6896f73ad71e2ddf20a472c8fead73fcc8b4f5983d5ddb9"},"schema_version":"1.0","source":{"id":"1609.07501","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07501","created_at":"2026-05-18T01:03:56Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07501v1","created_at":"2026-05-18T01:03:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07501","created_at":"2026-05-18T01:03:56Z"},{"alias_kind":"pith_short_12","alias_value":"52KZRIT5CFJV","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"52KZRIT5CFJV25TE","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"52KZRIT5","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:3f986e7bd62c8b8515beba03d0c2d1ab3bf65d859eb75a6f7185bdbfe9f0b411","target":"graph","created_at":"2026-05-18T01:03:56Z","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":"Cooperative adaptive cruise control(CACC) system provides a great promise to significantly reduce traffic congestion while maintaining a high level of safety. Recent years have seen an increase of using formal methods in the analysis and design of cooperative adaptive cruise control systems. However, most existing results using formal methods usually assumed an ideal inter-vehicle communication, which is far from the real world situation. Hence, we are motivated to close the gap by explicitly considering non-deterministic time delay and packet dropout due to unreliable inter-vehicle communicat","authors_text":"Hai Lin, Rafael Rodrigues da Silva","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-23T20:08:34Z","title":"Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07501","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:96ab2fcf5af94f4b278e85dbce7a75e18de051f132c63bcd9116b4658a6893e0","target":"record","created_at":"2026-05-18T01:03:56Z","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":"65e18cea221dd26b8f04ca73adafe6b68810a9ca373838f9c8dca9fb72a7d5c2","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-23T20:08:34Z","title_canon_sha256":"2b8c26c84633f868f6896f73ad71e2ddf20a472c8fead73fcc8b4f5983d5ddb9"},"schema_version":"1.0","source":{"id":"1609.07501","kind":"arxiv","version":1}},"canonical_sha256":"ee9598a27d11535d7664547953b1484de8ff7350048c4817c0585fe62e980fe3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee9598a27d11535d7664547953b1484de8ff7350048c4817c0585fe62e980fe3","first_computed_at":"2026-05-18T01:03:56.198981Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:56.198981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+OkSIfiRezCT+srJcfgYnMhdzQ9zbuxyL4ggpXAu8gh6wbdh+EKwFs2iEfB8E1tRTwWn8G78UcgjKl3WL1iiDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:56.199527Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.07501","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96ab2fcf5af94f4b278e85dbce7a75e18de051f132c63bcd9116b4658a6893e0","sha256:3f986e7bd62c8b8515beba03d0c2d1ab3bf65d859eb75a6f7185bdbfe9f0b411"],"state_sha256":"bab33cd8c84cae2ff514d11cbe7b0feeae80c50c87eb18785562fce16d4ea0cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TuwrZ45pcVRvycvKx6icr/fGXVPBUXSCyjLCG+aOXJVzgWt3e2nZdRZvdvd0Qg28snMcM3YtdDutlcrvhofLCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T11:37:34.772977Z","bundle_sha256":"97cdba5af400b5b686ddf22abb8cff466809001cef4ec2fd7aaaa7c351188f48"}}