{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:LFKVORAQURBFCMFXP4WMRJHWEA","short_pith_number":"pith:LFKVORAQ","canonical_record":{"source":{"id":"2506.23346","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T17:41:37Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"b56480d566b64353602e4699abd312c8b66b2cd0b7cb84f0457db969efdd210e","abstract_canon_sha256":"f784d4f26e29013cb6e874cd2d128e9601c41507d9ce9cf195bd57103abdc4f9"},"schema_version":"1.0"},"canonical_sha256":"5955574410a4425130b77f2cc8a4f6202914be88aa6d1e7dfc311ad828ae5d4c","source":{"kind":"arxiv","id":"2506.23346","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.23346","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"arxiv_version","alias_value":"2506.23346v1","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23346","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"pith_short_12","alias_value":"LFKVORAQURBF","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"pith_short_16","alias_value":"LFKVORAQURBFCMFX","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"pith_short_8","alias_value":"LFKVORAQ","created_at":"2026-07-05T11:29:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:LFKVORAQURBFCMFXP4WMRJHWEA","target":"record","payload":{"canonical_record":{"source":{"id":"2506.23346","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T17:41:37Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"b56480d566b64353602e4699abd312c8b66b2cd0b7cb84f0457db969efdd210e","abstract_canon_sha256":"f784d4f26e29013cb6e874cd2d128e9601c41507d9ce9cf195bd57103abdc4f9"},"schema_version":"1.0"},"canonical_sha256":"5955574410a4425130b77f2cc8a4f6202914be88aa6d1e7dfc311ad828ae5d4c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:29:20.237207Z","signature_b64":"0GXt5Sw8i/6LEwswMJt58WwRfkiblunWHV8nnoXO9pzSRTEn5B2SMxxf9pioJT6TajOxWCC0boazXNgbQuPFBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5955574410a4425130b77f2cc8a4f6202914be88aa6d1e7dfc311ad828ae5d4c","last_reissued_at":"2026-07-05T11:29:20.236702Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:29:20.236702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.23346","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:29:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MeMQH9EP6JRKShfT97UhAb8F4XMLI9E5Ld8Ss6l9Rb7cJUPSLf9pCEpxgYoOr9ZJCezuIw7M2RmXWONYas0gBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T17:17:44.014120Z"},"content_sha256":"3f282bf28368be80f941b64b886508c6bf2af85ae95d5f5d0072af99917fdd58","schema_version":"1.0","event_id":"sha256:3f282bf28368be80f941b64b886508c6bf2af85ae95d5f5d0072af99917fdd58"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:LFKVORAQURBFCMFXP4WMRJHWEA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Armand Jordana, Hao Wang, Ludovic Righetti, Somil Bansal","submitted_at":"2025-06-29T17:41:37Z","abstract_excerpt":"While we have made significant algorithmic developments to enable autonomous systems to perform sophisticated tasks, it remains difficult for them to perform tasks effective and safely. Most existing approaches either fail to provide any safety assurances or substantially compromise task performance for safety. In this work, we develop a framework, based on model predictive control (MPC) and Hamilton-Jacobi (HJ) reachability, to optimize task performance for autonomous systems while respecting the safety constraints. Our framework guarantees recursive feasibility for the MPC controller, and it"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23346","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/2506.23346/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:29:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"04hNgV6t91NbAhRWKPb3+hNsZk62G5NXJxUJQHKtAvC/SCKY6FKsZT9BzIq8HpnNPTp0O2T2IwciR1Ghllb8Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T17:17:44.015170Z"},"content_sha256":"7cd7399680ca76065543ba0ac68cb19a4d5931233a6405ba3365b0aaa59d1d6e","schema_version":"1.0","event_id":"sha256:7cd7399680ca76065543ba0ac68cb19a4d5931233a6405ba3365b0aaa59d1d6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LFKVORAQURBFCMFXP4WMRJHWEA/bundle.json","state_url":"https://pith.science/pith/LFKVORAQURBFCMFXP4WMRJHWEA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LFKVORAQURBFCMFXP4WMRJHWEA/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-07T17:17:44Z","links":{"resolver":"https://pith.science/pith/LFKVORAQURBFCMFXP4WMRJHWEA","bundle":"https://pith.science/pith/LFKVORAQURBFCMFXP4WMRJHWEA/bundle.json","state":"https://pith.science/pith/LFKVORAQURBFCMFXP4WMRJHWEA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LFKVORAQURBFCMFXP4WMRJHWEA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LFKVORAQURBFCMFXP4WMRJHWEA","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":"f784d4f26e29013cb6e874cd2d128e9601c41507d9ce9cf195bd57103abdc4f9","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T17:41:37Z","title_canon_sha256":"b56480d566b64353602e4699abd312c8b66b2cd0b7cb84f0457db969efdd210e"},"schema_version":"1.0","source":{"id":"2506.23346","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.23346","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"arxiv_version","alias_value":"2506.23346v1","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23346","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"pith_short_12","alias_value":"LFKVORAQURBF","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"pith_short_16","alias_value":"LFKVORAQURBFCMFX","created_at":"2026-07-05T11:29:20Z"},{"alias_kind":"pith_short_8","alias_value":"LFKVORAQ","created_at":"2026-07-05T11:29:20Z"}],"graph_snapshots":[{"event_id":"sha256:7cd7399680ca76065543ba0ac68cb19a4d5931233a6405ba3365b0aaa59d1d6e","target":"graph","created_at":"2026-07-05T11:29:20Z","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/2506.23346/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While we have made significant algorithmic developments to enable autonomous systems to perform sophisticated tasks, it remains difficult for them to perform tasks effective and safely. Most existing approaches either fail to provide any safety assurances or substantially compromise task performance for safety. In this work, we develop a framework, based on model predictive control (MPC) and Hamilton-Jacobi (HJ) reachability, to optimize task performance for autonomous systems while respecting the safety constraints. Our framework guarantees recursive feasibility for the MPC controller, and it","authors_text":"Armand Jordana, Hao Wang, Ludovic Righetti, Somil Bansal","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23346","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:3f282bf28368be80f941b64b886508c6bf2af85ae95d5f5d0072af99917fdd58","target":"record","created_at":"2026-07-05T11:29:20Z","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":"f784d4f26e29013cb6e874cd2d128e9601c41507d9ce9cf195bd57103abdc4f9","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-06-29T17:41:37Z","title_canon_sha256":"b56480d566b64353602e4699abd312c8b66b2cd0b7cb84f0457db969efdd210e"},"schema_version":"1.0","source":{"id":"2506.23346","kind":"arxiv","version":1}},"canonical_sha256":"5955574410a4425130b77f2cc8a4f6202914be88aa6d1e7dfc311ad828ae5d4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5955574410a4425130b77f2cc8a4f6202914be88aa6d1e7dfc311ad828ae5d4c","first_computed_at":"2026-07-05T11:29:20.236702Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:29:20.236702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0GXt5Sw8i/6LEwswMJt58WwRfkiblunWHV8nnoXO9pzSRTEn5B2SMxxf9pioJT6TajOxWCC0boazXNgbQuPFBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:29:20.237207Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.23346","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f282bf28368be80f941b64b886508c6bf2af85ae95d5f5d0072af99917fdd58","sha256:7cd7399680ca76065543ba0ac68cb19a4d5931233a6405ba3365b0aaa59d1d6e"],"state_sha256":"67266e84faf00d6b60b32dbbaff3a64c23ef345c55a193b97b559ebf0277bc22"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qGB5mAcnOxD0XcvLCUquTEAU5Q96npwaveaTDtnqVO4BRPDl3NPXqV59WIezhovICDbAqt3wow4ly6cCxe3rDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T17:17:44.024520Z","bundle_sha256":"1c6a64fd0cecf50e9745d5512af4e717e135f45f4989138186a49038b193fca0"}}