{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:5QSGB4V54KYWDAI6AIIFGYMOOZ","short_pith_number":"pith:5QSGB4V5","canonical_record":{"source":{"id":"2110.03506","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-10-07T14:43:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5e743ab5dc73ca67cd3897552dce295e7e627773af59e87b490ea77cdc0a7dc4","abstract_canon_sha256":"5647fc6084236fbf6b9d409a0cee9cb9f8a010c920c4985f97660cbcbd90470b"},"schema_version":"1.0"},"canonical_sha256":"ec2460f2bde2b161811e021053618e765beff526c064f6139f19e908352e2137","source":{"kind":"arxiv","id":"2110.03506","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.03506","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"arxiv_version","alias_value":"2110.03506v2","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.03506","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"pith_short_12","alias_value":"5QSGB4V54KYW","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"pith_short_16","alias_value":"5QSGB4V54KYWDAI6","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"pith_short_8","alias_value":"5QSGB4V5","created_at":"2026-07-05T05:54:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:5QSGB4V54KYWDAI6AIIFGYMOOZ","target":"record","payload":{"canonical_record":{"source":{"id":"2110.03506","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-10-07T14:43:54Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5e743ab5dc73ca67cd3897552dce295e7e627773af59e87b490ea77cdc0a7dc4","abstract_canon_sha256":"5647fc6084236fbf6b9d409a0cee9cb9f8a010c920c4985f97660cbcbd90470b"},"schema_version":"1.0"},"canonical_sha256":"ec2460f2bde2b161811e021053618e765beff526c064f6139f19e908352e2137","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:54:53.515291Z","signature_b64":"rtoQFeE1Gzb2/sDe/ex/O1IbZnxvp1r8zy2YHosJknG4uk6lO4nZIlUmjANjPSly45+0E0PHd4aMVlR9n3RBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec2460f2bde2b161811e021053618e765beff526c064f6139f19e908352e2137","last_reissued_at":"2026-07-05T05:54:53.514947Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:54:53.514947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2110.03506","source_version":2,"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-05T05:54:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jWQm8GiRtyjPBJycFyuS7xbWu1qULPljCGF+/U7x7ecl4h2iXBj1Dj1dLpg6vqn9XOWdkYWDTkXvNajO0jESBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:06:34.789975Z"},"content_sha256":"9c5b50ba985d87f977e13f953d13c7994d08f4a83d0fa7d4492876baa2c7361b","schema_version":"1.0","event_id":"sha256:9c5b50ba985d87f977e13f953d13c7994d08f4a83d0fa7d4492876baa2c7361b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:5QSGB4V54KYWDAI6AIIFGYMOOZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Eric Feron, Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan","submitted_at":"2021-10-07T14:43:54Z","abstract_excerpt":"Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a human operator, an advanced control approach, or an autonomous control approach that cannot be verified to the same level as simpler control systems designs. The critical feature of RTA systems is their ability to alter unsafe control inputs explicitly to assure safety. In many cases, RTA systems can functionally be described as containing a monitor that watches the state of the system and output of a primary contro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.03506","kind":"arxiv","version":2},"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/2110.03506/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-05T05:54:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oe/8+eILiBGEQh7xmCqRNSt19He1Tzn0PyuXJNKu1EuD/YNfBvKkzLTpENA6YCcoV1B7B5jCpNmQkeHkHQ9cDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:06:34.790566Z"},"content_sha256":"da5914953c49f6eebcd55a8cb88a4a2999154c93fe289b4be81e5721ed49c733","schema_version":"1.0","event_id":"sha256:da5914953c49f6eebcd55a8cb88a4a2999154c93fe289b4be81e5721ed49c733"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ/bundle.json","state_url":"https://pith.science/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ/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-08-03T16:06:34Z","links":{"resolver":"https://pith.science/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ","bundle":"https://pith.science/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ/bundle.json","state":"https://pith.science/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5QSGB4V54KYWDAI6AIIFGYMOOZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:5QSGB4V54KYWDAI6AIIFGYMOOZ","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":"5647fc6084236fbf6b9d409a0cee9cb9f8a010c920c4985f97660cbcbd90470b","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-10-07T14:43:54Z","title_canon_sha256":"5e743ab5dc73ca67cd3897552dce295e7e627773af59e87b490ea77cdc0a7dc4"},"schema_version":"1.0","source":{"id":"2110.03506","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.03506","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"arxiv_version","alias_value":"2110.03506v2","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.03506","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"pith_short_12","alias_value":"5QSGB4V54KYW","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"pith_short_16","alias_value":"5QSGB4V54KYWDAI6","created_at":"2026-07-05T05:54:53Z"},{"alias_kind":"pith_short_8","alias_value":"5QSGB4V5","created_at":"2026-07-05T05:54:53Z"}],"graph_snapshots":[{"event_id":"sha256:da5914953c49f6eebcd55a8cb88a4a2999154c93fe289b4be81e5721ed49c733","target":"graph","created_at":"2026-07-05T05:54:53Z","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/2110.03506/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a human operator, an advanced control approach, or an autonomous control approach that cannot be verified to the same level as simpler control systems designs. The critical feature of RTA systems is their ability to alter unsafe control inputs explicitly to assure safety. In many cases, RTA systems can functionally be described as containing a monitor that watches the state of the system and output of a primary contro","authors_text":"Eric Feron, Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-10-07T14:43:54Z","title":"Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.03506","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:9c5b50ba985d87f977e13f953d13c7994d08f4a83d0fa7d4492876baa2c7361b","target":"record","created_at":"2026-07-05T05:54:53Z","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":"5647fc6084236fbf6b9d409a0cee9cb9f8a010c920c4985f97660cbcbd90470b","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2021-10-07T14:43:54Z","title_canon_sha256":"5e743ab5dc73ca67cd3897552dce295e7e627773af59e87b490ea77cdc0a7dc4"},"schema_version":"1.0","source":{"id":"2110.03506","kind":"arxiv","version":2}},"canonical_sha256":"ec2460f2bde2b161811e021053618e765beff526c064f6139f19e908352e2137","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec2460f2bde2b161811e021053618e765beff526c064f6139f19e908352e2137","first_computed_at":"2026-07-05T05:54:53.514947Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:54:53.514947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rtoQFeE1Gzb2/sDe/ex/O1IbZnxvp1r8zy2YHosJknG4uk6lO4nZIlUmjANjPSly45+0E0PHd4aMVlR9n3RBAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:54:53.515291Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.03506","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c5b50ba985d87f977e13f953d13c7994d08f4a83d0fa7d4492876baa2c7361b","sha256:da5914953c49f6eebcd55a8cb88a4a2999154c93fe289b4be81e5721ed49c733"],"state_sha256":"ec194e9f5df5a1a3afb20499e026ff9735124f6921625219aab54042778ce9a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HlcWl9ieIG3f+qTZM7mCSWEsTGD7sr2ucyLPnDgYCIcmcx+9NiHEYA7FP4hY9nIAyEC+zYHhcSzMt0uEcgRuAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:06:34.794373Z","bundle_sha256":"8e9c2e9cacc909cb8584cfb8326e45a3d0f61d35a0e22421d04879a7abd1d350"}}