{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:EUY73A57JOZ55CBY5ZWZ55L7FH","short_pith_number":"pith:EUY73A57","schema_version":"1.0","canonical_sha256":"2531fd83bf4bb3de8838ee6d9ef57f29c17c1312bad72a100b9b20934346343d","source":{"kind":"arxiv","id":"1907.11514","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1907.11514","created_at":"2026-05-17T23:39:28.847355+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.11514v1","created_at":"2026-05-17T23:39:28.847355+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11514","created_at":"2026-05-17T23:39:28.847355+00:00"},{"alias_kind":"pith_short_12","alias_value":"EUY73A57JOZ5","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_16","alias_value":"EUY73A57JOZ55CBY","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_8","alias_value":"EUY73A57","created_at":"2026-05-18T12:33:15.570797+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH","json":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH.json","graph_json":"https://pith.science/api/pith-number/EUY73A57JOZ55CBY5ZWZ55L7FH/graph.json","events_json":"https://pith.science/api/pith-number/EUY73A57JOZ55CBY5ZWZ55L7FH/events.json","paper":"https://pith.science/paper/EUY73A57"},"agent_actions":{"view_html":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH","download_json":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH.json","view_paper":"https://pith.science/paper/EUY73A57","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.11514&json=true","fetch_graph":"https://pith.science/api/pith-number/EUY73A57JOZ55CBY5ZWZ55L7FH/graph.json","fetch_events":"https://pith.science/api/pith-number/EUY73A57JOZ55CBY5ZWZ55L7FH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/action/storage_attestation","attest_author":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/action/author_attestation","sign_citation":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/action/citation_signature","submit_replication":"https://pith.science/pith/EUY73A57JOZ55CBY5ZWZ55L7FH/action/replication_record"}},"created_at":"2026-05-17T23:39:28.847355+00:00","updated_at":"2026-05-17T23:39:28.847355+00:00"}