{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2ZE66HE7KWDBB6P6ZSRD25XBJN","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":"5105adfb3bce3743b2c988fcb3f3ae9eee174ef2578bd7c634c8feb7e89c7086","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-04-24T10:18:39Z","title_canon_sha256":"523842e9a67486a07ebdf0c446509f246414be124e728d839f0f97e1ac17648f"},"schema_version":"1.0","source":{"id":"1704.07124","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.07124","created_at":"2026-06-04T18:10:45Z"},{"alias_kind":"arxiv_version","alias_value":"1704.07124v2","created_at":"2026-06-04T18:10:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.07124","created_at":"2026-06-04T18:10:45Z"},{"alias_kind":"pith_short_12","alias_value":"2ZE66HE7KWDB","created_at":"2026-06-04T18:10:45Z"},{"alias_kind":"pith_short_16","alias_value":"2ZE66HE7KWDBB6P6","created_at":"2026-06-04T18:10:45Z"},{"alias_kind":"pith_short_8","alias_value":"2ZE66HE7","created_at":"2026-06-04T18:10:45Z"}],"graph_snapshots":[{"event_id":"sha256:42490e1ca2e0b1839f6f32604cdc816bb136d725a03fa619b25c5f503ce8c6b6","target":"graph","created_at":"2026-06-04T18:10:45Z","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/1704.07124/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided.","authors_text":"Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-04-24T10:18:39Z","title":"Compositional abstraction and safety synthesis using overlapping symbolic models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.07124","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:3a9cd01e1a408bb3c01d3fcfa3753bb208bdc6565518149e35e4067ee93327af","target":"record","created_at":"2026-06-04T18:10:45Z","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":"5105adfb3bce3743b2c988fcb3f3ae9eee174ef2578bd7c634c8feb7e89c7086","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-04-24T10:18:39Z","title_canon_sha256":"523842e9a67486a07ebdf0c446509f246414be124e728d839f0f97e1ac17648f"},"schema_version":"1.0","source":{"id":"1704.07124","kind":"arxiv","version":2}},"canonical_sha256":"d649ef1c9f558610f9fecca23d76e14b66807904671e6bc6b581168a57e903ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d649ef1c9f558610f9fecca23d76e14b66807904671e6bc6b581168a57e903ce","first_computed_at":"2026-06-04T18:10:45.981349Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T18:10:45.981349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"20ckxjCQzGDx84kxbNCrYQDYxZ25ekaIaeDo7/NQCUIKRoTuWx5ylOhVBm3VhD/0CEUELXfy2O1T1et09lmNAw==","signature_status":"signed_v1","signed_at":"2026-06-04T18:10:45.981758Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.07124","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a9cd01e1a408bb3c01d3fcfa3753bb208bdc6565518149e35e4067ee93327af","sha256:42490e1ca2e0b1839f6f32604cdc816bb136d725a03fa619b25c5f503ce8c6b6"],"state_sha256":"deb0e00a3479aa995d29827eb53465bee46fb380ea74631d67f6e6b43df0f268"}