{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:UZRN5LHXBIEPXFK4GIFT3PEY5T","short_pith_number":"pith:UZRN5LHX","canonical_record":{"source":{"id":"1208.2429","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-08-12T13:40:18Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"e49e0bf1bcbc54acdc8e23fc70024080b47b5907de64b40a731eaf9cb8e565c3","abstract_canon_sha256":"f98fe0ce293e7bbd90263686cacb7efe0d15f65d783ad43236742f8201bc92aa"},"schema_version":"1.0"},"canonical_sha256":"a662deacf70a08fb955c320b3dbc98ecde5ec4f6fcc79f5b956a508d98684f8c","source":{"kind":"arxiv","id":"1208.2429","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.2429","created_at":"2026-05-18T03:48:57Z"},{"alias_kind":"arxiv_version","alias_value":"1208.2429v1","created_at":"2026-05-18T03:48:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.2429","created_at":"2026-05-18T03:48:57Z"},{"alias_kind":"pith_short_12","alias_value":"UZRN5LHXBIEP","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UZRN5LHXBIEPXFK4","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UZRN5LHX","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:UZRN5LHXBIEPXFK4GIFT3PEY5T","target":"record","payload":{"canonical_record":{"source":{"id":"1208.2429","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-08-12T13:40:18Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"e49e0bf1bcbc54acdc8e23fc70024080b47b5907de64b40a731eaf9cb8e565c3","abstract_canon_sha256":"f98fe0ce293e7bbd90263686cacb7efe0d15f65d783ad43236742f8201bc92aa"},"schema_version":"1.0"},"canonical_sha256":"a662deacf70a08fb955c320b3dbc98ecde5ec4f6fcc79f5b956a508d98684f8c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:48:57.893048Z","signature_b64":"TnJbWdrytQJhnJk04QA3jTFfRBBbrgKfL3q5l4tgmF73fy+iC5AmXNXLsmARXLYjsmSLyuzqyEec+9nB6Y6OCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a662deacf70a08fb955c320b3dbc98ecde5ec4f6fcc79f5b956a508d98684f8c","last_reissued_at":"2026-05-18T03:48:57.892443Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:48:57.892443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1208.2429","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:48:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TKhorcBgcaClWCc3ljQgC9I7eCZkEdMrx9gELeapdmssh+vqdH+VJsT7B527MYWN9UdKfxh/+LckIu0yvzdcDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:28:19.817054Z"},"content_sha256":"3b85ffcf87fd11af1d0631df04a45b3b30dfb1d219e69c1fd9cf86fd122b9df0","schema_version":"1.0","event_id":"sha256:3b85ffcf87fd11af1d0631df04a45b3b30dfb1d219e69c1fd9cf86fd122b9df0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:UZRN5LHXBIEPXFK4GIFT3PEY5T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Linear model predictive control based on polyhedral control Lyapunov functions: theory and applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Gabriele Pannocchia, Sergio Grammatico","submitted_at":"2012-08-12T13:40:18Z","abstract_excerpt":"Polyhedral control Lyapunov functions (PCLFs) are exploited in finite-horizon linear model predictive control formulations in order to guarantee the maximal domain of attraction (DoA), in contrast to traditional formulations based on quadratic control Lyapunov functions. In particular, the terminal region is chosen as the largest DoA, namely the entire controllable set, which is parametrized by a level set of a suitable PCLF. Closed-loop stability of the origin is guaranteed either by using an \"inflated\" PCLF as terminal cost or by adding a contraction constraint for the PCLF evaluated at the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.2429","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:48:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"peIakPL+NVberDCpX1qt9jhtIrU0Y0jRBPQcD03RY2D5g/JdbGhi7iRdyjWxoyM4m1UrDc8Hj6earu/5JRjODA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:28:19.817737Z"},"content_sha256":"7c4e9330ffa8c51670ef2766e66bdfa6bc36463c4ed0ee88cd90674ea160d56f","schema_version":"1.0","event_id":"sha256:7c4e9330ffa8c51670ef2766e66bdfa6bc36463c4ed0ee88cd90674ea160d56f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T/bundle.json","state_url":"https://pith.science/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T/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-31T18:28:19Z","links":{"resolver":"https://pith.science/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T","bundle":"https://pith.science/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T/bundle.json","state":"https://pith.science/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UZRN5LHXBIEPXFK4GIFT3PEY5T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UZRN5LHXBIEPXFK4GIFT3PEY5T","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":"f98fe0ce293e7bbd90263686cacb7efe0d15f65d783ad43236742f8201bc92aa","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-08-12T13:40:18Z","title_canon_sha256":"e49e0bf1bcbc54acdc8e23fc70024080b47b5907de64b40a731eaf9cb8e565c3"},"schema_version":"1.0","source":{"id":"1208.2429","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.2429","created_at":"2026-05-18T03:48:57Z"},{"alias_kind":"arxiv_version","alias_value":"1208.2429v1","created_at":"2026-05-18T03:48:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.2429","created_at":"2026-05-18T03:48:57Z"},{"alias_kind":"pith_short_12","alias_value":"UZRN5LHXBIEP","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UZRN5LHXBIEPXFK4","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UZRN5LHX","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:7c4e9330ffa8c51670ef2766e66bdfa6bc36463c4ed0ee88cd90674ea160d56f","target":"graph","created_at":"2026-05-18T03:48:57Z","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":"Polyhedral control Lyapunov functions (PCLFs) are exploited in finite-horizon linear model predictive control formulations in order to guarantee the maximal domain of attraction (DoA), in contrast to traditional formulations based on quadratic control Lyapunov functions. In particular, the terminal region is chosen as the largest DoA, namely the entire controllable set, which is parametrized by a level set of a suitable PCLF. Closed-loop stability of the origin is guaranteed either by using an \"inflated\" PCLF as terminal cost or by adding a contraction constraint for the PCLF evaluated at the ","authors_text":"Gabriele Pannocchia, Sergio Grammatico","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-08-12T13:40:18Z","title":"Linear model predictive control based on polyhedral control Lyapunov functions: theory and applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.2429","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:3b85ffcf87fd11af1d0631df04a45b3b30dfb1d219e69c1fd9cf86fd122b9df0","target":"record","created_at":"2026-05-18T03:48:57Z","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":"f98fe0ce293e7bbd90263686cacb7efe0d15f65d783ad43236742f8201bc92aa","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-08-12T13:40:18Z","title_canon_sha256":"e49e0bf1bcbc54acdc8e23fc70024080b47b5907de64b40a731eaf9cb8e565c3"},"schema_version":"1.0","source":{"id":"1208.2429","kind":"arxiv","version":1}},"canonical_sha256":"a662deacf70a08fb955c320b3dbc98ecde5ec4f6fcc79f5b956a508d98684f8c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a662deacf70a08fb955c320b3dbc98ecde5ec4f6fcc79f5b956a508d98684f8c","first_computed_at":"2026-05-18T03:48:57.892443Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:48:57.892443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TnJbWdrytQJhnJk04QA3jTFfRBBbrgKfL3q5l4tgmF73fy+iC5AmXNXLsmARXLYjsmSLyuzqyEec+9nB6Y6OCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:48:57.893048Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.2429","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b85ffcf87fd11af1d0631df04a45b3b30dfb1d219e69c1fd9cf86fd122b9df0","sha256:7c4e9330ffa8c51670ef2766e66bdfa6bc36463c4ed0ee88cd90674ea160d56f"],"state_sha256":"6ba214eb9e0604092ebbc78d6d6edda284ac4c8c48fa018102ea857c89202b0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YNtXZn0yuvwy/0Rf67tAofM6klTD1MtSnG2L1+jK3rwIHKGuFuw3DyChBDIdKL1psZ5XzvnMxUO0wrK0JCBdAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T18:28:19.820080Z","bundle_sha256":"3491b664b090d9a13500cc1f41ad3ee7c747a893decdb216b0d293fe77c5bed6"}}