{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HDFWMQPIKK47U3WQJMDCCMI7E2","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":"02101e28ff21168df496711e108415da8df60833f112f273960a5f8df44c2aa1","cross_cats_sorted":["cs.MA","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-08-16T02:42:17Z","title_canon_sha256":"8f378b05a17182ec2dd83281cc926af18733808ba3ccb6ae1ce56cffbbe41c40"},"schema_version":"1.0","source":{"id":"2408.08497","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.08497","created_at":"2026-07-05T10:18:09Z"},{"alias_kind":"arxiv_version","alias_value":"2408.08497v2","created_at":"2026-07-05T10:18:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.08497","created_at":"2026-07-05T10:18:09Z"},{"alias_kind":"pith_short_12","alias_value":"HDFWMQPIKK47","created_at":"2026-07-05T10:18:09Z"},{"alias_kind":"pith_short_16","alias_value":"HDFWMQPIKK47U3WQ","created_at":"2026-07-05T10:18:09Z"},{"alias_kind":"pith_short_8","alias_value":"HDFWMQPI","created_at":"2026-07-05T10:18:09Z"}],"graph_snapshots":[{"event_id":"sha256:42a6099fc9ec5a442516cb7855b108481e1198e66f5a6ce52d0076a5b8d55d20","target":"graph","created_at":"2026-07-05T10:18:09Z","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/2408.08497/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These abstractions provide simplified models that capture the fundamental behaviors of the original systems. However, the creation of such abstractions typically relies on the availability of precise knowledge concerning system dynamics, which might not be available in many real-world applications. In this work, we introduce a novel data-driven and compositional approach for constructing finite abstractions for interconnecte","authors_text":"Daniel Ajeleye, Majid Zamani","cross_cats":["cs.MA","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-08-16T02:42:17Z","title":"Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.08497","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:118ba94d1ccac79ada9420fd7be25f62ee4868351c89bdcf2aae8cff6a45590f","target":"record","created_at":"2026-07-05T10:18:09Z","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":"02101e28ff21168df496711e108415da8df60833f112f273960a5f8df44c2aa1","cross_cats_sorted":["cs.MA","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-08-16T02:42:17Z","title_canon_sha256":"8f378b05a17182ec2dd83281cc926af18733808ba3ccb6ae1ce56cffbbe41c40"},"schema_version":"1.0","source":{"id":"2408.08497","kind":"arxiv","version":2}},"canonical_sha256":"38cb6641e852b9fa6ed04b0621311f26aa193a941feadb6cbe21b140bb69c1a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38cb6641e852b9fa6ed04b0621311f26aa193a941feadb6cbe21b140bb69c1a5","first_computed_at":"2026-07-05T10:18:09.598834Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:18:09.598834Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+pPUmzUzhm4msyTteRVKFhUZOUPn6VpjBgXT0xBIZhdzckVHYSYX8j52qafHokFcaV94b4UAJBwDLIL89bcvAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:18:09.599322Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.08497","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:118ba94d1ccac79ada9420fd7be25f62ee4868351c89bdcf2aae8cff6a45590f","sha256:42a6099fc9ec5a442516cb7855b108481e1198e66f5a6ce52d0076a5b8d55d20"],"state_sha256":"8bab8b3c7539ecdba129013f6753c7f8deb4d6db6498e1c5016210d70c5a285f"}