{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZHHNKA46RYWCKQRKBBN4IK5CPF","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":"ee39ae6c0d0277830dfa2c4c9cefb01319fc37001a3f302c8dda67fbb7eabd6b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-06T16:43:07Z","title_canon_sha256":"62e4f743229a86ab9e789ec32d1ae2b3344099b29ad799001feb3fb695177de4"},"schema_version":"1.0","source":{"id":"1811.02482","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02482","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02482v1","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02482","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"ZHHNKA46RYWC","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZHHNKA46RYWCKQRK","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZHHNKA46","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:2dde284505b2edd07d1dc6c11a9b1be34288275cedd9eadaaae80ad247038923","target":"graph","created_at":"2026-05-18T00:01:24Z","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":"In this paper, we consider the problem of piecewise affine abstraction of nonlinear systems, i.e., the overapproximation of its nonlinear dynamics by a pair of piecewise affine functions that \"includes\" the dynamical characteristics of the original system. As such, guarantees for controllers or estimators based on the affine abstraction also apply to the original nonlinear system. Our approach consists of solving a linear programming (LP) problem that over-approximates the nonlinear function at only the grid points of a mesh with a given resolution and then accounting for the entire domain via","authors_text":"Kanishka Raj Singh, Qiang Shen, Sze Zheng Yong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-06T16:43:07Z","title":"Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02482","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:3b5b166e69741d5bccaf3f274c961ba9ad24f7126efbb5ee93dede4890ff73ce","target":"record","created_at":"2026-05-18T00:01:24Z","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":"ee39ae6c0d0277830dfa2c4c9cefb01319fc37001a3f302c8dda67fbb7eabd6b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-06T16:43:07Z","title_canon_sha256":"62e4f743229a86ab9e789ec32d1ae2b3344099b29ad799001feb3fb695177de4"},"schema_version":"1.0","source":{"id":"1811.02482","kind":"arxiv","version":1}},"canonical_sha256":"c9ced5039e8e2c25422a085bc42ba2796f55497f13f585d794ca498b80e5abaf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c9ced5039e8e2c25422a085bc42ba2796f55497f13f585d794ca498b80e5abaf","first_computed_at":"2026-05-18T00:01:24.164574Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:24.164574Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aLbLzxiQESzyGhTN2819i87SfqzglyyigReJRRec6//XC4Q/kstKSH90ETr0x+2KGUS+mcHf3Z6XI09XWdkfAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:24.165089Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.02482","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b5b166e69741d5bccaf3f274c961ba9ad24f7126efbb5ee93dede4890ff73ce","sha256:2dde284505b2edd07d1dc6c11a9b1be34288275cedd9eadaaae80ad247038923"],"state_sha256":"90a49224f1dfce6691abe7acb73eb242da69b1a1613980b2e2684a2d31cd158d"}