{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FKF2NNE4JXRFI23VWLXOZF3XFP","short_pith_number":"pith:FKF2NNE4","canonical_record":{"source":{"id":"2507.13872","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-18T12:50:47Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"a84f757778fce7a1b2238e28d4c6ac8716c53b966448d6803e0933c2cf7c4637","abstract_canon_sha256":"7fecca3d6f12950483a61cdac63f76f646e665ec1781d5682dd5d40643107816"},"schema_version":"1.0"},"canonical_sha256":"2a8ba6b49c4de2546b75b2eeec97772bf0a73a057d03b714c051dc5696895ce9","source":{"kind":"arxiv","id":"2507.13872","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.13872","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"arxiv_version","alias_value":"2507.13872v1","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.13872","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"pith_short_12","alias_value":"FKF2NNE4JXRF","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"pith_short_16","alias_value":"FKF2NNE4JXRFI23V","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"pith_short_8","alias_value":"FKF2NNE4","created_at":"2026-07-05T11:39:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FKF2NNE4JXRFI23VWLXOZF3XFP","target":"record","payload":{"canonical_record":{"source":{"id":"2507.13872","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-18T12:50:47Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"a84f757778fce7a1b2238e28d4c6ac8716c53b966448d6803e0933c2cf7c4637","abstract_canon_sha256":"7fecca3d6f12950483a61cdac63f76f646e665ec1781d5682dd5d40643107816"},"schema_version":"1.0"},"canonical_sha256":"2a8ba6b49c4de2546b75b2eeec97772bf0a73a057d03b714c051dc5696895ce9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:39:24.752731Z","signature_b64":"D5cRRV6WyR80nKmlRPeL6UYpTffNQNMJdBChJoAbKd1pxHdSvOHmnycPNZT3SlyakwsElB3ngPVNtqUwCJb8DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a8ba6b49c4de2546b75b2eeec97772bf0a73a057d03b714c051dc5696895ce9","last_reissued_at":"2026-07-05T11:39:24.752267Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:39:24.752267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.13872","source_version":1,"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-05T11:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ezLg9LTaCtXxpKwuuHJhCdMqkRx3RtpYGMVZHjKQKtnUBHPvPOIXdqjCCg3R9d8ljXpk+tybX2i1i8qPL20dAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:56:33.115258Z"},"content_sha256":"08904b96b873f1327c39ade6d339b80aad017200d3452fc9a71ad4f099d897e7","schema_version":"1.0","event_id":"sha256:08904b96b873f1327c39ade6d339b80aad017200d3452fc9a71ad4f099d897e7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FKF2NNE4JXRFI23VWLXOZF3XFP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Aastha Mishra, Aditya Singh, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","submitted_at":"2025-07-18T12:50:47Z","abstract_excerpt":"Ensuring both performance and safety is critical for autonomous systems operating in real-world environments. While safety filters such as Control Barrier Functions (CBFs) enforce constraints by modifying nominal controllers in real time, they can become overly conservative when the nominal policy lacks safety awareness. Conversely, solving State-Constrained Optimal Control Problems (SC-OCPs) via dynamic programming offers formal guarantees but is intractable in high-dimensional systems. In this work, we propose a novel two-stage framework that combines gradient-based Model Predictive Control "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.13872","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/2507.13872/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-05T11:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g4CMTzW3V+PcCBAuX3U4qMYUMemV1SQ8ZvKP+6fDdChswsQmJVzDPAgVWrt5FqvJ/lZ5H57NGhQtn9BNDhv4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T07:56:33.116158Z"},"content_sha256":"b556983b851709e785f2453af91b901393ec437d553c038f8356e640ab44b5f5","schema_version":"1.0","event_id":"sha256:b556983b851709e785f2453af91b901393ec437d553c038f8356e640ab44b5f5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FKF2NNE4JXRFI23VWLXOZF3XFP/bundle.json","state_url":"https://pith.science/pith/FKF2NNE4JXRFI23VWLXOZF3XFP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FKF2NNE4JXRFI23VWLXOZF3XFP/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-09T07:56:33Z","links":{"resolver":"https://pith.science/pith/FKF2NNE4JXRFI23VWLXOZF3XFP","bundle":"https://pith.science/pith/FKF2NNE4JXRFI23VWLXOZF3XFP/bundle.json","state":"https://pith.science/pith/FKF2NNE4JXRFI23VWLXOZF3XFP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FKF2NNE4JXRFI23VWLXOZF3XFP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FKF2NNE4JXRFI23VWLXOZF3XFP","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":"7fecca3d6f12950483a61cdac63f76f646e665ec1781d5682dd5d40643107816","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-18T12:50:47Z","title_canon_sha256":"a84f757778fce7a1b2238e28d4c6ac8716c53b966448d6803e0933c2cf7c4637"},"schema_version":"1.0","source":{"id":"2507.13872","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.13872","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"arxiv_version","alias_value":"2507.13872v1","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.13872","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"pith_short_12","alias_value":"FKF2NNE4JXRF","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"pith_short_16","alias_value":"FKF2NNE4JXRFI23V","created_at":"2026-07-05T11:39:24Z"},{"alias_kind":"pith_short_8","alias_value":"FKF2NNE4","created_at":"2026-07-05T11:39:24Z"}],"graph_snapshots":[{"event_id":"sha256:b556983b851709e785f2453af91b901393ec437d553c038f8356e640ab44b5f5","target":"graph","created_at":"2026-07-05T11:39:24Z","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/2507.13872/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring both performance and safety is critical for autonomous systems operating in real-world environments. While safety filters such as Control Barrier Functions (CBFs) enforce constraints by modifying nominal controllers in real time, they can become overly conservative when the nominal policy lacks safety awareness. Conversely, solving State-Constrained Optimal Control Problems (SC-OCPs) via dynamic programming offers formal guarantees but is intractable in high-dimensional systems. In this work, we propose a novel two-stage framework that combines gradient-based Model Predictive Control ","authors_text":"Aastha Mishra, Aditya Singh, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.13872","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:08904b96b873f1327c39ade6d339b80aad017200d3452fc9a71ad4f099d897e7","target":"record","created_at":"2026-07-05T11:39:24Z","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":"7fecca3d6f12950483a61cdac63f76f646e665ec1781d5682dd5d40643107816","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-18T12:50:47Z","title_canon_sha256":"a84f757778fce7a1b2238e28d4c6ac8716c53b966448d6803e0933c2cf7c4637"},"schema_version":"1.0","source":{"id":"2507.13872","kind":"arxiv","version":1}},"canonical_sha256":"2a8ba6b49c4de2546b75b2eeec97772bf0a73a057d03b714c051dc5696895ce9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a8ba6b49c4de2546b75b2eeec97772bf0a73a057d03b714c051dc5696895ce9","first_computed_at":"2026-07-05T11:39:24.752267Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:39:24.752267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D5cRRV6WyR80nKmlRPeL6UYpTffNQNMJdBChJoAbKd1pxHdSvOHmnycPNZT3SlyakwsElB3ngPVNtqUwCJb8DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:39:24.752731Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.13872","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08904b96b873f1327c39ade6d339b80aad017200d3452fc9a71ad4f099d897e7","sha256:b556983b851709e785f2453af91b901393ec437d553c038f8356e640ab44b5f5"],"state_sha256":"4543cc1373e9378ed24122950e53ef6d25e164e8a4455022b61d0f6f2c4f7b7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h5xF31nsTKPe4D4Q0OsAOK+GxpeG9nolU/FJu5G/ca8SMeAg5eA8RqPv77xMs6x5S498kLRwm3UWA8rutykWCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T07:56:33.124483Z","bundle_sha256":"573fae13aa9d7af79a02d88fdbc57fd046b0320c4f95b74bbcdcab0e7be72fac"}}