{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:APTKNDGUXSNCMUG2HR6FEUKBD6","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":"65b1ef37b0895d45413f70fd868e29c77122be08c22ecb7e1e931deaaab709ae","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-02-17T09:16:58Z","title_canon_sha256":"275e1a23e7241aa29f4beaf94666930ea1eedf5bedf3bffade25a0835cf1a210"},"schema_version":"1.0","source":{"id":"2502.11584","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.11584","created_at":"2026-07-05T10:15:31Z"},{"alias_kind":"arxiv_version","alias_value":"2502.11584v1","created_at":"2026-07-05T10:15:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.11584","created_at":"2026-07-05T10:15:31Z"},{"alias_kind":"pith_short_12","alias_value":"APTKNDGUXSNC","created_at":"2026-07-05T10:15:31Z"},{"alias_kind":"pith_short_16","alias_value":"APTKNDGUXSNCMUG2","created_at":"2026-07-05T10:15:31Z"},{"alias_kind":"pith_short_8","alias_value":"APTKNDGU","created_at":"2026-07-05T10:15:31Z"}],"graph_snapshots":[{"event_id":"sha256:13e6f74d814253b0edf4f6ea80c6a31dffb0302761f180ba7b242a0a74c03022","target":"graph","created_at":"2026-07-05T10:15:31Z","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/2502.11584/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some specified properties are satisfied over the executions of the system. Hence, there is recent interest in the RE of CPS. However, existing methods are not designed to tackle specifications suitable for the hybrid dynamics of CPS. With this in mind, we develop runtime enforcement of CPS using properties defined in Signal Temporal Logic (STL).\n  In this work, we aim to construct a runtime enforcer for a given STL formula","authors_text":"Han Su, Naijun Zhan, Partha S. Roop, Saumya Shankar, Srinivas Pinisetty","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-02-17T09:16:58Z","title":"Runtime Enforcement of CPS against Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.11584","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:33902c3be6029b092e3929c2481b89c84a4d57142817114fd195479802142a1f","target":"record","created_at":"2026-07-05T10:15:31Z","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":"65b1ef37b0895d45413f70fd868e29c77122be08c22ecb7e1e931deaaab709ae","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-02-17T09:16:58Z","title_canon_sha256":"275e1a23e7241aa29f4beaf94666930ea1eedf5bedf3bffade25a0835cf1a210"},"schema_version":"1.0","source":{"id":"2502.11584","kind":"arxiv","version":1}},"canonical_sha256":"03e6a68cd4bc9a2650da3c7c5251411f828fe2c90e19564f35ab385d3d75d276","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"03e6a68cd4bc9a2650da3c7c5251411f828fe2c90e19564f35ab385d3d75d276","first_computed_at":"2026-07-05T10:15:31.125904Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:15:31.125904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FsI6GZRJ++B+VGfV/fM+X1Anv/7tE+Fbv3ZeMSgOk/auxoc3kqaH5OJNFyq0BbibYFIWK4BDlGH9iOGtbAB0BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:15:31.126437Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.11584","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:33902c3be6029b092e3929c2481b89c84a4d57142817114fd195479802142a1f","sha256:13e6f74d814253b0edf4f6ea80c6a31dffb0302761f180ba7b242a0a74c03022"],"state_sha256":"aeba1739de68f12f4d73f8b54155cca596c19db6cee335b120886b337e53dafd"}