{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:KA2G5IJLUU7QFRK5KXXUM4Y2NB","short_pith_number":"pith:KA2G5IJL","canonical_record":{"source":{"id":"1507.06248","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-22T16:39:40Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"2b67b4e008cc36407d16de672f61981fe45f2e6af681e6de1be3f598ea52b87e","abstract_canon_sha256":"e9da048ebf0c4d612237675a229c1712ff03d529c620daaf8a16e0d713c7ef0b"},"schema_version":"1.0"},"canonical_sha256":"50346ea12ba53f02c55d55ef46731a6871c3f10502f4cc3cb905e72040560fe0","source":{"kind":"arxiv","id":"1507.06248","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06248","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06248v1","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06248","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"KA2G5IJLUU7Q","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"KA2G5IJLUU7QFRK5","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"KA2G5IJL","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:KA2G5IJLUU7QFRK5KXXUM4Y2NB","target":"record","payload":{"canonical_record":{"source":{"id":"1507.06248","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-22T16:39:40Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"2b67b4e008cc36407d16de672f61981fe45f2e6af681e6de1be3f598ea52b87e","abstract_canon_sha256":"e9da048ebf0c4d612237675a229c1712ff03d529c620daaf8a16e0d713c7ef0b"},"schema_version":"1.0"},"canonical_sha256":"50346ea12ba53f02c55d55ef46731a6871c3f10502f4cc3cb905e72040560fe0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:26.322026Z","signature_b64":"NKnzSzlDKJDxg+kkxZNi53G1H75HoBw1cOHwfJ5J1STXQf0cSOZKN8OZxgw1YNeeMgtODUaUahu9QJAbBfT0Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50346ea12ba53f02c55d55ef46731a6871c3f10502f4cc3cb905e72040560fe0","last_reissued_at":"2026-05-18T01:36:26.321462Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:26.321462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.06248","source_version":1,"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-05-18T01:36:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"44JHYDZbXE+jSo6koiXFgejuAiQJDn4t7GMHQmPMwF93M3Ti87NKI5/OmcF/myWK+ZOlDCPHgVzCfLDkVNYFCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T07:05:14.670924Z"},"content_sha256":"95cf17c16c30c3a31e1b9b5902eedd51030e0769513a27bfab6b801f19b1d542","schema_version":"1.0","event_id":"sha256:95cf17c16c30c3a31e1b9b5902eedd51030e0769513a27bfab6b801f19b1d542"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:KA2G5IJLUU7QFRK5KXXUM4Y2NB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing finite abstractions with robustness margins via local reachable set over-approximation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Jun Liu, Necmiye Ozay, Yinan Li","submitted_at":"2015-07-22T16:39:40Z","abstract_excerpt":"This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for computing finite abstractions utilize some global, analytical function to provide bounds on the reachable sets of nonlinear systems, which can be conservative and lead to spurious transitions in the abstract systems. This problem is even more pronounced in the presence of imperfect measurements and modelling uncertainties, where control synthesis can easily become infeasible due to added spurious transitions. To mitigate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06248","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":""},"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-05-18T01:36:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uyr9LSRinLuaaSMZ6j/MtVh4NohTwGLMzUmxkAf/e1d0wvu7RoF7u6DsmM4pE5x4wDwfaco9xy0uxKAFbPxNBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T07:05:14.671597Z"},"content_sha256":"ee1d2e87229447b78436a0ff4f128ce3504cf3334ceb0e97b5c3c37df4ad02df","schema_version":"1.0","event_id":"sha256:ee1d2e87229447b78436a0ff4f128ce3504cf3334ceb0e97b5c3c37df4ad02df"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB/bundle.json","state_url":"https://pith.science/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB/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-10T07:05:14Z","links":{"resolver":"https://pith.science/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB","bundle":"https://pith.science/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB/bundle.json","state":"https://pith.science/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KA2G5IJLUU7QFRK5KXXUM4Y2NB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:KA2G5IJLUU7QFRK5KXXUM4Y2NB","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":"e9da048ebf0c4d612237675a229c1712ff03d529c620daaf8a16e0d713c7ef0b","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-22T16:39:40Z","title_canon_sha256":"2b67b4e008cc36407d16de672f61981fe45f2e6af681e6de1be3f598ea52b87e"},"schema_version":"1.0","source":{"id":"1507.06248","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06248","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06248v1","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06248","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"KA2G5IJLUU7Q","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"KA2G5IJLUU7QFRK5","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"KA2G5IJL","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:ee1d2e87229447b78436a0ff4f128ce3504cf3334ceb0e97b5c3c37df4ad02df","target":"graph","created_at":"2026-05-18T01:36:26Z","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"},"paper":{"abstract_excerpt":"This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for computing finite abstractions utilize some global, analytical function to provide bounds on the reachable sets of nonlinear systems, which can be conservative and lead to spurious transitions in the abstract systems. This problem is even more pronounced in the presence of imperfect measurements and modelling uncertainties, where control synthesis can easily become infeasible due to added spurious transitions. To mitigate","authors_text":"Jun Liu, Necmiye Ozay, Yinan Li","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-22T16:39:40Z","title":"Computing finite abstractions with robustness margins via local reachable set over-approximation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06248","kind":"arxiv","version":1},"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:95cf17c16c30c3a31e1b9b5902eedd51030e0769513a27bfab6b801f19b1d542","target":"record","created_at":"2026-05-18T01:36:26Z","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":"e9da048ebf0c4d612237675a229c1712ff03d529c620daaf8a16e0d713c7ef0b","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-22T16:39:40Z","title_canon_sha256":"2b67b4e008cc36407d16de672f61981fe45f2e6af681e6de1be3f598ea52b87e"},"schema_version":"1.0","source":{"id":"1507.06248","kind":"arxiv","version":1}},"canonical_sha256":"50346ea12ba53f02c55d55ef46731a6871c3f10502f4cc3cb905e72040560fe0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50346ea12ba53f02c55d55ef46731a6871c3f10502f4cc3cb905e72040560fe0","first_computed_at":"2026-05-18T01:36:26.321462Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:26.321462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NKnzSzlDKJDxg+kkxZNi53G1H75HoBw1cOHwfJ5J1STXQf0cSOZKN8OZxgw1YNeeMgtODUaUahu9QJAbBfT0Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:26.322026Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.06248","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:95cf17c16c30c3a31e1b9b5902eedd51030e0769513a27bfab6b801f19b1d542","sha256:ee1d2e87229447b78436a0ff4f128ce3504cf3334ceb0e97b5c3c37df4ad02df"],"state_sha256":"796aa15bf4a12722d5ba63fa63693f336ef4a829a2ad6b737c9a3a0a7f2de0d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Od8CKbwSY/x3lhYgrUN5yzqpwoVf8r5DyO9GLVx2LQpTPD6SP90h+SVpSISie7jY7a2SdkF6Gwie9YxfV6IrAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T07:05:14.675308Z","bundle_sha256":"b09f336fb4408837e9aac714b105fc8b7f4e9106e64ff50b1452d47936dce437"}}