{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:QPRWGRM7UEIBLLXIHXV56YIYFT","short_pith_number":"pith:QPRWGRM7","schema_version":"1.0","canonical_sha256":"83e363459fa11015aee83debdf61182cda4fdc71125e62c74aca8930e51241c1","source":{"kind":"arxiv","id":"2409.12469","version":2},"attestation_state":"computed","paper":{"title":"From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected 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, Omid Akbarzadeh","submitted_at":"2024-09-19T05:17:31Z","abstract_excerpt":"We introduce a compositional data-driven methodology with noisy data for designing fully-decentralized safety controllers applicable to large-scale interconnected networks, encompassing a vast number of subsystems with unknown mathematical models. Our compositional scheme leverages the interconnection topology and breaks down the network analysis into the examination of distinct subsystems. This is accompanied by utilizing a concept of control storage certificates (CSCs) to capture joint dissipativity-type properties among subsystems. These CSCs are instrumental in a compositional derivation o"},"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":"2409.12469","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-09-19T05:17:31Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"0bd12bb4aaf4953533736ab47a43506728768c42708c448c89cea51fb9566b3a","abstract_canon_sha256":"9ec98d74a64d0ada9dff09531c2619039e0e73a816463d608231ba4ca9dea57b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:22:32.303063Z","signature_b64":"G1kmHvBVDTQB55ssMMcG4GxwVdmcFw5KRigIuc0OHcO0CpJrb/bRlFWkUFKqtnn2G4Qr5BkRL2RQWtp6SofDDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"83e363459fa11015aee83debdf61182cda4fdc71125e62c74aca8930e51241c1","last_reissued_at":"2026-07-05T11:22:32.302465Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:22:32.302465Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected 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, Omid Akbarzadeh","submitted_at":"2024-09-19T05:17:31Z","abstract_excerpt":"We introduce a compositional data-driven methodology with noisy data for designing fully-decentralized safety controllers applicable to large-scale interconnected networks, encompassing a vast number of subsystems with unknown mathematical models. Our compositional scheme leverages the interconnection topology and breaks down the network analysis into the examination of distinct subsystems. This is accompanied by utilizing a concept of control storage certificates (CSCs) to capture joint dissipativity-type properties among subsystems. These CSCs are instrumental in a compositional derivation o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.12469","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/2409.12469/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":"2409.12469","created_at":"2026-07-05T11:22:32.302540+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.12469v2","created_at":"2026-07-05T11:22:32.302540+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.12469","created_at":"2026-07-05T11:22:32.302540+00:00"},{"alias_kind":"pith_short_12","alias_value":"QPRWGRM7UEIB","created_at":"2026-07-05T11:22:32.302540+00:00"},{"alias_kind":"pith_short_16","alias_value":"QPRWGRM7UEIBLLXI","created_at":"2026-07-05T11:22:32.302540+00:00"},{"alias_kind":"pith_short_8","alias_value":"QPRWGRM7","created_at":"2026-07-05T11:22:32.302540+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2412.03892","citing_title":"Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories","ref_index":3,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT","json":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT.json","graph_json":"https://pith.science/api/pith-number/QPRWGRM7UEIBLLXIHXV56YIYFT/graph.json","events_json":"https://pith.science/api/pith-number/QPRWGRM7UEIBLLXIHXV56YIYFT/events.json","paper":"https://pith.science/paper/QPRWGRM7"},"agent_actions":{"view_html":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT","download_json":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT.json","view_paper":"https://pith.science/paper/QPRWGRM7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.12469&json=true","fetch_graph":"https://pith.science/api/pith-number/QPRWGRM7UEIBLLXIHXV56YIYFT/graph.json","fetch_events":"https://pith.science/api/pith-number/QPRWGRM7UEIBLLXIHXV56YIYFT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT/action/storage_attestation","attest_author":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT/action/author_attestation","sign_citation":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT/action/citation_signature","submit_replication":"https://pith.science/pith/QPRWGRM7UEIBLLXIHXV56YIYFT/action/replication_record"}},"created_at":"2026-07-05T11:22:32.302540+00:00","updated_at":"2026-07-05T11:22:32.302540+00:00"}