{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:NPW2NX46UUTAETW6UOFERL4D33","short_pith_number":"pith:NPW2NX46","canonical_record":{"source":{"id":"1012.5113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2010-12-22T21:56:52Z","cross_cats_sorted":[],"title_canon_sha256":"125aa963a1e447dae167650bb59d12030c4d8aa16f4667b9b63c56df95b087d9","abstract_canon_sha256":"4870dba62a23426e06a8e6467be2b19a2b4b314bf2c7e64f2cda3bf4b5cf826c"},"schema_version":"1.0"},"canonical_sha256":"6beda6df9ea526024edea38a48af83defc4dbee5dd791b6878a19d53faa0161f","source":{"kind":"arxiv","id":"1012.5113","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5113","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5113v1","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5113","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"NPW2NX46UUTA","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"NPW2NX46UUTAETW6","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"NPW2NX46","created_at":"2026-05-18T12:26:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:NPW2NX46UUTAETW6UOFERL4D33","target":"record","payload":{"canonical_record":{"source":{"id":"1012.5113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2010-12-22T21:56:52Z","cross_cats_sorted":[],"title_canon_sha256":"125aa963a1e447dae167650bb59d12030c4d8aa16f4667b9b63c56df95b087d9","abstract_canon_sha256":"4870dba62a23426e06a8e6467be2b19a2b4b314bf2c7e64f2cda3bf4b5cf826c"},"schema_version":"1.0"},"canonical_sha256":"6beda6df9ea526024edea38a48af83defc4dbee5dd791b6878a19d53faa0161f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:32:35.783606Z","signature_b64":"ctakyUu3RtUzOhS3THbwcZcCBi3TXZp+0WAcklTYn7kzJkpWMfY11ZRJpB1kESSwJ0YpgWpzEggNWO2c2ORyCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6beda6df9ea526024edea38a48af83defc4dbee5dd791b6878a19d53faa0161f","last_reissued_at":"2026-05-18T04:32:35.783231Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:32:35.783231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.5113","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-18T04:32:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CtWEwOMjUAoUEWnAACflco95xEiomMTMi9IgBJML0WARkCn8VVvaBQAa95N5Lf0VED9UAjEo2ZdjWqODBF4PAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:56:00.501441Z"},"content_sha256":"9ac9bad3d08665667f3b9cb91fbe6c22e5f14b1feb52ab8107f47126bff9d48f","schema_version":"1.0","event_id":"sha256:9ac9bad3d08665667f3b9cb91fbe6c22e5f14b1feb52ab8107f47126bff9d48f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:NPW2NX46UUTAETW6UOFERL4D33","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Timed Game Abstraction of Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Christoffer Sloth, Rafael Wisniewski","submitted_at":"2010-12-22T21:56:52Z","abstract_excerpt":"This paper proposes a method for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis.\n  The proposed abstraction is based on partitioning the state space of a control system using positive and negative invariant sets, generated by Lyapunov functions. This partitioning ensures that the vector field of the control system is transversal to the facets of the cells, which induces some desirable properties of the abstraction. To allow a rich class of control systems to be abstracted, the update maps of the timed game automaton are extended.\n  "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5113","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-18T04:32:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d/xVM+87v5KxiX81zYK3k7gejN8Ud3VxP8dPuYhJoo/u5I4vYx2fUrlLbrrA+XjrMt/jZhlPs/9HMa3CWycLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:56:00.501884Z"},"content_sha256":"1f6a93eaa413b35b666ada5d39fe7c61c61bdeca7ab55b38e5f83450e5e4bf2a","schema_version":"1.0","event_id":"sha256:1f6a93eaa413b35b666ada5d39fe7c61c61bdeca7ab55b38e5f83450e5e4bf2a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NPW2NX46UUTAETW6UOFERL4D33/bundle.json","state_url":"https://pith.science/pith/NPW2NX46UUTAETW6UOFERL4D33/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NPW2NX46UUTAETW6UOFERL4D33/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-26T16:56:00Z","links":{"resolver":"https://pith.science/pith/NPW2NX46UUTAETW6UOFERL4D33","bundle":"https://pith.science/pith/NPW2NX46UUTAETW6UOFERL4D33/bundle.json","state":"https://pith.science/pith/NPW2NX46UUTAETW6UOFERL4D33/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NPW2NX46UUTAETW6UOFERL4D33/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:NPW2NX46UUTAETW6UOFERL4D33","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":"4870dba62a23426e06a8e6467be2b19a2b4b314bf2c7e64f2cda3bf4b5cf826c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2010-12-22T21:56:52Z","title_canon_sha256":"125aa963a1e447dae167650bb59d12030c4d8aa16f4667b9b63c56df95b087d9"},"schema_version":"1.0","source":{"id":"1012.5113","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5113","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5113v1","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5113","created_at":"2026-05-18T04:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"NPW2NX46UUTA","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"NPW2NX46UUTAETW6","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"NPW2NX46","created_at":"2026-05-18T12:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:1f6a93eaa413b35b666ada5d39fe7c61c61bdeca7ab55b38e5f83450e5e4bf2a","target":"graph","created_at":"2026-05-18T04:32:35Z","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 for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis.\n  The proposed abstraction is based on partitioning the state space of a control system using positive and negative invariant sets, generated by Lyapunov functions. This partitioning ensures that the vector field of the control system is transversal to the facets of the cells, which induces some desirable properties of the abstraction. To allow a rich class of control systems to be abstracted, the update maps of the timed game automaton are extended.\n  ","authors_text":"Christoffer Sloth, Rafael Wisniewski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2010-12-22T21:56:52Z","title":"Timed Game Abstraction of Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5113","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:9ac9bad3d08665667f3b9cb91fbe6c22e5f14b1feb52ab8107f47126bff9d48f","target":"record","created_at":"2026-05-18T04:32:35Z","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":"4870dba62a23426e06a8e6467be2b19a2b4b314bf2c7e64f2cda3bf4b5cf826c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2010-12-22T21:56:52Z","title_canon_sha256":"125aa963a1e447dae167650bb59d12030c4d8aa16f4667b9b63c56df95b087d9"},"schema_version":"1.0","source":{"id":"1012.5113","kind":"arxiv","version":1}},"canonical_sha256":"6beda6df9ea526024edea38a48af83defc4dbee5dd791b6878a19d53faa0161f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6beda6df9ea526024edea38a48af83defc4dbee5dd791b6878a19d53faa0161f","first_computed_at":"2026-05-18T04:32:35.783231Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:32:35.783231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ctakyUu3RtUzOhS3THbwcZcCBi3TXZp+0WAcklTYn7kzJkpWMfY11ZRJpB1kESSwJ0YpgWpzEggNWO2c2ORyCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:32:35.783606Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.5113","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ac9bad3d08665667f3b9cb91fbe6c22e5f14b1feb52ab8107f47126bff9d48f","sha256:1f6a93eaa413b35b666ada5d39fe7c61c61bdeca7ab55b38e5f83450e5e4bf2a"],"state_sha256":"4ae38f610be3daa942a6383ae6ff4d71dc5459f8a529a3742c9896b048edf293"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CPiwgEymBrKg1xFzJPrUe4SYMWPhY6RO2zeI5qlUm0DrBNn+DCz9K9N9uhAd1oWV47NN+0Cpmn8YfrCRbDB6Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T16:56:00.505005Z","bundle_sha256":"e43259a869598bf7fa96fce4189436b21ad89ece2663c516a4cb8c73d3498823"}}