{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:2YMJDTFBP4WMMC6R3G6KV2I6QF","short_pith_number":"pith:2YMJDTFB","schema_version":"1.0","canonical_sha256":"d61891cca17f2cc60bd1d9bcaae91e81449bd91499d61d7a3b5428b57a770f3e","source":{"kind":"arxiv","id":"2408.12457","version":1},"attestation_state":"computed","paper":{"title":"Data-driven MPC with terminal conditions in the Koopman framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Frank Allg\\\"ower, Julian Berberich, Karl Worthmann, Manuel Schaller, Robin Str\\\"asser","submitted_at":"2024-08-22T14:55:06Z","abstract_excerpt":"We investigate nonlinear model predictive control (MPC) with terminal conditions in the Koopman framework using extended dynamic mode decomposition (EDMD) to generate a data-based surrogate model for prediction and optimization. We rigorously show recursive feasibility and prove practical asymptotic stability w.r.t. the approximation accuracy. To this end, finite-data error bounds are employed. The construction of the terminal conditions is based on recently derived proportional error bounds to ensure the required Lyapunov decrease. Finally, we illustrate the effectiveness of the proposed data"},"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":"2408.12457","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-08-22T14:55:06Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"9475e9bced21a87b41c61a89be288d9566f7677c966e78894b727e103ca3f189","abstract_canon_sha256":"3938e4bc4f5d9b491f3b06db79473c0861ed912d0b8fabfdfde35d6131257117"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:20:39.462863Z","signature_b64":"RYc/kGP+xPai7x969jK4yai+3e1odVzrGPt6yWQSmgAl31t0Bgj5/icTne/tyT5eDRZ0vRUdWyCDcLbWvlqmDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d61891cca17f2cc60bd1d9bcaae91e81449bd91499d61d7a3b5428b57a770f3e","last_reissued_at":"2026-07-05T10:20:39.462326Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:20:39.462326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Data-driven MPC with terminal conditions in the Koopman framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Frank Allg\\\"ower, Julian Berberich, Karl Worthmann, Manuel Schaller, Robin Str\\\"asser","submitted_at":"2024-08-22T14:55:06Z","abstract_excerpt":"We investigate nonlinear model predictive control (MPC) with terminal conditions in the Koopman framework using extended dynamic mode decomposition (EDMD) to generate a data-based surrogate model for prediction and optimization. We rigorously show recursive feasibility and prove practical asymptotic stability w.r.t. the approximation accuracy. To this end, finite-data error bounds are employed. The construction of the terminal conditions is based on recently derived proportional error bounds to ensure the required Lyapunov decrease. Finally, we illustrate the effectiveness of the proposed data"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.12457","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.12457/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":"2408.12457","created_at":"2026-07-05T10:20:39.462394+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.12457v1","created_at":"2026-07-05T10:20:39.462394+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.12457","created_at":"2026-07-05T10:20:39.462394+00:00"},{"alias_kind":"pith_short_12","alias_value":"2YMJDTFBP4WM","created_at":"2026-07-05T10:20:39.462394+00:00"},{"alias_kind":"pith_short_16","alias_value":"2YMJDTFBP4WMMC6R","created_at":"2026-07-05T10:20:39.462394+00:00"},{"alias_kind":"pith_short_8","alias_value":"2YMJDTFB","created_at":"2026-07-05T10:20:39.462394+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF","json":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF.json","graph_json":"https://pith.science/api/pith-number/2YMJDTFBP4WMMC6R3G6KV2I6QF/graph.json","events_json":"https://pith.science/api/pith-number/2YMJDTFBP4WMMC6R3G6KV2I6QF/events.json","paper":"https://pith.science/paper/2YMJDTFB"},"agent_actions":{"view_html":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF","download_json":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF.json","view_paper":"https://pith.science/paper/2YMJDTFB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.12457&json=true","fetch_graph":"https://pith.science/api/pith-number/2YMJDTFBP4WMMC6R3G6KV2I6QF/graph.json","fetch_events":"https://pith.science/api/pith-number/2YMJDTFBP4WMMC6R3G6KV2I6QF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF/action/storage_attestation","attest_author":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF/action/author_attestation","sign_citation":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF/action/citation_signature","submit_replication":"https://pith.science/pith/2YMJDTFBP4WMMC6R3G6KV2I6QF/action/replication_record"}},"created_at":"2026-07-05T10:20:39.462394+00:00","updated_at":"2026-07-05T10:20:39.462394+00:00"}