{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:XUYAPIQNWOU6WXT62JSTRPQGZC","short_pith_number":"pith:XUYAPIQN","canonical_record":{"source":{"id":"2210.04361","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-10-09T22:12:50Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY","math.DS"],"title_canon_sha256":"e1b872e4ddb6e6f07ddb0293bc0fdaba49600c14b04d6394eb1abd349cd3a5d6","abstract_canon_sha256":"61fbd3c18b1052d1bdeda5cb318245f033f38ab563ce8ba48750216fc450d279"},"schema_version":"1.0"},"canonical_sha256":"bd3007a20db3a9eb5e7ed26538be06c8a1e45759f6a1539996afab13317ce242","source":{"kind":"arxiv","id":"2210.04361","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.04361","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"arxiv_version","alias_value":"2210.04361v3","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.04361","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"pith_short_12","alias_value":"XUYAPIQNWOU6","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"pith_short_16","alias_value":"XUYAPIQNWOU6WXT6","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"pith_short_8","alias_value":"XUYAPIQN","created_at":"2026-07-05T06:30:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:XUYAPIQNWOU6WXT62JSTRPQGZC","target":"record","payload":{"canonical_record":{"source":{"id":"2210.04361","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-10-09T22:12:50Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY","math.DS"],"title_canon_sha256":"e1b872e4ddb6e6f07ddb0293bc0fdaba49600c14b04d6394eb1abd349cd3a5d6","abstract_canon_sha256":"61fbd3c18b1052d1bdeda5cb318245f033f38ab563ce8ba48750216fc450d279"},"schema_version":"1.0"},"canonical_sha256":"bd3007a20db3a9eb5e7ed26538be06c8a1e45759f6a1539996afab13317ce242","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:30:26.251754Z","signature_b64":"c0bhIzy4YH7Ycb1XoiYG9i7P5tui25K7PNcWdJpZbySpvBqs+xQd6a0l0HjTxwG259dJ4PJnaG9NWlHETBMlAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd3007a20db3a9eb5e7ed26538be06c8a1e45759f6a1539996afab13317ce242","last_reissued_at":"2026-07-05T06:30:26.251260Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:30:26.251260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.04361","source_version":3,"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-05T06:30:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fwSvZ2tFVcjMtmTgv5auFIzRJy8Yt7PPg9JKwDQdf0T23jRDtUaU44UjpEWFC8TqjC2NwujTurfCCjOxQGMOBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T21:22:05.716536Z"},"content_sha256":"34f590081dbf5e4eeedadac4324fe082aabfd0d5e10759ff1b22bac9f7f08b34","schema_version":"1.0","event_id":"sha256:34f590081dbf5e4eeedadac4324fe082aabfd0d5e10759ff1b22bac9f7f08b34"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:XUYAPIQNWOU6WXT62JSTRPQGZC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY","math.DS"],"primary_cat":"math.OC","authors_text":"Calin A. Belta, Jun Zeng, Koushil Sreenath, Shuo Liu","submitted_at":"2022-10-09T22:12:50Z","abstract_excerpt":"Safety is one of the fundamental challenges in control theory. Recently, multi-step optimal control problems for discrete-time dynamical systems were formulated to enforce stability, while subject to input constraints as well as safety-critical requirements using discrete-time control barrier functions within a model predictive control (MPC) framework. Existing work usually focus on the feasibility or the safety for the optimization problem, and the majority of the existing work restrict the discussions to relative-degree one control barrier functions. Additionally, the real-time computation i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.04361","kind":"arxiv","version":3},"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/2210.04361/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-05T06:30:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aPJLpAemlrElkjn1HIDdr5OSp5uWYJ0hvZ2D7Keh55nKzGdOVD9hQwMPuUf2U8gb6BC3X5BRtpIVuVsAUDbtBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T21:22:05.717044Z"},"content_sha256":"898b9eda745377388c4a9e6e632396d68f384b7335a76180e34bfd78d5e48e7c","schema_version":"1.0","event_id":"sha256:898b9eda745377388c4a9e6e632396d68f384b7335a76180e34bfd78d5e48e7c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XUYAPIQNWOU6WXT62JSTRPQGZC/bundle.json","state_url":"https://pith.science/pith/XUYAPIQNWOU6WXT62JSTRPQGZC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XUYAPIQNWOU6WXT62JSTRPQGZC/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-19T21:22:05Z","links":{"resolver":"https://pith.science/pith/XUYAPIQNWOU6WXT62JSTRPQGZC","bundle":"https://pith.science/pith/XUYAPIQNWOU6WXT62JSTRPQGZC/bundle.json","state":"https://pith.science/pith/XUYAPIQNWOU6WXT62JSTRPQGZC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XUYAPIQNWOU6WXT62JSTRPQGZC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:XUYAPIQNWOU6WXT62JSTRPQGZC","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":"61fbd3c18b1052d1bdeda5cb318245f033f38ab563ce8ba48750216fc450d279","cross_cats_sorted":["cs.RO","cs.SY","eess.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-10-09T22:12:50Z","title_canon_sha256":"e1b872e4ddb6e6f07ddb0293bc0fdaba49600c14b04d6394eb1abd349cd3a5d6"},"schema_version":"1.0","source":{"id":"2210.04361","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.04361","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"arxiv_version","alias_value":"2210.04361v3","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.04361","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"pith_short_12","alias_value":"XUYAPIQNWOU6","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"pith_short_16","alias_value":"XUYAPIQNWOU6WXT6","created_at":"2026-07-05T06:30:26Z"},{"alias_kind":"pith_short_8","alias_value":"XUYAPIQN","created_at":"2026-07-05T06:30:26Z"}],"graph_snapshots":[{"event_id":"sha256:898b9eda745377388c4a9e6e632396d68f384b7335a76180e34bfd78d5e48e7c","target":"graph","created_at":"2026-07-05T06:30:26Z","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/2210.04361/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety is one of the fundamental challenges in control theory. Recently, multi-step optimal control problems for discrete-time dynamical systems were formulated to enforce stability, while subject to input constraints as well as safety-critical requirements using discrete-time control barrier functions within a model predictive control (MPC) framework. Existing work usually focus on the feasibility or the safety for the optimization problem, and the majority of the existing work restrict the discussions to relative-degree one control barrier functions. Additionally, the real-time computation i","authors_text":"Calin A. Belta, Jun Zeng, Koushil Sreenath, Shuo Liu","cross_cats":["cs.RO","cs.SY","eess.SY","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-10-09T22:12:50Z","title":"Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.04361","kind":"arxiv","version":3},"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:34f590081dbf5e4eeedadac4324fe082aabfd0d5e10759ff1b22bac9f7f08b34","target":"record","created_at":"2026-07-05T06:30:26Z","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":"61fbd3c18b1052d1bdeda5cb318245f033f38ab563ce8ba48750216fc450d279","cross_cats_sorted":["cs.RO","cs.SY","eess.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-10-09T22:12:50Z","title_canon_sha256":"e1b872e4ddb6e6f07ddb0293bc0fdaba49600c14b04d6394eb1abd349cd3a5d6"},"schema_version":"1.0","source":{"id":"2210.04361","kind":"arxiv","version":3}},"canonical_sha256":"bd3007a20db3a9eb5e7ed26538be06c8a1e45759f6a1539996afab13317ce242","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd3007a20db3a9eb5e7ed26538be06c8a1e45759f6a1539996afab13317ce242","first_computed_at":"2026-07-05T06:30:26.251260Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:30:26.251260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c0bhIzy4YH7Ycb1XoiYG9i7P5tui25K7PNcWdJpZbySpvBqs+xQd6a0l0HjTxwG259dJ4PJnaG9NWlHETBMlAA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:30:26.251754Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.04361","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34f590081dbf5e4eeedadac4324fe082aabfd0d5e10759ff1b22bac9f7f08b34","sha256:898b9eda745377388c4a9e6e632396d68f384b7335a76180e34bfd78d5e48e7c"],"state_sha256":"9bcbd52285359ebaeb5c6ff051cc4d73fdca3099306f5c3d94e71b9826518c7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cvhn/AKg+xCwn+qDiZnLub4WgHPMBwqD5+rm/PsknE/lZazfM2cfQWLk5iR3DqGnsxNkbmHf7NL+gyPzQBLNDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T21:22:05.721481Z","bundle_sha256":"444a2ad537fb2c4cc383d10fa37d744b9838c70bd933893cc5cc3d74da356d24"}}