{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:FEKCGIZW2ZSYJARGX4MIKA6724","short_pith_number":"pith:FEKCGIZW","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"},"canonical_sha256":"2914232336d665848226bf188503dfd733b0c8e3da73cf9fd7c5904987558e7d","source":{"kind":"arxiv","id":"2412.12930","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.12930","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"arxiv_version","alias_value":"2412.12930v2","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.12930","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"pith_short_12","alias_value":"FEKCGIZW2ZSY","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"pith_short_16","alias_value":"FEKCGIZW2ZSYJARG","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"pith_short_8","alias_value":"FEKCGIZW","created_at":"2026-05-27T01:05:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:FEKCGIZW2ZSYJARGX4MIKA6724","target":"record","payload":{"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"},"canonical_sha256":"2914232336d665848226bf188503dfd733b0c8e3da73cf9fd7c5904987558e7d","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"},"source_kind":"arxiv","source_id":"2412.12930","source_version":2,"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-27T01:05:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4wHVCHVz16YJGtWXP7ncqGzzyhLiuyX7Q7uPbyT0jfB7x7tfLfFvXdpbOrNA83NJFtoKYYsHs1+uQxy204JLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:50:55.694717Z"},"content_sha256":"9b51acadce7f0e5034823b80375832a742d9be72e0700431617e5cd188e23ba5","schema_version":"1.0","event_id":"sha256:9b51acadce7f0e5034823b80375832a742d9be72e0700431617e5cd188e23ba5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:FEKCGIZW2ZSYJARGX4MIKA6724","target":"graph","payload":{"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"},"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-27T01:05:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"phlsph/M5yKuA0AqFvtrR70iaMGqHyyNPWjuy0GO/kyd+VBp8CVUbhZkKifFku90Ypbtuyzi+/0kmlxTuS2jBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:50:55.695100Z"},"content_sha256":"a4535f845e929fe691e92d4c109aab1a992b724d17dfdf8491382826bfad1a79","schema_version":"1.0","event_id":"sha256:a4535f845e929fe691e92d4c109aab1a992b724d17dfdf8491382826bfad1a79"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/bundle.json","state_url":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FEKCGIZW2ZSYJARGX4MIKA6724/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-28T16:50:55Z","links":{"resolver":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724","bundle":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/bundle.json","state":"https://pith.science/pith/FEKCGIZW2ZSYJARGX4MIKA6724/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FEKCGIZW2ZSYJARGX4MIKA6724/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FEKCGIZW2ZSYJARGX4MIKA6724","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":"ceaefc095f7e1760bce4d79b95310a0970fbabbd1c7b44de2cfc93f6abb47027","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-17T14:07:44Z","title_canon_sha256":"c74524b194e77467cc6aee8b43d9c2e8bdf97c030930bfebef139666b2f11571"},"schema_version":"1.0","source":{"id":"2412.12930","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.12930","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"arxiv_version","alias_value":"2412.12930v2","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.12930","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"pith_short_12","alias_value":"FEKCGIZW2ZSY","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"pith_short_16","alias_value":"FEKCGIZW2ZSYJARG","created_at":"2026-05-27T01:05:33Z"},{"alias_kind":"pith_short_8","alias_value":"FEKCGIZW","created_at":"2026-05-27T01:05:33Z"}],"graph_snapshots":[{"event_id":"sha256:a4535f845e929fe691e92d4c109aab1a992b724d17dfdf8491382826bfad1a79","target":"graph","created_at":"2026-05-27T01:05:33Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.12930/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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 ","authors_text":"Benjamin Unger, Mattia Manucci, Michael Kartmann, Stefan Volkwein","cross_cats":["cs.NA","math.NA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-17T14:07:44Z","title":"Certified Model Predictive Control for Switched Evolution Equations using Model Order Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.12930","kind":"arxiv","version":2},"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:9b51acadce7f0e5034823b80375832a742d9be72e0700431617e5cd188e23ba5","target":"record","created_at":"2026-05-27T01:05:33Z","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":"ceaefc095f7e1760bce4d79b95310a0970fbabbd1c7b44de2cfc93f6abb47027","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-12-17T14:07:44Z","title_canon_sha256":"c74524b194e77467cc6aee8b43d9c2e8bdf97c030930bfebef139666b2f11571"},"schema_version":"1.0","source":{"id":"2412.12930","kind":"arxiv","version":2}},"canonical_sha256":"2914232336d665848226bf188503dfd733b0c8e3da73cf9fd7c5904987558e7d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2914232336d665848226bf188503dfd733b0c8e3da73cf9fd7c5904987558e7d","first_computed_at":"2026-05-27T01:05:33.063887Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T01:05:33.063887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7eMpdpwTQ9flJkkMZzCT9HsmcllLD0EXa5ifxJvKvkT3OEBhrZNhbR/EoY5CUWlTwRYADMcp5tNCWl5iJQKiCQ==","signature_status":"signed_v1","signed_at":"2026-05-27T01:05:33.064409Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.12930","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b51acadce7f0e5034823b80375832a742d9be72e0700431617e5cd188e23ba5","sha256:a4535f845e929fe691e92d4c109aab1a992b724d17dfdf8491382826bfad1a79"],"state_sha256":"4b1ac285d1ce5d2d348375b5c3c10b20494d20a901d1ca1909d2b24e33c2e7a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5XRYJm6mWJi++5rl056TamfQdPAEangVLoazcAA8w7uXAHdOxzESQHPG14yhH1FlNP2Q6il+4a7OwPGAiwxVDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T16:50:55.697334Z","bundle_sha256":"973e684ec00424da69b086beaf012bd6ae59ec9fbff18e3ede7a38a09c808b8c"}}