{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:HCPBKSM6BYN4VLINFDUPONKRND","short_pith_number":"pith:HCPBKSM6","canonical_record":{"source":{"id":"1508.04310","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-18T13:28:07Z","cross_cats_sorted":[],"title_canon_sha256":"ba2595757891dfa48038fc5807cc38969931798bea7ccab261eb62b236c43f71","abstract_canon_sha256":"885c76f8abfcb12b4d104d0198821b7083ad49b896181ff4d0ed30c74924d0dd"},"schema_version":"1.0"},"canonical_sha256":"389e15499e0e1bcaad0d28e8f7355168dfa1026946c559b10f175f0d2a1b3cb4","source":{"kind":"arxiv","id":"1508.04310","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.04310","created_at":"2026-05-18T01:35:05Z"},{"alias_kind":"arxiv_version","alias_value":"1508.04310v1","created_at":"2026-05-18T01:35:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.04310","created_at":"2026-05-18T01:35:05Z"},{"alias_kind":"pith_short_12","alias_value":"HCPBKSM6BYN4","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"HCPBKSM6BYN4VLIN","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"HCPBKSM6","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:HCPBKSM6BYN4VLINFDUPONKRND","target":"record","payload":{"canonical_record":{"source":{"id":"1508.04310","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-18T13:28:07Z","cross_cats_sorted":[],"title_canon_sha256":"ba2595757891dfa48038fc5807cc38969931798bea7ccab261eb62b236c43f71","abstract_canon_sha256":"885c76f8abfcb12b4d104d0198821b7083ad49b896181ff4d0ed30c74924d0dd"},"schema_version":"1.0"},"canonical_sha256":"389e15499e0e1bcaad0d28e8f7355168dfa1026946c559b10f175f0d2a1b3cb4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:05.671802Z","signature_b64":"jCOKEAkPBQyHd5ugRmnYgn/Skj4LUK8KZszBTb10DZDSbTigQqa68QHracICl6axv5z8ftnIQQu1s8q5bxSaCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"389e15499e0e1bcaad0d28e8f7355168dfa1026946c559b10f175f0d2a1b3cb4","last_reissued_at":"2026-05-18T01:35:05.671205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:05.671205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.04310","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-18T01:35:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hO6oqLkkVW+zzWwbQ7k9fbtjT5tgm1yjKU+cRKrRY4jhXp1+j7E15LuSnhLycXcEOqX9NnxtSonZ5YoUd84RAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:26:34.519619Z"},"content_sha256":"35e00ceac84eded043e2580bd868718ea0a9688dc28136d8f2f823e04eaf0e28","schema_version":"1.0","event_id":"sha256:35e00ceac84eded043e2580bd868718ea0a9688dc28136d8f2f823e04eaf0e28"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:HCPBKSM6BYN4VLINFDUPONKRND","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A State-Dependent Updating Period For Certified Real-Time Model Predictive Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Mazen Alamir","submitted_at":"2015-08-18T13:28:07Z","abstract_excerpt":"In this paper, a state-dependent control updating period framework is proposed that leads to real-time implementable Model Predictive Control with certified practical stability results and constraints satisfaction. The scheme is illustrated and validated using new certification bound that is derived in the case where the Fast Gradient iteration is used through a penalty method to solve generally constrained convex optimization problems. Both the certification bound computation and its use in the state-dependent updating period framework are illustrated in the particular case of linear MPC. An "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.04310","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-18T01:35:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nj3kDNeSvS7AOVSKUWPEogTYbCEm1aFdNeWjpJjq8j98m6OxwKRkhJDjNJws2eMiP4lwcC9S1/BSuY1O2Gu7CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:26:34.519962Z"},"content_sha256":"c01b8d4c67875a7a00209f8f168dc2ed52c17ede101583ad48319924c34bc1d7","schema_version":"1.0","event_id":"sha256:c01b8d4c67875a7a00209f8f168dc2ed52c17ede101583ad48319924c34bc1d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HCPBKSM6BYN4VLINFDUPONKRND/bundle.json","state_url":"https://pith.science/pith/HCPBKSM6BYN4VLINFDUPONKRND/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HCPBKSM6BYN4VLINFDUPONKRND/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-02T18:26:34Z","links":{"resolver":"https://pith.science/pith/HCPBKSM6BYN4VLINFDUPONKRND","bundle":"https://pith.science/pith/HCPBKSM6BYN4VLINFDUPONKRND/bundle.json","state":"https://pith.science/pith/HCPBKSM6BYN4VLINFDUPONKRND/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HCPBKSM6BYN4VLINFDUPONKRND/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HCPBKSM6BYN4VLINFDUPONKRND","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":"885c76f8abfcb12b4d104d0198821b7083ad49b896181ff4d0ed30c74924d0dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-18T13:28:07Z","title_canon_sha256":"ba2595757891dfa48038fc5807cc38969931798bea7ccab261eb62b236c43f71"},"schema_version":"1.0","source":{"id":"1508.04310","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.04310","created_at":"2026-05-18T01:35:05Z"},{"alias_kind":"arxiv_version","alias_value":"1508.04310v1","created_at":"2026-05-18T01:35:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.04310","created_at":"2026-05-18T01:35:05Z"},{"alias_kind":"pith_short_12","alias_value":"HCPBKSM6BYN4","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"HCPBKSM6BYN4VLIN","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"HCPBKSM6","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:c01b8d4c67875a7a00209f8f168dc2ed52c17ede101583ad48319924c34bc1d7","target":"graph","created_at":"2026-05-18T01:35:05Z","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, a state-dependent control updating period framework is proposed that leads to real-time implementable Model Predictive Control with certified practical stability results and constraints satisfaction. The scheme is illustrated and validated using new certification bound that is derived in the case where the Fast Gradient iteration is used through a penalty method to solve generally constrained convex optimization problems. Both the certification bound computation and its use in the state-dependent updating period framework are illustrated in the particular case of linear MPC. An ","authors_text":"Mazen Alamir","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-18T13:28:07Z","title":"A State-Dependent Updating Period For Certified Real-Time Model Predictive Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.04310","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:35e00ceac84eded043e2580bd868718ea0a9688dc28136d8f2f823e04eaf0e28","target":"record","created_at":"2026-05-18T01:35:05Z","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":"885c76f8abfcb12b4d104d0198821b7083ad49b896181ff4d0ed30c74924d0dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-18T13:28:07Z","title_canon_sha256":"ba2595757891dfa48038fc5807cc38969931798bea7ccab261eb62b236c43f71"},"schema_version":"1.0","source":{"id":"1508.04310","kind":"arxiv","version":1}},"canonical_sha256":"389e15499e0e1bcaad0d28e8f7355168dfa1026946c559b10f175f0d2a1b3cb4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"389e15499e0e1bcaad0d28e8f7355168dfa1026946c559b10f175f0d2a1b3cb4","first_computed_at":"2026-05-18T01:35:05.671205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:05.671205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jCOKEAkPBQyHd5ugRmnYgn/Skj4LUK8KZszBTb10DZDSbTigQqa68QHracICl6axv5z8ftnIQQu1s8q5bxSaCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:05.671802Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.04310","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35e00ceac84eded043e2580bd868718ea0a9688dc28136d8f2f823e04eaf0e28","sha256:c01b8d4c67875a7a00209f8f168dc2ed52c17ede101583ad48319924c34bc1d7"],"state_sha256":"db3796cbd07f152f19d124ebc7f8f19eec9e4686b5acc59990a42e5e43b2ed47"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nzs2rXJz1qAIl2j+GynA7jCJBIChrI886in2WOlhR032xqTcRQwRX1S8Qm52CpfVOPLthgjzN54UT0KBHsZgCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T18:26:34.521941Z","bundle_sha256":"89a43d58fdac4c37b04f2f69e8f3f5b9433b046d3bc5251da8568e2ae60acc40"}}