{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OUCRUODEAMQKD4AGXIVLHCOCBP","short_pith_number":"pith:OUCRUODE","canonical_record":{"source":{"id":"2405.00136","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-30T18:32:24Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"aaa454677d9c93a9ca8cf9dc16506ed91d4a9c00568ba106559da15e082b6331","abstract_canon_sha256":"3a9da86524f6b57d86e9d29618b8aac74a727dadf5327d0f8b97922fdb77744e"},"schema_version":"1.0"},"canonical_sha256":"75051a38640320a1f006ba2ab389c20bfe0c547d3aa70cd4b45bcb3975581caf","source":{"kind":"arxiv","id":"2405.00136","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00136","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00136v2","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00136","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"pith_short_12","alias_value":"OUCRUODEAMQK","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"pith_short_16","alias_value":"OUCRUODEAMQKD4AG","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"pith_short_8","alias_value":"OUCRUODE","created_at":"2026-07-05T08:15:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OUCRUODEAMQKD4AGXIVLHCOCBP","target":"record","payload":{"canonical_record":{"source":{"id":"2405.00136","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-30T18:32:24Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"aaa454677d9c93a9ca8cf9dc16506ed91d4a9c00568ba106559da15e082b6331","abstract_canon_sha256":"3a9da86524f6b57d86e9d29618b8aac74a727dadf5327d0f8b97922fdb77744e"},"schema_version":"1.0"},"canonical_sha256":"75051a38640320a1f006ba2ab389c20bfe0c547d3aa70cd4b45bcb3975581caf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:15:50.452853Z","signature_b64":"9FeqCCnLHtAYOVQR0Vh6a/gP9HaFczikLvh/JK+igJsPubzE315oNAAo8pP7EOipm1HjxVbpvq3fVDkmsqeSAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75051a38640320a1f006ba2ab389c20bfe0c547d3aa70cd4b45bcb3975581caf","last_reissued_at":"2026-07-05T08:15:50.452372Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:15:50.452372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.00136","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-05T08:15:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nMnQf7LXmC7F34Ai9tmJiAaI6eXVnMzUMwTK9AKMZJ3GXMrvGJWJloQlBbRc++MVAnDgW2I7ykaD3IzLRXEmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T23:36:21.245792Z"},"content_sha256":"79d46be3a18ec3bdf291bfdbb8275da1a4c1b22807d883225e600ccb60715c1c","schema_version":"1.0","event_id":"sha256:79d46be3a18ec3bdf291bfdbb8275da1a4c1b22807d883225e600ccb60715c1c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OUCRUODEAMQKD4AGXIVLHCOCBP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-Driven Permissible Safe Control with Barrier Certificates","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Eric Frew, Frederik Baymler Mathiesen, John Skovbekk, Luca Laurenti, Morteza Lahijanian, Rayan Mazouz","submitted_at":"2024-04-30T18:32:24Z","abstract_excerpt":"This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is learning the dynamics of the system via Gaussian process (GP) regression and obtaining probabilistic errors for this estimate. Then, we develop an algorithm for constructing piecewise stochastic barrier functions to find a maximal permissible strategy set using the learned GP model, which is based on sequentially pruning the worst controls until a maximal set is identified. The permissible strategies are guaranteed t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00136","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/2405.00136/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-05T08:15:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"35z0h2oiLcL/Vxcderfu+M+CMa1TWigpHmWdNkN1HoKwsFhJMpCy7bF0hRMytyFEkuTp6/QOp/EVW6tJ8IlHAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T23:36:21.246594Z"},"content_sha256":"07ff30e9f3112c7597b613e832ecde7cc809e29ae4485a33a6eb24c47315bc3d","schema_version":"1.0","event_id":"sha256:07ff30e9f3112c7597b613e832ecde7cc809e29ae4485a33a6eb24c47315bc3d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OUCRUODEAMQKD4AGXIVLHCOCBP/bundle.json","state_url":"https://pith.science/pith/OUCRUODEAMQKD4AGXIVLHCOCBP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OUCRUODEAMQKD4AGXIVLHCOCBP/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-17T23:36:21Z","links":{"resolver":"https://pith.science/pith/OUCRUODEAMQKD4AGXIVLHCOCBP","bundle":"https://pith.science/pith/OUCRUODEAMQKD4AGXIVLHCOCBP/bundle.json","state":"https://pith.science/pith/OUCRUODEAMQKD4AGXIVLHCOCBP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OUCRUODEAMQKD4AGXIVLHCOCBP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OUCRUODEAMQKD4AGXIVLHCOCBP","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":"3a9da86524f6b57d86e9d29618b8aac74a727dadf5327d0f8b97922fdb77744e","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-30T18:32:24Z","title_canon_sha256":"aaa454677d9c93a9ca8cf9dc16506ed91d4a9c00568ba106559da15e082b6331"},"schema_version":"1.0","source":{"id":"2405.00136","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00136","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00136v2","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00136","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"pith_short_12","alias_value":"OUCRUODEAMQK","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"pith_short_16","alias_value":"OUCRUODEAMQKD4AG","created_at":"2026-07-05T08:15:50Z"},{"alias_kind":"pith_short_8","alias_value":"OUCRUODE","created_at":"2026-07-05T08:15:50Z"}],"graph_snapshots":[{"event_id":"sha256:07ff30e9f3112c7597b613e832ecde7cc809e29ae4485a33a6eb24c47315bc3d","target":"graph","created_at":"2026-07-05T08:15:50Z","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/2405.00136/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is learning the dynamics of the system via Gaussian process (GP) regression and obtaining probabilistic errors for this estimate. Then, we develop an algorithm for constructing piecewise stochastic barrier functions to find a maximal permissible strategy set using the learned GP model, which is based on sequentially pruning the worst controls until a maximal set is identified. The permissible strategies are guaranteed t","authors_text":"Eric Frew, Frederik Baymler Mathiesen, John Skovbekk, Luca Laurenti, Morteza Lahijanian, Rayan Mazouz","cross_cats":["cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-30T18:32:24Z","title":"Data-Driven Permissible Safe Control with Barrier Certificates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00136","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:79d46be3a18ec3bdf291bfdbb8275da1a4c1b22807d883225e600ccb60715c1c","target":"record","created_at":"2026-07-05T08:15:50Z","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":"3a9da86524f6b57d86e9d29618b8aac74a727dadf5327d0f8b97922fdb77744e","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-30T18:32:24Z","title_canon_sha256":"aaa454677d9c93a9ca8cf9dc16506ed91d4a9c00568ba106559da15e082b6331"},"schema_version":"1.0","source":{"id":"2405.00136","kind":"arxiv","version":2}},"canonical_sha256":"75051a38640320a1f006ba2ab389c20bfe0c547d3aa70cd4b45bcb3975581caf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75051a38640320a1f006ba2ab389c20bfe0c547d3aa70cd4b45bcb3975581caf","first_computed_at":"2026-07-05T08:15:50.452372Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:15:50.452372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9FeqCCnLHtAYOVQR0Vh6a/gP9HaFczikLvh/JK+igJsPubzE315oNAAo8pP7EOipm1HjxVbpvq3fVDkmsqeSAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:15:50.452853Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.00136","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79d46be3a18ec3bdf291bfdbb8275da1a4c1b22807d883225e600ccb60715c1c","sha256:07ff30e9f3112c7597b613e832ecde7cc809e29ae4485a33a6eb24c47315bc3d"],"state_sha256":"02a9a9edf242947f93e29f3c08cfd63f945fddf6c66017bfb64c03cef521b2a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xH2rno09d9YwfQ+4BWwNzXIglN21XkqxAdX6SpNbUPYcXpTYg7DR4AcPyghWisAcCRxMo3S3kLRNz4J+HBPjCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T23:36:21.254768Z","bundle_sha256":"f77edfbed790257cfa8e33fe382f88762b705f06c6e35ade9e9a03450bfa3cd7"}}