{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:K3SG5NVEMJ5ABKDFUCWJTHQKTD","short_pith_number":"pith:K3SG5NVE","canonical_record":{"source":{"id":"1203.6025","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-26T14:03:38Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"1c39a865fbef9c34970f05ce513ffcc7a8120ee4a15c560ef657206426e932e7","abstract_canon_sha256":"6508750974841e8c5551ed3281b4f6ba605b29b85a4032ee4f4d41e6bc6b457c"},"schema_version":"1.0"},"canonical_sha256":"56e46eb6a4627a00a865a0ac999e0a98e0c84c14b3a8e7bfcc6eace6a7058d2f","source":{"kind":"arxiv","id":"1203.6025","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6025","created_at":"2026-05-18T03:54:25Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6025v2","created_at":"2026-05-18T03:54:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6025","created_at":"2026-05-18T03:54:25Z"},{"alias_kind":"pith_short_12","alias_value":"K3SG5NVEMJ5A","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"K3SG5NVEMJ5ABKDF","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"K3SG5NVE","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:K3SG5NVEMJ5ABKDFUCWJTHQKTD","target":"record","payload":{"canonical_record":{"source":{"id":"1203.6025","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-26T14:03:38Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"1c39a865fbef9c34970f05ce513ffcc7a8120ee4a15c560ef657206426e932e7","abstract_canon_sha256":"6508750974841e8c5551ed3281b4f6ba605b29b85a4032ee4f4d41e6bc6b457c"},"schema_version":"1.0"},"canonical_sha256":"56e46eb6a4627a00a865a0ac999e0a98e0c84c14b3a8e7bfcc6eace6a7058d2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:25.594853Z","signature_b64":"PYuSec6/MoxYquqxFDA+OGr3kb7I+SO3/xnbgfX2i1Vdd3QXrpnhfpPsF86yp5BmR0R0mAxKP8g3T1rmKWK3Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56e46eb6a4627a00a865a0ac999e0a98e0c84c14b3a8e7bfcc6eace6a7058d2f","last_reissued_at":"2026-05-18T03:54:25.594214Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:25.594214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.6025","source_version":2,"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-18T03:54:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OKTxvBDsbw5ZZ6ccF7p+WoRQojo2sGmooskMbuJA5XDradkCWVGSsRZ/OZAvEaSHFw4AujYKMF8VDDMNHptMDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:25:27.503073Z"},"content_sha256":"b1c5a27afbd56139dceb4d4190574fc812d29705c3589ae430744c9d475f51cd","schema_version":"1.0","event_id":"sha256:b1c5a27afbd56139dceb4d4190574fc812d29705c3589ae430744c9d475f51cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:K3SG5NVEMJ5ABKDFUCWJTHQKTD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A \"Hybrid\" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.SY","authors_text":"Deepak Kapur, Hengjun Zhao, Kim G. Larsen, Naijun Zhan","submitted_at":"2012-03-26T14:03:38Z","abstract_excerpt":"In this paper, we propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quantifier elimination; furthermore, we also show how to combine quantifier elimination with numerical computation in order to make it more scalable but at the same time, keep arising errors due to discretization manageable and within bounds. A major advantage of our approach is not only that it avoids errors due to numerical computation, but it also gives a better optimal controller. In order to illustrate our approach, we use the real industrial example of an oil pump provided by the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6025","kind":"arxiv","version":2},"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-18T03:54:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gnxwxb+ooh3kwZ3vwdUOY63sIo26AEt4PTBEhQE59fMP3vZ9RJXt4YsqBakZ8Wcfn2WfhyHS7h8vtVxUW/JrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T04:25:27.503802Z"},"content_sha256":"b1311e9bf2b261e64a9bd13a2c0378a18d3089573eaf066068b567fe215c6e36","schema_version":"1.0","event_id":"sha256:b1311e9bf2b261e64a9bd13a2c0378a18d3089573eaf066068b567fe215c6e36"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD/bundle.json","state_url":"https://pith.science/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD/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-25T04:25:27Z","links":{"resolver":"https://pith.science/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD","bundle":"https://pith.science/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD/bundle.json","state":"https://pith.science/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K3SG5NVEMJ5ABKDFUCWJTHQKTD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:K3SG5NVEMJ5ABKDFUCWJTHQKTD","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":"6508750974841e8c5551ed3281b4f6ba605b29b85a4032ee4f4d41e6bc6b457c","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-26T14:03:38Z","title_canon_sha256":"1c39a865fbef9c34970f05ce513ffcc7a8120ee4a15c560ef657206426e932e7"},"schema_version":"1.0","source":{"id":"1203.6025","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6025","created_at":"2026-05-18T03:54:25Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6025v2","created_at":"2026-05-18T03:54:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6025","created_at":"2026-05-18T03:54:25Z"},{"alias_kind":"pith_short_12","alias_value":"K3SG5NVEMJ5A","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"K3SG5NVEMJ5ABKDF","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"K3SG5NVE","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:b1311e9bf2b261e64a9bd13a2c0378a18d3089573eaf066068b567fe215c6e36","target":"graph","created_at":"2026-05-18T03:54:25Z","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 propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quantifier elimination; furthermore, we also show how to combine quantifier elimination with numerical computation in order to make it more scalable but at the same time, keep arising errors due to discretization manageable and within bounds. A major advantage of our approach is not only that it avoids errors due to numerical computation, but it also gives a better optimal controller. In order to illustrate our approach, we use the real industrial example of an oil pump provided by the","authors_text":"Deepak Kapur, Hengjun Zhao, Kim G. Larsen, Naijun Zhan","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-26T14:03:38Z","title":"A \"Hybrid\" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6025","kind":"arxiv","version":2},"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:b1c5a27afbd56139dceb4d4190574fc812d29705c3589ae430744c9d475f51cd","target":"record","created_at":"2026-05-18T03:54:25Z","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":"6508750974841e8c5551ed3281b4f6ba605b29b85a4032ee4f4d41e6bc6b457c","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-26T14:03:38Z","title_canon_sha256":"1c39a865fbef9c34970f05ce513ffcc7a8120ee4a15c560ef657206426e932e7"},"schema_version":"1.0","source":{"id":"1203.6025","kind":"arxiv","version":2}},"canonical_sha256":"56e46eb6a4627a00a865a0ac999e0a98e0c84c14b3a8e7bfcc6eace6a7058d2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56e46eb6a4627a00a865a0ac999e0a98e0c84c14b3a8e7bfcc6eace6a7058d2f","first_computed_at":"2026-05-18T03:54:25.594214Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:54:25.594214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PYuSec6/MoxYquqxFDA+OGr3kb7I+SO3/xnbgfX2i1Vdd3QXrpnhfpPsF86yp5BmR0R0mAxKP8g3T1rmKWK3Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:54:25.594853Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.6025","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b1c5a27afbd56139dceb4d4190574fc812d29705c3589ae430744c9d475f51cd","sha256:b1311e9bf2b261e64a9bd13a2c0378a18d3089573eaf066068b567fe215c6e36"],"state_sha256":"70d0e0041ebcdab640868fb1ddc4f7b9fa4ec7282e06c95327df0700072316b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DRqcZsz1oZ3z/gtGVxE2pK4puT5B2sYTViSHtnVYdDlUj/H+l1isAwdc02aVPSllmSxR02zQ7CAuMUkVUsrDCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T04:25:27.507408Z","bundle_sha256":"359e3d3d4b4297a4438153de58cae68dbdaee79ff889707d678e14ce6b694397"}}