{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:FTEGGSACSUMDHTAP5DMJUARBVY","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":"9681be5bcff8113eb746d4aebcde5eb7221f5a66378f0090cf09f8910fba7d21","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-21T17:22:07Z","title_canon_sha256":"a6e4e6fb16a3c1f25d342444c36579fdfff680d2f681941a2354a48c3303077a"},"schema_version":"1.0","source":{"id":"1903.09117","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.09117","created_at":"2026-05-17T23:50:43Z"},{"alias_kind":"arxiv_version","alias_value":"1903.09117v1","created_at":"2026-05-17T23:50:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.09117","created_at":"2026-05-17T23:50:43Z"},{"alias_kind":"pith_short_12","alias_value":"FTEGGSACSUMD","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"FTEGGSACSUMDHTAP","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"FTEGGSAC","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:bbbecc97e3976782f8b8aa9c9bcac6e132c5d86eb0f446074ca3829ddce3ba21","target":"graph","created_at":"2026-05-17T23:50:43Z","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":"Mixed-integer model predictive control (MI-MPC) requires the solution of a mixed-integer quadratic program (MIQP) at each sampling instant under strict timing constraints, where part of the state and control variables can only assume a discrete set of values. Several applications in automotive, aerospace and hybrid systems are practical examples of how such discrete-valued variables arise. We utilize the sequential nature and the problem structure of MI-MPC in order to provide a branch-and-bound algorithm that can exploit not only the block-sparse optimal control structure of the problem but t","authors_text":"Pedro Hespanhol, Rien Quirynen, Stefano Di Cairano","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-21T17:22:07Z","title":"A Structure Exploiting Branch-and-Bound Algorithm for Mixed-Integer Model Predictive Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.09117","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:64cdbb43488b954c74a854995a9e519cb9f45150a36784e94dba6591cb9ef96d","target":"record","created_at":"2026-05-17T23:50:43Z","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":"9681be5bcff8113eb746d4aebcde5eb7221f5a66378f0090cf09f8910fba7d21","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-21T17:22:07Z","title_canon_sha256":"a6e4e6fb16a3c1f25d342444c36579fdfff680d2f681941a2354a48c3303077a"},"schema_version":"1.0","source":{"id":"1903.09117","kind":"arxiv","version":1}},"canonical_sha256":"2cc8634802951833cc0fe8d89a0221ae316ada994921b998a3a0382c2c9d9198","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2cc8634802951833cc0fe8d89a0221ae316ada994921b998a3a0382c2c9d9198","first_computed_at":"2026-05-17T23:50:43.207772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:43.207772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"13oNHWIc+LvaD2wsUVpruS6vOuBSqOYq6M7ha4aNZoOZcwDIHhMjPCt0YpxeAoD3F6uCNgfnb6s/fmuge4ezBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:43.208156Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.09117","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:64cdbb43488b954c74a854995a9e519cb9f45150a36784e94dba6591cb9ef96d","sha256:bbbecc97e3976782f8b8aa9c9bcac6e132c5d86eb0f446074ca3829ddce3ba21"],"state_sha256":"d5af969960960b710216e069e6ae0977e7a5b273837b4a2227a73c8aee454284"}