{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:2ZE66HE7KWDBB6P6ZSRD25XBJN","short_pith_number":"pith:2ZE66HE7","canonical_record":{"source":{"id":"1704.07124","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-04-24T10:18:39Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"523842e9a67486a07ebdf0c446509f246414be124e728d839f0f97e1ac17648f","abstract_canon_sha256":"5105adfb3bce3743b2c988fcb3f3ae9eee174ef2578bd7c634c8feb7e89c7086"},"schema_version":"1.0"},"canonical_sha256":"d649ef1c9f558610f9fecca23d76e14b66807904671e6bc6b581168a57e903ce","source":{"kind":"arxiv","id":"1704.07124","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:2ZE66HE7KWDBB6P6ZSRD25XBJN","target":"record","payload":{"canonical_record":{"source":{"id":"1704.07124","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2017-04-24T10:18:39Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"523842e9a67486a07ebdf0c446509f246414be124e728d839f0f97e1ac17648f","abstract_canon_sha256":"5105adfb3bce3743b2c988fcb3f3ae9eee174ef2578bd7c634c8feb7e89c7086"},"schema_version":"1.0"},"canonical_sha256":"d649ef1c9f558610f9fecca23d76e14b66807904671e6bc6b581168a57e903ce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T18:10:45.981758Z","signature_b64":"20ckxjCQzGDx84kxbNCrYQDYxZ25ekaIaeDo7/NQCUIKRoTuWx5ylOhVBm3VhD/0CEUELXfy2O1T1et09lmNAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d649ef1c9f558610f9fecca23d76e14b66807904671e6bc6b581168a57e903ce","last_reissued_at":"2026-06-04T18:10:45.981349Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T18:10:45.981349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.07124","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-06-04T18:10:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s+SQLGOfHnujxwYL3pBvUZA2iRJWa1aarWTlU3auAjdmz6ux67BgR0VYRq4VbM++wELw2IbIqsWM+abSX4SxDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T14:39:23.432441Z"},"content_sha256":"3a9cd01e1a408bb3c01d3fcfa3753bb208bdc6565518149e35e4067ee93327af","schema_version":"1.0","event_id":"sha256:3a9cd01e1a408bb3c01d3fcfa3753bb208bdc6565518149e35e4067ee93327af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:2ZE66HE7KWDBB6P6ZSRD25XBJN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compositional abstraction and safety synthesis using overlapping symbolic models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer","submitted_at":"2017-04-24T10:18:39Z","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."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.07124","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/1704.07124/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-06-04T18:10:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1gVo1EZ+YhuviwniLoQuz0LRgic8PvmdSNj22giQCLHhuGAliCFWa+Vilokfg+ZzdRU3lkm6WSzhXm8YeCL3DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T14:39:23.433038Z"},"content_sha256":"42490e1ca2e0b1839f6f32604cdc816bb136d725a03fa619b25c5f503ce8c6b6","schema_version":"1.0","event_id":"sha256:42490e1ca2e0b1839f6f32604cdc816bb136d725a03fa619b25c5f503ce8c6b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN/bundle.json","state_url":"https://pith.science/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN/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-06-08T14:39:23Z","links":{"resolver":"https://pith.science/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN","bundle":"https://pith.science/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN/bundle.json","state":"https://pith.science/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2ZE66HE7KWDBB6P6ZSRD25XBJN/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m7Vxq+W/MocOC2k0x9G51TqYJu4lzoSaGJoekwLevJxR2Xm9zqg48dtJwpFmoa+iYC1wMEpM11x/P1/+Ai4dCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T14:39:23.436093Z","bundle_sha256":"576e0ae830b15df1da62933d63e6b4fa03852463da4d898d337024d467c33256"}}