{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:EUY73A57JOZ55CBY5ZWZ55L7FH","short_pith_number":"pith:EUY73A57","canonical_record":{"source":{"id":"1907.11514","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-25T12:13:36Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b1f47639c723ed0970001d8fb42df343c91277c11a6570f8103ed3ffa990540a","abstract_canon_sha256":"49008d77daaab2360539a852a52b2d49a400121028fce880af9dde4c1d66ed04"},"schema_version":"1.0"},"canonical_sha256":"2531fd83bf4bb3de8838ee6d9ef57f29c17c1312bad72a100b9b20934346343d","source":{"kind":"arxiv","id":"1907.11514","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.11514","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"arxiv_version","alias_value":"1907.11514v1","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11514","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"pith_short_12","alias_value":"EUY73A57JOZ5","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"EUY73A57JOZ55CBY","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"EUY73A57","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:EUY73A57JOZ55CBY5ZWZ55L7FH","target":"record","payload":{"canonical_record":{"source":{"id":"1907.11514","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-25T12:13:36Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b1f47639c723ed0970001d8fb42df343c91277c11a6570f8103ed3ffa990540a","abstract_canon_sha256":"49008d77daaab2360539a852a52b2d49a400121028fce880af9dde4c1d66ed04"},"schema_version":"1.0"},"canonical_sha256":"2531fd83bf4bb3de8838ee6d9ef57f29c17c1312bad72a100b9b20934346343d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:28.847798Z","signature_b64":"4UaIFZ+HTUJkGQq3PIKskC/XvKLI8OtdXfawwkEhRe2f4k+gBKK6fqWcnMUjawiBJXPHywhVo1MRW+yacF01BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2531fd83bf4bb3de8838ee6d9ef57f29c17c1312bad72a100b9b20934346343d","last_reissued_at":"2026-05-17T23:39:28.847261Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:28.847261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.11514","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-17T23:39:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Jp5r0AtbiUUDh2uES1UJu7/P7Limcn/jO6/89wu2rSAwMowsj0HDpGaONuB+nY6DLfSoKhVHRU8gWprZyPPBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T02:53:21.341526Z"},"content_sha256":"db61a1550ffe9bc3ab362ca836ceafdc59dfe2998140599fdd970dca5815738d","schema_version":"1.0","event_id":"sha256:db61a1550ffe9bc3ab362ca836ceafdc59dfe2998140599fdd970dca5815738d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:EUY73A57JOZ55CBY5ZWZ55L7FH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Ezio Bartocci, Hui Kong, Thomas A. Henzinger, Yu Jiang","submitted_at":"2019-07-25T12:13:36Z","abstract_excerpt":"Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories, producing an overapproximation that is time independent. However, the existing approach for PBT is not efficient due to the application of interval methods for enclosure-box computation, and it can only deal with continuous dynamical syste"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11514","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-17T23:39:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRgBLabiQZYSkCwrQ0gR+LCcKmMJX0WqoZ/rpUFfk4Kl/VAGvkVTidm7ZhDGKL6raOMItr8JuikowripfL3XBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T02:53:21.342182Z"},"content_sha256":"42aea759caa6261292068e481c865be9c9a73ec896df368ced7c5bdeee607b28","schema_version":"1.0","event_id":"sha256:42aea759caa6261292068e481c865be9c9a73ec896df368ced7c5bdeee607b28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/bundle.json","state_url":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/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-05-26T02:53:21Z","links":{"resolver":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH","bundle":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/bundle.json","state":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:EUY73A57JOZ55CBY5ZWZ55L7FH","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":"49008d77daaab2360539a852a52b2d49a400121028fce880af9dde4c1d66ed04","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-25T12:13:36Z","title_canon_sha256":"b1f47639c723ed0970001d8fb42df343c91277c11a6570f8103ed3ffa990540a"},"schema_version":"1.0","source":{"id":"1907.11514","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.11514","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"arxiv_version","alias_value":"1907.11514v1","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11514","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"pith_short_12","alias_value":"EUY73A57JOZ5","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"EUY73A57JOZ55CBY","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"EUY73A57","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:42aea759caa6261292068e481c865be9c9a73ec896df368ced7c5bdeee607b28","target":"graph","created_at":"2026-05-17T23:39:28Z","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":"Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories, producing an overapproximation that is time independent. However, the existing approach for PBT is not efficient due to the application of interval methods for enclosure-box computation, and it can only deal with continuous dynamical syste","authors_text":"Ezio Bartocci, Hui Kong, Thomas A. Henzinger, Yu Jiang","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11514","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:db61a1550ffe9bc3ab362ca836ceafdc59dfe2998140599fdd970dca5815738d","target":"record","created_at":"2026-05-17T23:39:28Z","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":"49008d77daaab2360539a852a52b2d49a400121028fce880af9dde4c1d66ed04","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-25T12:13:36Z","title_canon_sha256":"b1f47639c723ed0970001d8fb42df343c91277c11a6570f8103ed3ffa990540a"},"schema_version":"1.0","source":{"id":"1907.11514","kind":"arxiv","version":1}},"canonical_sha256":"2531fd83bf4bb3de8838ee6d9ef57f29c17c1312bad72a100b9b20934346343d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2531fd83bf4bb3de8838ee6d9ef57f29c17c1312bad72a100b9b20934346343d","first_computed_at":"2026-05-17T23:39:28.847261Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:28.847261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4UaIFZ+HTUJkGQq3PIKskC/XvKLI8OtdXfawwkEhRe2f4k+gBKK6fqWcnMUjawiBJXPHywhVo1MRW+yacF01BA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:28.847798Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.11514","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db61a1550ffe9bc3ab362ca836ceafdc59dfe2998140599fdd970dca5815738d","sha256:42aea759caa6261292068e481c865be9c9a73ec896df368ced7c5bdeee607b28"],"state_sha256":"b363a836b5edd358e2ee059a4b9cfe9d996a7de5842f6e2b89d43131b5355f54"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JuZqN45xWXKf6mv1RZnntrllt/7bCWSfn4sLn51+S6Bu0Q3CmPdy62o+L+EdciO9AQavcW2U+OFc8y4/RLNdCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T02:53:21.345530Z","bundle_sha256":"617409bed977912f696eb6e02f28c460e332c6fe1ffeac819c079d29fcf1745c"}}