{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:DRA6RPCLCF3URGQK42NF3SBDKY","short_pith_number":"pith:DRA6RPCL","canonical_record":{"source":{"id":"1204.2857","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-04-12T23:23:56Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"5c191d25c5b0d443a5566cbd7f26816bf48dea7d75d29650476e60e0bf21bb99","abstract_canon_sha256":"2202fad95b283bf73a6526b1bbfce4a8ffaa9613a1bb9b3a888e7418e00fa644"},"schema_version":"1.0"},"canonical_sha256":"1c41e8bc4b1177489a0ae69a5dc823561c2dc0bda5b55f18fa51c99dbcecaa39","source":{"kind":"arxiv","id":"1204.2857","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.2857","created_at":"2026-05-18T03:58:02Z"},{"alias_kind":"arxiv_version","alias_value":"1204.2857v1","created_at":"2026-05-18T03:58:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.2857","created_at":"2026-05-18T03:58:02Z"},{"alias_kind":"pith_short_12","alias_value":"DRA6RPCLCF3U","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DRA6RPCLCF3URGQK","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DRA6RPCL","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:DRA6RPCLCF3URGQK42NF3SBDKY","target":"record","payload":{"canonical_record":{"source":{"id":"1204.2857","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-04-12T23:23:56Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"5c191d25c5b0d443a5566cbd7f26816bf48dea7d75d29650476e60e0bf21bb99","abstract_canon_sha256":"2202fad95b283bf73a6526b1bbfce4a8ffaa9613a1bb9b3a888e7418e00fa644"},"schema_version":"1.0"},"canonical_sha256":"1c41e8bc4b1177489a0ae69a5dc823561c2dc0bda5b55f18fa51c99dbcecaa39","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:58:02.674126Z","signature_b64":"IaHRtVcOXbr0HbFsDoMpA/uSNvMRX5rv1d5F7BBehVTtUI2Mjac0WAMp64BlMJZJMfI3oMgFS76/nle/cghcBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c41e8bc4b1177489a0ae69a5dc823561c2dc0bda5b55f18fa51c99dbcecaa39","last_reissued_at":"2026-05-18T03:58:02.673440Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:58:02.673440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.2857","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-18T03:58:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"27l5HQu5C0oUXziARgyRAQPuPHhX3LfiSDCpNHWqlCc9Y/2BpcFsW5hqgeHca+oqoEBb/Bw0ojdugj9krHW6CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:22:01.659627Z"},"content_sha256":"f568f179589cdeee95c3b20db7b35856b2c422864f4b65e62d2900bf5d9c938e","schema_version":"1.0","event_id":"sha256:f568f179589cdeee95c3b20db7b35856b2c422864f4b65e62d2900bf5d9c938e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:DRA6RPCLCF3URGQK42NF3SBDKY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis of Minimal Error Control Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.SY","authors_text":"Indranil Saha, Majid Zamani, Rupak Majumdar","submitted_at":"2012-04-12T23:23:56Z","abstract_excerpt":"Software implementations of controllers for physical systems are at the core of many embedded systems. The design of controllers uses the theory of dynamical systems to construct a mathematical control law that ensures that the controlled system has certain properties, such as asymptotic convergence to an equilibrium point, while optimizing some performance criteria. However, owing to quantization errors arising from the use of fixed-point arithmetic, the implementation of this control law can only guarantee practical stability: under the actions of the implementation, the trajectories of the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.2857","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-18T03:58:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uAilVcPn798WVhAowumJmUNSyBa41GCviIDpDzzyz0tGmtbWmIym/MOJxg2i1HUs4iVlHoIYzisg/hoB8EHRAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:22:01.660264Z"},"content_sha256":"50388aa9949095ffbcee7ed79b42fb52750c0c4b8e7a7f87db853ebd82ab3ab7","schema_version":"1.0","event_id":"sha256:50388aa9949095ffbcee7ed79b42fb52750c0c4b8e7a7f87db853ebd82ab3ab7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DRA6RPCLCF3URGQK42NF3SBDKY/bundle.json","state_url":"https://pith.science/pith/DRA6RPCLCF3URGQK42NF3SBDKY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DRA6RPCLCF3URGQK42NF3SBDKY/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-06-07T17:22:01Z","links":{"resolver":"https://pith.science/pith/DRA6RPCLCF3URGQK42NF3SBDKY","bundle":"https://pith.science/pith/DRA6RPCLCF3URGQK42NF3SBDKY/bundle.json","state":"https://pith.science/pith/DRA6RPCLCF3URGQK42NF3SBDKY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DRA6RPCLCF3URGQK42NF3SBDKY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:DRA6RPCLCF3URGQK42NF3SBDKY","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":"2202fad95b283bf73a6526b1bbfce4a8ffaa9613a1bb9b3a888e7418e00fa644","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-04-12T23:23:56Z","title_canon_sha256":"5c191d25c5b0d443a5566cbd7f26816bf48dea7d75d29650476e60e0bf21bb99"},"schema_version":"1.0","source":{"id":"1204.2857","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.2857","created_at":"2026-05-18T03:58:02Z"},{"alias_kind":"arxiv_version","alias_value":"1204.2857v1","created_at":"2026-05-18T03:58:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.2857","created_at":"2026-05-18T03:58:02Z"},{"alias_kind":"pith_short_12","alias_value":"DRA6RPCLCF3U","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"DRA6RPCLCF3URGQK","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"DRA6RPCL","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:50388aa9949095ffbcee7ed79b42fb52750c0c4b8e7a7f87db853ebd82ab3ab7","target":"graph","created_at":"2026-05-18T03:58:02Z","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":"Software implementations of controllers for physical systems are at the core of many embedded systems. The design of controllers uses the theory of dynamical systems to construct a mathematical control law that ensures that the controlled system has certain properties, such as asymptotic convergence to an equilibrium point, while optimizing some performance criteria. However, owing to quantization errors arising from the use of fixed-point arithmetic, the implementation of this control law can only guarantee practical stability: under the actions of the implementation, the trajectories of the ","authors_text":"Indranil Saha, Majid Zamani, Rupak Majumdar","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-04-12T23:23:56Z","title":"Synthesis of Minimal Error Control Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.2857","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:f568f179589cdeee95c3b20db7b35856b2c422864f4b65e62d2900bf5d9c938e","target":"record","created_at":"2026-05-18T03:58:02Z","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":"2202fad95b283bf73a6526b1bbfce4a8ffaa9613a1bb9b3a888e7418e00fa644","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-04-12T23:23:56Z","title_canon_sha256":"5c191d25c5b0d443a5566cbd7f26816bf48dea7d75d29650476e60e0bf21bb99"},"schema_version":"1.0","source":{"id":"1204.2857","kind":"arxiv","version":1}},"canonical_sha256":"1c41e8bc4b1177489a0ae69a5dc823561c2dc0bda5b55f18fa51c99dbcecaa39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c41e8bc4b1177489a0ae69a5dc823561c2dc0bda5b55f18fa51c99dbcecaa39","first_computed_at":"2026-05-18T03:58:02.673440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:58:02.673440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IaHRtVcOXbr0HbFsDoMpA/uSNvMRX5rv1d5F7BBehVTtUI2Mjac0WAMp64BlMJZJMfI3oMgFS76/nle/cghcBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:58:02.674126Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.2857","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f568f179589cdeee95c3b20db7b35856b2c422864f4b65e62d2900bf5d9c938e","sha256:50388aa9949095ffbcee7ed79b42fb52750c0c4b8e7a7f87db853ebd82ab3ab7"],"state_sha256":"abd4cd8e10d8ce155bc1fde77e6957210fc3f66d25d4af6b4e437919e29534cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DOkvMv5pwvNTPmlTaR1i32QnZhSwSB3GOCH1OBLLui/N6/TnkTiGUe+VOulaK9+zxZPMamzWR7LSUyotbNtAAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T17:22:01.663667Z","bundle_sha256":"b8aacce1d03c4d243ef734c350d8169f04c8447e482bde776e78c92a9066c99e"}}