{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:IZSGM47HMTR35GPS6ELT3CUR5I","short_pith_number":"pith:IZSGM47H","canonical_record":{"source":{"id":"2310.14116","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-21T21:13:47Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5da74bb1ff7cf31c854fb23b99d8e0d7baeb021ea13e88b66112be070b000d46","abstract_canon_sha256":"78f2f05a3f3dd1a2f52595e4a8e508c2bda6eadedb48e9df5f6c373933c50ba5"},"schema_version":"1.0"},"canonical_sha256":"46646673e764e3be99f2f1173d8a91ea1ea6b0c25e8570639a79d4f33893967d","source":{"kind":"arxiv","id":"2310.14116","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.14116","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"arxiv_version","alias_value":"2310.14116v2","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.14116","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"pith_short_12","alias_value":"IZSGM47HMTR3","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"pith_short_16","alias_value":"IZSGM47HMTR35GPS","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"pith_short_8","alias_value":"IZSGM47H","created_at":"2026-07-05T09:06:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:IZSGM47HMTR35GPS6ELT3CUR5I","target":"record","payload":{"canonical_record":{"source":{"id":"2310.14116","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-21T21:13:47Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5da74bb1ff7cf31c854fb23b99d8e0d7baeb021ea13e88b66112be070b000d46","abstract_canon_sha256":"78f2f05a3f3dd1a2f52595e4a8e508c2bda6eadedb48e9df5f6c373933c50ba5"},"schema_version":"1.0"},"canonical_sha256":"46646673e764e3be99f2f1173d8a91ea1ea6b0c25e8570639a79d4f33893967d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:06:55.594934Z","signature_b64":"D58Ke6og8mw2ZDj3od3hSMmhkfSOGCZlGaSOgHZPkl11yeKPZ92XddHKA+mBdZFT7UDpKHreFyy/jcvC7zCjBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"46646673e764e3be99f2f1173d8a91ea1ea6b0c25e8570639a79d4f33893967d","last_reissued_at":"2026-07-05T09:06:55.594446Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:06:55.594446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.14116","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-07-05T09:06:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxpYh9AUDJOIzmCrcUFvjJcIC/svMjKLrSgNxWXurzmiNYsB6tK8Dr7VRmlUsE6QfG4ZEy6NMAHknGF5fI0RCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:17:26.704047Z"},"content_sha256":"13dca2c4707593575459094139541ea3cd14b93e7a290d8bbd66ad69b5f985f3","schema_version":"1.0","event_id":"sha256:13dca2c4707593575459094139541ea3cd14b93e7a290d8bbd66ad69b5f985f3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:IZSGM47HMTR35GPS6ELT3CUR5I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Qi Heng Ho, Rayan Mazouz, Tyler Becker, Zachary N. Sunberg, Zakariya Laouar","submitted_at":"2023-10-21T21:13:47Z","abstract_excerpt":"In this paper, we present a controller framework that synthesizes control policies for Jump Markov Linear Systems subject to stochastic mode switches and imperfect mode estimation. Our approach builds on safe and robust methods for Model Predictive Control (MPC), but in contrast to existing approaches that either optimize without regard to feasibility or utilize soft constraints that increase computational requirements, we employ a safe and robust control approach informed by the feasibility of the optimization problem. We formulate and encode finite horizon safety for multiple model systems i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.14116","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/2310.14116/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-07-05T09:06:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YoM60Lg3cmVLsvfIelfo9eI+brCb7/PKyqtD6LEdcVyCeAkGyUwDquTDyYpsPAAyrD9fEZ0XAHhaZy4Os8IVCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:17:26.704573Z"},"content_sha256":"98ee3342373b211e84217e6a76fa97b663e1eabaec93dd42b47299d727378839","schema_version":"1.0","event_id":"sha256:98ee3342373b211e84217e6a76fa97b663e1eabaec93dd42b47299d727378839"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IZSGM47HMTR35GPS6ELT3CUR5I/bundle.json","state_url":"https://pith.science/pith/IZSGM47HMTR35GPS6ELT3CUR5I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IZSGM47HMTR35GPS6ELT3CUR5I/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-08-13T06:17:26Z","links":{"resolver":"https://pith.science/pith/IZSGM47HMTR35GPS6ELT3CUR5I","bundle":"https://pith.science/pith/IZSGM47HMTR35GPS6ELT3CUR5I/bundle.json","state":"https://pith.science/pith/IZSGM47HMTR35GPS6ELT3CUR5I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IZSGM47HMTR35GPS6ELT3CUR5I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:IZSGM47HMTR35GPS6ELT3CUR5I","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":"78f2f05a3f3dd1a2f52595e4a8e508c2bda6eadedb48e9df5f6c373933c50ba5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-21T21:13:47Z","title_canon_sha256":"5da74bb1ff7cf31c854fb23b99d8e0d7baeb021ea13e88b66112be070b000d46"},"schema_version":"1.0","source":{"id":"2310.14116","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.14116","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"arxiv_version","alias_value":"2310.14116v2","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.14116","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"pith_short_12","alias_value":"IZSGM47HMTR3","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"pith_short_16","alias_value":"IZSGM47HMTR35GPS","created_at":"2026-07-05T09:06:55Z"},{"alias_kind":"pith_short_8","alias_value":"IZSGM47H","created_at":"2026-07-05T09:06:55Z"}],"graph_snapshots":[{"event_id":"sha256:98ee3342373b211e84217e6a76fa97b663e1eabaec93dd42b47299d727378839","target":"graph","created_at":"2026-07-05T09:06:55Z","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/2310.14116/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present a controller framework that synthesizes control policies for Jump Markov Linear Systems subject to stochastic mode switches and imperfect mode estimation. Our approach builds on safe and robust methods for Model Predictive Control (MPC), but in contrast to existing approaches that either optimize without regard to feasibility or utilize soft constraints that increase computational requirements, we employ a safe and robust control approach informed by the feasibility of the optimization problem. We formulate and encode finite horizon safety for multiple model systems i","authors_text":"Qi Heng Ho, Rayan Mazouz, Tyler Becker, Zachary N. Sunberg, Zakariya Laouar","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-21T21:13:47Z","title":"Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.14116","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:13dca2c4707593575459094139541ea3cd14b93e7a290d8bbd66ad69b5f985f3","target":"record","created_at":"2026-07-05T09:06:55Z","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":"78f2f05a3f3dd1a2f52595e4a8e508c2bda6eadedb48e9df5f6c373933c50ba5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-21T21:13:47Z","title_canon_sha256":"5da74bb1ff7cf31c854fb23b99d8e0d7baeb021ea13e88b66112be070b000d46"},"schema_version":"1.0","source":{"id":"2310.14116","kind":"arxiv","version":2}},"canonical_sha256":"46646673e764e3be99f2f1173d8a91ea1ea6b0c25e8570639a79d4f33893967d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"46646673e764e3be99f2f1173d8a91ea1ea6b0c25e8570639a79d4f33893967d","first_computed_at":"2026-07-05T09:06:55.594446Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:06:55.594446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D58Ke6og8mw2ZDj3od3hSMmhkfSOGCZlGaSOgHZPkl11yeKPZ92XddHKA+mBdZFT7UDpKHreFyy/jcvC7zCjBg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:06:55.594934Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.14116","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13dca2c4707593575459094139541ea3cd14b93e7a290d8bbd66ad69b5f985f3","sha256:98ee3342373b211e84217e6a76fa97b663e1eabaec93dd42b47299d727378839"],"state_sha256":"7e66a7e94da83423e0a310ae616193cfdfd72ef3df27d5ad899a9f7ae4a69a62"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6M0T2wqJVmDnx1nn5Um2N7JlDh19bF+0FC1kEqPdnbYqPTc6ZYuGCRwdWJyCSjCjEpx+jHHIB/aID6G0AUSEDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T06:17:26.711915Z","bundle_sha256":"c8391c3aabdb9d6da2134bc76236edfc1be8fcc4b8bdf4bb9b47bc075ceba8f7"}}