{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TQT6KLDQED3TLNTLORZO6RX2CH","short_pith_number":"pith:TQT6KLDQ","canonical_record":{"source":{"id":"1908.05402","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-15T03:28:16Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"9d375b994864e6c31f064065ec78694892d69ad644d83700e23bf529c60fe85a","abstract_canon_sha256":"25c11a3b2e09b122f55ec3f96bdfc41ef5af9123de939532b68f4820ff945614"},"schema_version":"1.0"},"canonical_sha256":"9c27e52c7020f735b66b7472ef46fa11dc3e27228237a069a5a596c4cc33417f","source":{"kind":"arxiv","id":"1908.05402","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05402","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05402v1","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05402","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"pith_short_12","alias_value":"TQT6KLDQED3T","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"pith_short_16","alias_value":"TQT6KLDQED3TLNTL","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"pith_short_8","alias_value":"TQT6KLDQ","created_at":"2026-07-04T23:56:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TQT6KLDQED3TLNTLORZO6RX2CH","target":"record","payload":{"canonical_record":{"source":{"id":"1908.05402","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-15T03:28:16Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"9d375b994864e6c31f064065ec78694892d69ad644d83700e23bf529c60fe85a","abstract_canon_sha256":"25c11a3b2e09b122f55ec3f96bdfc41ef5af9123de939532b68f4820ff945614"},"schema_version":"1.0"},"canonical_sha256":"9c27e52c7020f735b66b7472ef46fa11dc3e27228237a069a5a596c4cc33417f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:56:51.131905Z","signature_b64":"br1t6s46DhwFU1DHfi3Bf2Pvdc0FyehyUe/Sgwl6IXTUXfS0bj5miJ6Q5jhVphFHTnc9Kjc6uvBD40ElZ+7qBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c27e52c7020f735b66b7472ef46fa11dc3e27228237a069a5a596c4cc33417f","last_reissued_at":"2026-07-04T23:56:51.131433Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:56:51.131433Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.05402","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-04T23:56:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AOTofLHKy1NKmJ8MlaSMCYxalDJLyPVwZPkJ1YeEbTeXDqNzEcfmQcx2aaEfF/9GEfzPqzLinU1bTZliB2t4CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T08:13:14.963254Z"},"content_sha256":"cf16860a22c39dd52b463f220f79d11e113b371c887dc33a066d4a761982b0ab","schema_version":"1.0","event_id":"sha256:cf16860a22c39dd52b463f220f79d11e113b371c887dc33a066d4a761982b0ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TQT6KLDQED3TLNTLORZO6RX2CH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"cs.LO","authors_text":"Chao Wang, Jingbo Wang, Jyotirmoy Deshmukh, Meng Wu","submitted_at":"2019-08-15T03:28:16Z","abstract_excerpt":"Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-valued signals by synthesizing a runtime enforcer called the shield. Whenever the system violates a property, the shield, composed with the system, makes correction instantaneously to ensure that no erroneous output is generated by the combined system. While techniques for synthesizing Boolean shields are well understood, they do not handle real-valued signals ubiquitous in cyber-physical systems, meaning corrections m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05402","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/1908.05402/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-04T23:56:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fs9VrMgur/cjCaHks4VGG3g3aVgkiuDNk9d9YX1lY6BTWzj9ZgGqT0wqqch5IwIfbwAZ1PqzjeRRL+fopWW/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T08:13:14.963687Z"},"content_sha256":"5f94a38bf97d62e8e7c1f5094332a3b0a4438415d97359f4297ebd40385359ec","schema_version":"1.0","event_id":"sha256:5f94a38bf97d62e8e7c1f5094332a3b0a4438415d97359f4297ebd40385359ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TQT6KLDQED3TLNTLORZO6RX2CH/bundle.json","state_url":"https://pith.science/pith/TQT6KLDQED3TLNTLORZO6RX2CH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TQT6KLDQED3TLNTLORZO6RX2CH/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-20T08:13:14Z","links":{"resolver":"https://pith.science/pith/TQT6KLDQED3TLNTLORZO6RX2CH","bundle":"https://pith.science/pith/TQT6KLDQED3TLNTLORZO6RX2CH/bundle.json","state":"https://pith.science/pith/TQT6KLDQED3TLNTLORZO6RX2CH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TQT6KLDQED3TLNTLORZO6RX2CH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TQT6KLDQED3TLNTLORZO6RX2CH","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":"25c11a3b2e09b122f55ec3f96bdfc41ef5af9123de939532b68f4820ff945614","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-15T03:28:16Z","title_canon_sha256":"9d375b994864e6c31f064065ec78694892d69ad644d83700e23bf529c60fe85a"},"schema_version":"1.0","source":{"id":"1908.05402","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.05402","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"arxiv_version","alias_value":"1908.05402v1","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05402","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"pith_short_12","alias_value":"TQT6KLDQED3T","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"pith_short_16","alias_value":"TQT6KLDQED3TLNTL","created_at":"2026-07-04T23:56:51Z"},{"alias_kind":"pith_short_8","alias_value":"TQT6KLDQ","created_at":"2026-07-04T23:56:51Z"}],"graph_snapshots":[{"event_id":"sha256:5f94a38bf97d62e8e7c1f5094332a3b0a4438415d97359f4297ebd40385359ec","target":"graph","created_at":"2026-07-04T23:56:51Z","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/1908.05402/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-valued signals by synthesizing a runtime enforcer called the shield. Whenever the system violates a property, the shield, composed with the system, makes correction instantaneously to ensure that no erroneous output is generated by the combined system. While techniques for synthesizing Boolean shields are well understood, they do not handle real-valued signals ubiquitous in cyber-physical systems, meaning corrections m","authors_text":"Chao Wang, Jingbo Wang, Jyotirmoy Deshmukh, Meng Wu","cross_cats":["cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-15T03:28:16Z","title":"Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05402","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:cf16860a22c39dd52b463f220f79d11e113b371c887dc33a066d4a761982b0ab","target":"record","created_at":"2026-07-04T23:56:51Z","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":"25c11a3b2e09b122f55ec3f96bdfc41ef5af9123de939532b68f4820ff945614","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-15T03:28:16Z","title_canon_sha256":"9d375b994864e6c31f064065ec78694892d69ad644d83700e23bf529c60fe85a"},"schema_version":"1.0","source":{"id":"1908.05402","kind":"arxiv","version":1}},"canonical_sha256":"9c27e52c7020f735b66b7472ef46fa11dc3e27228237a069a5a596c4cc33417f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c27e52c7020f735b66b7472ef46fa11dc3e27228237a069a5a596c4cc33417f","first_computed_at":"2026-07-04T23:56:51.131433Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:56:51.131433Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"br1t6s46DhwFU1DHfi3Bf2Pvdc0FyehyUe/Sgwl6IXTUXfS0bj5miJ6Q5jhVphFHTnc9Kjc6uvBD40ElZ+7qBg==","signature_status":"signed_v1","signed_at":"2026-07-04T23:56:51.131905Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.05402","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf16860a22c39dd52b463f220f79d11e113b371c887dc33a066d4a761982b0ab","sha256:5f94a38bf97d62e8e7c1f5094332a3b0a4438415d97359f4297ebd40385359ec"],"state_sha256":"6cbc60d53d2a4935d26c35d5cd89792c0db574c94ee44321282aae83d4cf4256"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"twRWC6W44o4dx7+XFt2O0OAz4xG6x6ktJZ8YOaHxpntH0UL494xR2m+5hxreUdSdBV2WFVLG6wvbwLZ9aG0QAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-20T08:13:14.966106Z","bundle_sha256":"cd9711411f236efe97e69a2ef0d38d5a10d4fda00897b57a86266e649579dcbc"}}