{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:FEKCGIZW2ZSYJARGX4MIKA6724","short_pith_number":"pith:FEKCGIZW","schema_version":"1.0","canonical_sha256":"2914232336d665848226bf188503dfd733b0c8e3da73cf9fd7c5904987558e7d","source":{"kind":"arxiv","id":"2412.12930","version":2},"attestation_state":"computed","paper":{"title":"Certified Model Predictive Control for Switched Evolution Equations using Model Order Reduction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"math.OC","authors_text":"Benjamin Unger, Mattia Manucci, Michael Kartmann, Stefan Volkwein","submitted_at":"2024-12-17T14:07:44Z","abstract_excerpt":"We present a model predictive control (MPC) framework for linear switched evolution equations arising from a parabolic partial differential equation (PDE). First-order optimality conditions for the resulting finite-horizon optimal control problems are derived. The analysis allows for the incorporation of convex control constraints and sparse regularization. Then, to mitigate the computational burden of the MPC procedure, we employ Galerkin reduced-order modeling (ROM) techniques to obtain a low-dimensional surrogate for the state-adjoint systems. We derive recursive a-posteriori estimates for "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2412.12930","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-17T14:07:44Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"c74524b194e77467cc6aee8b43d9c2e8bdf97c030930bfebef139666b2f11571","abstract_canon_sha256":"ceaefc095f7e1760bce4d79b95310a0970fbabbd1c7b44de2cfc93f6abb47027"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:05:33.064409Z","signature_b64":"7eMpdpwTQ9flJkkMZzCT9HsmcllLD0EXa5ifxJvKvkT3OEBhrZNhbR/EoY5CUWlTwRYADMcp5tNCWl5iJQKiCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2914232336d665848226bf188503dfd733b0c8e3da73cf9fd7c5904987558e7d","last_reissued_at":"2026-05-27T01:05:33.063887Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:05:33.063887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Certified Model Predictive Control for Switched Evolution Equations using Model Order Reduction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"math.OC","authors_text":"Benjamin Unger, Mattia Manucci, Michael Kartmann, Stefan Volkwein","submitted_at":"2024-12-17T14:07:44Z","abstract_excerpt":"We present a model predictive control (MPC) framework for linear switched evolution equations arising from a parabolic partial differential equation (PDE). First-order optimality conditions for the resulting finite-horizon optimal control problems are derived. The analysis allows for the incorporation of convex control constraints and sparse regularization. Then, to mitigate the computational burden of the MPC procedure, we employ Galerkin reduced-order modeling (ROM) techniques to obtain a low-dimensional surrogate for the state-adjoint systems. We derive recursive a-posteriori estimates for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.12930","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.12930/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.12930","created_at":"2026-05-27T01:05:33.063943+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.12930v2","created_at":"2026-05-27T01:05:33.063943+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.12930","created_at":"2026-05-27T01:05:33.063943+00:00"},{"alias_kind":"pith_short_12","alias_value":"FEKCGIZW2ZSY","created_at":"2026-05-27T01:05:33.063943+00:00"},{"alias_kind":"pith_short_16","alias_value":"FEKCGIZW2ZSYJARG","created_at":"2026-05-27T01:05:33.063943+00:00"},{"alias_kind":"pith_short_8","alias_value":"FEKCGIZW","created_at":"2026-05-27T01:05:33.063943+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2601.13039","citing_title":"Model Reduction for Switched Linear Systems via Generalized Lyapunov Equations","ref_index":24,"is_internal_anchor":true},{"citing_arxiv_id":"2604.15846","citing_title":"Finite-Dimensional MOR-Based RHC for Steering 2D Navier-Stokes Equations to Desired Trajectories","ref_index":28,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724","json":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724.json","graph_json":"https://pith.science/api/pith-number/FEKCGIZW2ZSYJARGX4MIKA6724/graph.json","events_json":"https://pith.science/api/pith-number/FEKCGIZW2ZSYJARGX4MIKA6724/events.json","paper":"https://pith.science/paper/FEKCGIZW"},"agent_actions":{"view_html":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724","download_json":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724.json","view_paper":"https://pith.science/paper/FEKCGIZW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.12930&json=true","fetch_graph":"https://pith.science/api/pith-number/FEKCGIZW2ZSYJARGX4MIKA6724/graph.json","fetch_events":"https://pith.science/api/pith-number/FEKCGIZW2ZSYJARGX4MIKA6724/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/action/storage_attestation","attest_author":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/action/author_attestation","sign_citation":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/action/citation_signature","submit_replication":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/action/replication_record"}},"created_at":"2026-05-27T01:05:33.063943+00:00","updated_at":"2026-05-27T01:05:33.063943+00:00"}