{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:6AOCRGAS5MGETYIEUU3TOU6B2I","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":"7233581c6d5a21f36146f9391d3c3c84bef1557318fd7bf32c453ea9d6453187","cross_cats_sorted":["cs.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-10-12T16:13:09Z","title_canon_sha256":"fd19ef4f1803e65df76eb003012b63a93022ac7dafad30f350a2c4bc5335e763"},"schema_version":"1.0","source":{"id":"0910.2187","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.2187","created_at":"2026-05-18T04:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"0910.2187v3","created_at":"2026-05-18T04:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.2187","created_at":"2026-05-18T04:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"6AOCRGAS5MGE","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"6AOCRGAS5MGETYIE","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"6AOCRGAS","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:91b8a2461725f7b31d4e06e86f3d14d87a19ad3b7b0b8c28ea67483f1018d0df","target":"graph","created_at":"2026-05-18T04:09: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"},"paper":{"abstract_excerpt":"Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid systems, and to design finite state controllers that provably enforce predefined specifications. We present a novel algorithm to compute such finite state models for nonlinear discrete-time and sampled systems which depends on quantizing the state space using polyhedral cells, embedding these cells into suitable supersets whose attainable sets are convex, and ","authors_text":"Gunther Rei{\\ss}ig","cross_cats":["cs.SY","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-10-12T16:13:09Z","title":"Computing abstractions of nonlinear systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.2187","kind":"arxiv","version":3},"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:cf7ebc26c72087be8cd6f9fa9cb70fc4ebaa2379b63b27b49b1cf4c3321a8ea3","target":"record","created_at":"2026-05-18T04:09: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":"7233581c6d5a21f36146f9391d3c3c84bef1557318fd7bf32c453ea9d6453187","cross_cats_sorted":["cs.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-10-12T16:13:09Z","title_canon_sha256":"fd19ef4f1803e65df76eb003012b63a93022ac7dafad30f350a2c4bc5335e763"},"schema_version":"1.0","source":{"id":"0910.2187","kind":"arxiv","version":3}},"canonical_sha256":"f01c289812eb0c49e104a5373753c1d2166873a6301de22172468eb2a285a212","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f01c289812eb0c49e104a5373753c1d2166873a6301de22172468eb2a285a212","first_computed_at":"2026-05-18T04:09:45.940847Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:09:45.940847Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dT2AMg//ew4jH61KduaQiyp49HynRTuST2VIK+i7q5j443uOA8tyOV2WaHy4Hqyd3kvVSb+uOdGDDY2gPV3zAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:09:45.941240Z","signed_message":"canonical_sha256_bytes"},"source_id":"0910.2187","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf7ebc26c72087be8cd6f9fa9cb70fc4ebaa2379b63b27b49b1cf4c3321a8ea3","sha256:91b8a2461725f7b31d4e06e86f3d14d87a19ad3b7b0b8c28ea67483f1018d0df"],"state_sha256":"e15a3264618df79e387a3a22db7dacb89d086c0e7e56c193b9ae65b49d55c70a"}