{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:U4ZCIM3RY3UDICYOVO25ARQ7S4","short_pith_number":"pith:U4ZCIM3R","schema_version":"1.0","canonical_sha256":"a732243371c6e8340b0eabb5d0461f9730fe2e52a6713595d76f97e9dea457dc","source":{"kind":"arxiv","id":"2508.09520","version":1},"attestation_state":"computed","paper":{"title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Abolfazl Lavaei, Amy Nejati, Behrad Samari, Omid Akbarzadeh","submitted_at":"2025-08-13T06:04:31Z","abstract_excerpt":"In this work, we propose a data-driven scheme within a compositional framework with noisy data to design robust safety controllers in a fully decentralized fashion for large-scale interconnected networks with unknown mathematical dynamics. Despite the network's high dimensionality and the inherent complexity of its unknown model, which make it intractable, our approach effectively addresses these challenges by (i) treating the network as a composition of smaller subsystems, and (ii) collecting noisy data from each subsystem's trajectory to design a control sub-barrier certificate (CSBC) and it"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2508.09520","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-08-13T06:04:31Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"369432d04b48a2fff60c11e3632440dca275730ab73ef2087bb3688e71edde58","abstract_canon_sha256":"0cf141703c12371b44dff9dc9740ad67fd08794e69889ffc8305c0bec9862212"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:53:16.551824Z","signature_b64":"XAL/yE2En3WfdPqHCiLYcOQ/nRN786vj1ShiEUR/4b/iLCwvZHmcBXWPUYeWrsleMgNZmhJv/cChBir/h2v0CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a732243371c6e8340b0eabb5d0461f9730fe2e52a6713595d76f97e9dea457dc","last_reissued_at":"2026-07-05T11:53:16.551246Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:53:16.551246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Abolfazl Lavaei, Amy Nejati, Behrad Samari, Omid Akbarzadeh","submitted_at":"2025-08-13T06:04:31Z","abstract_excerpt":"In this work, we propose a data-driven scheme within a compositional framework with noisy data to design robust safety controllers in a fully decentralized fashion for large-scale interconnected networks with unknown mathematical dynamics. Despite the network's high dimensionality and the inherent complexity of its unknown model, which make it intractable, our approach effectively addresses these challenges by (i) treating the network as a composition of smaller subsystems, and (ii) collecting noisy data from each subsystem's trajectory to design a control sub-barrier certificate (CSBC) and it"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.09520","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/2508.09520/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.09520","created_at":"2026-07-05T11:53:16.551340+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.09520v1","created_at":"2026-07-05T11:53:16.551340+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.09520","created_at":"2026-07-05T11:53:16.551340+00:00"},{"alias_kind":"pith_short_12","alias_value":"U4ZCIM3RY3UD","created_at":"2026-07-05T11:53:16.551340+00:00"},{"alias_kind":"pith_short_16","alias_value":"U4ZCIM3RY3UDICYO","created_at":"2026-07-05T11:53:16.551340+00:00"},{"alias_kind":"pith_short_8","alias_value":"U4ZCIM3R","created_at":"2026-07-05T11:53:16.551340+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4","json":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4.json","graph_json":"https://pith.science/api/pith-number/U4ZCIM3RY3UDICYOVO25ARQ7S4/graph.json","events_json":"https://pith.science/api/pith-number/U4ZCIM3RY3UDICYOVO25ARQ7S4/events.json","paper":"https://pith.science/paper/U4ZCIM3R"},"agent_actions":{"view_html":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4","download_json":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4.json","view_paper":"https://pith.science/paper/U4ZCIM3R","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.09520&json=true","fetch_graph":"https://pith.science/api/pith-number/U4ZCIM3RY3UDICYOVO25ARQ7S4/graph.json","fetch_events":"https://pith.science/api/pith-number/U4ZCIM3RY3UDICYOVO25ARQ7S4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4/action/storage_attestation","attest_author":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4/action/author_attestation","sign_citation":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4/action/citation_signature","submit_replication":"https://pith.science/pith/U4ZCIM3RY3UDICYOVO25ARQ7S4/action/replication_record"}},"created_at":"2026-07-05T11:53:16.551340+00:00","updated_at":"2026-07-05T11:53:16.551340+00:00"}