{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ZEWQXDBCQHPTUHEDKIIGEH5WAL","short_pith_number":"pith:ZEWQXDBC","canonical_record":{"source":{"id":"2111.10330","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-19T17:22:51Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"8db5c3549eb0a4838893d4ba716f4b6d4baea8bcad6cf0273265803624919e21","abstract_canon_sha256":"d2d2a4a7fc5d69c979a1e364718b467c883d881a1ea3474d02f344b1a912b56d"},"schema_version":"1.0"},"canonical_sha256":"c92d0b8c2281df3a1c835210621fb602f05c2885bf4da58848612a4bbadd25ac","source":{"kind":"arxiv","id":"2111.10330","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.10330","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"arxiv_version","alias_value":"2111.10330v2","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.10330","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"pith_short_12","alias_value":"ZEWQXDBCQHPT","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"pith_short_16","alias_value":"ZEWQXDBCQHPTUHED","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"pith_short_8","alias_value":"ZEWQXDBC","created_at":"2026-07-05T06:49:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ZEWQXDBCQHPTUHEDKIIGEH5WAL","target":"record","payload":{"canonical_record":{"source":{"id":"2111.10330","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-19T17:22:51Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"8db5c3549eb0a4838893d4ba716f4b6d4baea8bcad6cf0273265803624919e21","abstract_canon_sha256":"d2d2a4a7fc5d69c979a1e364718b467c883d881a1ea3474d02f344b1a912b56d"},"schema_version":"1.0"},"canonical_sha256":"c92d0b8c2281df3a1c835210621fb602f05c2885bf4da58848612a4bbadd25ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:49:14.307895Z","signature_b64":"zI2xdZh9NMQUVFIKDGOOrzHepn6W4rsFRwyTNJQz+BR9CE+x7pAA19BHgaevErm6xWAcEfKrDI59G+hWh2FSCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c92d0b8c2281df3a1c835210621fb602f05c2885bf4da58848612a4bbadd25ac","last_reissued_at":"2026-07-05T06:49:14.307424Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:49:14.307424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.10330","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-05T06:49:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1Zn9tnaG+SeFN4TWxxgjcO4t87AzObTHHhm9O6sUWi3IrB/DVw3SIuW8VebdMLvtSHO74Cvwt6oUSKs5UibzCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T20:13:07.411957Z"},"content_sha256":"1f61869ff364a0fd12d0db56b4c5cb6f96fab2e8b3e77610a26909512596e9ba","schema_version":"1.0","event_id":"sha256:1f61869ff364a0fd12d0db56b4c5cb6f96fab2e8b3e77610a26909512596e9ba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ZEWQXDBCQHPTUHEDKIIGEH5WAL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-driven verification and synthesis of stochastic systems via barrier certificates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Abolfazl Lavaei, Ali Salamati, Majid Zamani, Sadegh Soudjani","submitted_at":"2021-11-19T17:22:51Z","abstract_excerpt":"In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier certificates have been successfully applied for ensuring the satisfaction of safety specifications. In this work, we formulate the computation of barrier certificates as a robust convex program (RCP). Solving the acquired RCP is hard in general because the model of the system that appears in one of the constraints of the RCP is unknown. We propose a data-driven approach that replaces the uncountable number of constr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.10330","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/2111.10330/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-05T06:49:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9yq4As9+Qz67mZIAqHPXUHYKo2dZ3hFBYDQBRyohaAfkxWR6udOkQ3qKULw2Ol0ZvBQN4R/hilch5kEzbb7DAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T20:13:07.412777Z"},"content_sha256":"f01ee0a561fa98cf58171934f75b2a72eb956c6a0b303e0e3178bd0b472cc890","schema_version":"1.0","event_id":"sha256:f01ee0a561fa98cf58171934f75b2a72eb956c6a0b303e0e3178bd0b472cc890"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL/bundle.json","state_url":"https://pith.science/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL/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-10T20:13:07Z","links":{"resolver":"https://pith.science/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL","bundle":"https://pith.science/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL/bundle.json","state":"https://pith.science/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZEWQXDBCQHPTUHEDKIIGEH5WAL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ZEWQXDBCQHPTUHEDKIIGEH5WAL","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":"d2d2a4a7fc5d69c979a1e364718b467c883d881a1ea3474d02f344b1a912b56d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-19T17:22:51Z","title_canon_sha256":"8db5c3549eb0a4838893d4ba716f4b6d4baea8bcad6cf0273265803624919e21"},"schema_version":"1.0","source":{"id":"2111.10330","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.10330","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"arxiv_version","alias_value":"2111.10330v2","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.10330","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"pith_short_12","alias_value":"ZEWQXDBCQHPT","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"pith_short_16","alias_value":"ZEWQXDBCQHPTUHED","created_at":"2026-07-05T06:49:14Z"},{"alias_kind":"pith_short_8","alias_value":"ZEWQXDBC","created_at":"2026-07-05T06:49:14Z"}],"graph_snapshots":[{"event_id":"sha256:f01ee0a561fa98cf58171934f75b2a72eb956c6a0b303e0e3178bd0b472cc890","target":"graph","created_at":"2026-07-05T06:49:14Z","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/2111.10330/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier certificates have been successfully applied for ensuring the satisfaction of safety specifications. In this work, we formulate the computation of barrier certificates as a robust convex program (RCP). Solving the acquired RCP is hard in general because the model of the system that appears in one of the constraints of the RCP is unknown. We propose a data-driven approach that replaces the uncountable number of constr","authors_text":"Abolfazl Lavaei, Ali Salamati, Majid Zamani, Sadegh Soudjani","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-19T17:22:51Z","title":"Data-driven verification and synthesis of stochastic systems via barrier certificates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.10330","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:1f61869ff364a0fd12d0db56b4c5cb6f96fab2e8b3e77610a26909512596e9ba","target":"record","created_at":"2026-07-05T06:49:14Z","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":"d2d2a4a7fc5d69c979a1e364718b467c883d881a1ea3474d02f344b1a912b56d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-19T17:22:51Z","title_canon_sha256":"8db5c3549eb0a4838893d4ba716f4b6d4baea8bcad6cf0273265803624919e21"},"schema_version":"1.0","source":{"id":"2111.10330","kind":"arxiv","version":2}},"canonical_sha256":"c92d0b8c2281df3a1c835210621fb602f05c2885bf4da58848612a4bbadd25ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c92d0b8c2281df3a1c835210621fb602f05c2885bf4da58848612a4bbadd25ac","first_computed_at":"2026-07-05T06:49:14.307424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:49:14.307424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zI2xdZh9NMQUVFIKDGOOrzHepn6W4rsFRwyTNJQz+BR9CE+x7pAA19BHgaevErm6xWAcEfKrDI59G+hWh2FSCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:49:14.307895Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.10330","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1f61869ff364a0fd12d0db56b4c5cb6f96fab2e8b3e77610a26909512596e9ba","sha256:f01ee0a561fa98cf58171934f75b2a72eb956c6a0b303e0e3178bd0b472cc890"],"state_sha256":"bd01dc9c2826ec025d77589355aa240f71cf3312acd37b91f755a34a1ab6edc5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AxjLbHqpPl6E0v7usj2s9NMcZSqVU97KwH5DQrAhn3s6YgKqkuYAbo5Z5rpiPPvmK2szOq9D7YwaGdxgSlQtCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T20:13:07.419227Z","bundle_sha256":"c6a2a6463bffeb03fe0b8a23b64857185b4467bb92f5fc02fc4347e440361473"}}