{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:QDJ5EXJD3WG6F3P3UB64K2SQEI","short_pith_number":"pith:QDJ5EXJD","canonical_record":{"source":{"id":"1604.00863","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T14:04:22Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5b9fc3ca45bc4ca0f105f3008f0b0cf86b8651ceb5965f7478023026cd526d82","abstract_canon_sha256":"59663ea722b28a5a5a1bb213e44c5a85fac81f9b1679c0e0be18c65920458547"},"schema_version":"1.0"},"canonical_sha256":"80d3d25d23dd8de2edfba07dc56a50221cd0893e23ca04fe41be2f54388e51e7","source":{"kind":"arxiv","id":"1604.00863","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.00863","created_at":"2026-05-18T01:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"1604.00863v1","created_at":"2026-05-18T01:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00863","created_at":"2026-05-18T01:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"QDJ5EXJD3WG6","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"QDJ5EXJD3WG6F3P3","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"QDJ5EXJD","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:QDJ5EXJD3WG6F3P3UB64K2SQEI","target":"record","payload":{"canonical_record":{"source":{"id":"1604.00863","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T14:04:22Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5b9fc3ca45bc4ca0f105f3008f0b0cf86b8651ceb5965f7478023026cd526d82","abstract_canon_sha256":"59663ea722b28a5a5a1bb213e44c5a85fac81f9b1679c0e0be18c65920458547"},"schema_version":"1.0"},"canonical_sha256":"80d3d25d23dd8de2edfba07dc56a50221cd0893e23ca04fe41be2f54388e51e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:47.985310Z","signature_b64":"X2rSZMsWgbLVoMj1OAKocQDBzQTcjgSFCZU2DVkEi/nj9nItzePXXpRc181U2Fq6ec7op6+09eCFJabSpyt5Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80d3d25d23dd8de2edfba07dc56a50221cd0893e23ca04fe41be2f54388e51e7","last_reissued_at":"2026-05-18T01:17:47.984584Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:47.984584Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.00863","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:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"loyhVfVHuPRpduOy09oKcVJ4akrShszZKIoTJtjKmG4bMoWE3hmtvbkdjQsxylBNHhCiHbecC3l5wYhZtln5Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:25:12.141002Z"},"content_sha256":"85d5f72592559da176088ce314d7de78e955d21661b7ba8f37433599adb10213","schema_version":"1.0","event_id":"sha256:85d5f72592559da176088ce314d7de78e955d21661b7ba8f37433599adb10213"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:QDJ5EXJD3WG6F3P3UB64K2SQEI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stability analysis of Model Predictive Controllers using Mixed Integer Linear Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Daniel Simon, Johan L\\\"ofberg","submitted_at":"2016-04-04T14:04:22Z","abstract_excerpt":"It is a well known fact that finite time optimal controllers, such as MPC does not necessarily result in closed loop stable systems. Within the MPC community it is common practice to add a final state constraint and/or a final state penalty in order to obtain guaranteed stability. However, for more advanced controller structures it can be difficult to show stability using these techniques. Additionally in some cases the final state constraint set consists of so many inequalities that the complexity of the MPC problem is too big for use in certain fast and time critical applications. In this pa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00863","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:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nUDuoX8E9SI5IWjlYbFuLKVcG4AelHrn7uSlhfx+Ar/n2xVEJ6FObbkrYhXfzWDDvXHFQz+I7nLiOed2FL/9Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:25:12.141706Z"},"content_sha256":"f3d0b79afeecf83df436abadd22ba07cc27088719a17f068b1798dee344c7b2e","schema_version":"1.0","event_id":"sha256:f3d0b79afeecf83df436abadd22ba07cc27088719a17f068b1798dee344c7b2e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI/bundle.json","state_url":"https://pith.science/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI/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-11T21:25:12Z","links":{"resolver":"https://pith.science/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI","bundle":"https://pith.science/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI/bundle.json","state":"https://pith.science/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QDJ5EXJD3WG6F3P3UB64K2SQEI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:QDJ5EXJD3WG6F3P3UB64K2SQEI","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":"59663ea722b28a5a5a1bb213e44c5a85fac81f9b1679c0e0be18c65920458547","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T14:04:22Z","title_canon_sha256":"5b9fc3ca45bc4ca0f105f3008f0b0cf86b8651ceb5965f7478023026cd526d82"},"schema_version":"1.0","source":{"id":"1604.00863","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.00863","created_at":"2026-05-18T01:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"1604.00863v1","created_at":"2026-05-18T01:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00863","created_at":"2026-05-18T01:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"QDJ5EXJD3WG6","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"QDJ5EXJD3WG6F3P3","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"QDJ5EXJD","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:f3d0b79afeecf83df436abadd22ba07cc27088719a17f068b1798dee344c7b2e","target":"graph","created_at":"2026-05-18T01:17:47Z","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":"It is a well known fact that finite time optimal controllers, such as MPC does not necessarily result in closed loop stable systems. Within the MPC community it is common practice to add a final state constraint and/or a final state penalty in order to obtain guaranteed stability. However, for more advanced controller structures it can be difficult to show stability using these techniques. Additionally in some cases the final state constraint set consists of so many inequalities that the complexity of the MPC problem is too big for use in certain fast and time critical applications. In this pa","authors_text":"Daniel Simon, Johan L\\\"ofberg","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T14:04:22Z","title":"Stability analysis of Model Predictive Controllers using Mixed Integer Linear Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00863","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:85d5f72592559da176088ce314d7de78e955d21661b7ba8f37433599adb10213","target":"record","created_at":"2026-05-18T01:17:47Z","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":"59663ea722b28a5a5a1bb213e44c5a85fac81f9b1679c0e0be18c65920458547","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T14:04:22Z","title_canon_sha256":"5b9fc3ca45bc4ca0f105f3008f0b0cf86b8651ceb5965f7478023026cd526d82"},"schema_version":"1.0","source":{"id":"1604.00863","kind":"arxiv","version":1}},"canonical_sha256":"80d3d25d23dd8de2edfba07dc56a50221cd0893e23ca04fe41be2f54388e51e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"80d3d25d23dd8de2edfba07dc56a50221cd0893e23ca04fe41be2f54388e51e7","first_computed_at":"2026-05-18T01:17:47.984584Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:47.984584Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X2rSZMsWgbLVoMj1OAKocQDBzQTcjgSFCZU2DVkEi/nj9nItzePXXpRc181U2Fq6ec7op6+09eCFJabSpyt5Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:47.985310Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.00863","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85d5f72592559da176088ce314d7de78e955d21661b7ba8f37433599adb10213","sha256:f3d0b79afeecf83df436abadd22ba07cc27088719a17f068b1798dee344c7b2e"],"state_sha256":"ba90a1d567e3b053ca9e85d9f05ba1692a2620c73e92dd32f878ad0577615e7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g4TjK1qnzg/jPLaXHyX+N/nTnTJ3iuvsp8rMhhkNl1NupTdpXnRUJI3tm+Dz2tDp3hDUEUeu0fYDxWPUYLBGCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T21:25:12.146644Z","bundle_sha256":"294d7686e59307dae47c5c4e425ad992c3346d9368992d06443f2d0b41b0f53d"}}