{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MB25DTWXSI6IO7FK33H3Y7BFK6","short_pith_number":"pith:MB25DTWX","canonical_record":{"source":{"id":"2303.10081","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-03-17T16:08:54Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"d31de8171df560212abb4915a9358a49f5e375c5a087e1618bc3528dc044269f","abstract_canon_sha256":"3c0aa8a7e9960f587c0a376221137369b9a91b86c8f73f96da056bb59fe7ca7f"},"schema_version":"1.0"},"canonical_sha256":"6075d1ced7923c877caadecfbc7c25579e60c47d687743c914f6b8e71912a75d","source":{"kind":"arxiv","id":"2303.10081","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.10081","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"arxiv_version","alias_value":"2303.10081v2","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.10081","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"pith_short_12","alias_value":"MB25DTWXSI6I","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"pith_short_16","alias_value":"MB25DTWXSI6IO7FK","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"pith_short_8","alias_value":"MB25DTWX","created_at":"2026-07-05T06:33:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MB25DTWXSI6IO7FK33H3Y7BFK6","target":"record","payload":{"canonical_record":{"source":{"id":"2303.10081","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-03-17T16:08:54Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"d31de8171df560212abb4915a9358a49f5e375c5a087e1618bc3528dc044269f","abstract_canon_sha256":"3c0aa8a7e9960f587c0a376221137369b9a91b86c8f73f96da056bb59fe7ca7f"},"schema_version":"1.0"},"canonical_sha256":"6075d1ced7923c877caadecfbc7c25579e60c47d687743c914f6b8e71912a75d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:33:32.947376Z","signature_b64":"pmw/3pUEJR7kXQ1LW2MFd+41pD/iBudJVHJrNvxJywpn1e6jUA1JxzDD5IkoSjcNJVSE2GHjl0HNLMXewspACw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6075d1ced7923c877caadecfbc7c25579e60c47d687743c914f6b8e71912a75d","last_reissued_at":"2026-07-05T06:33:32.946981Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:33:32.946981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.10081","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-05T06:33:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dW+dF9uhiVBXJqX3nJXEBjWyvBsk3Pmv/n6VDHEMdwH1OSoV37ViHGCKxACaPo1Q2F5AWdkAfDsoZ2wFk13jAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T12:31:14.003420Z"},"content_sha256":"f712b4efb97ad2af8a96a34e3bc4914ae0ac9658d6e0d51484d7cc5f1a5c7aef","schema_version":"1.0","event_id":"sha256:f712b4efb97ad2af8a96a34e3bc4914ae0ac9658d6e0d51484d7cc5f1a5c7aef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MB25DTWXSI6IO7FK33H3Y7BFK6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Heng Yang, Marco Pavone, Shucheng Kang, Yuxiao Chen","submitted_at":"2023-03-17T16:08:54Z","abstract_excerpt":"We study the problem of verification and synthesis of robust control barrier functions (CBF) for control-affine polynomial systems with bounded additive uncertainty and convex polynomial constraints on the control. We first formulate robust CBF verification and synthesis as multilevel polynomial optimization problems (POP), where verification optimizes -- in three levels -- the uncertainty, control, and state, while synthesis additionally optimizes the parameter of a chosen parametric CBF candidate. We then show that, by invoking the KKT conditions of the inner optimizations over uncertainty a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.10081","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/2303.10081/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:33:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kqapy0/1pF824wjoJjZ/OLHf+oTn7a7Ew/SO5nqmmjeg/eE3dQtbpL12+qVbQx5s6PA3VXQfISZgW3S5LxKbCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T12:31:14.003803Z"},"content_sha256":"7459dbf6dbbecd5926ba16f6aa4f0bd1a4840fe775060c7fd964813e6b74388b","schema_version":"1.0","event_id":"sha256:7459dbf6dbbecd5926ba16f6aa4f0bd1a4840fe775060c7fd964813e6b74388b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MB25DTWXSI6IO7FK33H3Y7BFK6/bundle.json","state_url":"https://pith.science/pith/MB25DTWXSI6IO7FK33H3Y7BFK6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MB25DTWXSI6IO7FK33H3Y7BFK6/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-07-25T12:31:14Z","links":{"resolver":"https://pith.science/pith/MB25DTWXSI6IO7FK33H3Y7BFK6","bundle":"https://pith.science/pith/MB25DTWXSI6IO7FK33H3Y7BFK6/bundle.json","state":"https://pith.science/pith/MB25DTWXSI6IO7FK33H3Y7BFK6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MB25DTWXSI6IO7FK33H3Y7BFK6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MB25DTWXSI6IO7FK33H3Y7BFK6","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":"3c0aa8a7e9960f587c0a376221137369b9a91b86c8f73f96da056bb59fe7ca7f","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-03-17T16:08:54Z","title_canon_sha256":"d31de8171df560212abb4915a9358a49f5e375c5a087e1618bc3528dc044269f"},"schema_version":"1.0","source":{"id":"2303.10081","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.10081","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"arxiv_version","alias_value":"2303.10081v2","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.10081","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"pith_short_12","alias_value":"MB25DTWXSI6I","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"pith_short_16","alias_value":"MB25DTWXSI6IO7FK","created_at":"2026-07-05T06:33:32Z"},{"alias_kind":"pith_short_8","alias_value":"MB25DTWX","created_at":"2026-07-05T06:33:32Z"}],"graph_snapshots":[{"event_id":"sha256:7459dbf6dbbecd5926ba16f6aa4f0bd1a4840fe775060c7fd964813e6b74388b","target":"graph","created_at":"2026-07-05T06:33:32Z","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/2303.10081/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the problem of verification and synthesis of robust control barrier functions (CBF) for control-affine polynomial systems with bounded additive uncertainty and convex polynomial constraints on the control. We first formulate robust CBF verification and synthesis as multilevel polynomial optimization problems (POP), where verification optimizes -- in three levels -- the uncertainty, control, and state, while synthesis additionally optimizes the parameter of a chosen parametric CBF candidate. We then show that, by invoking the KKT conditions of the inner optimizations over uncertainty a","authors_text":"Heng Yang, Marco Pavone, Shucheng Kang, Yuxiao Chen","cross_cats":["cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-03-17T16:08:54Z","title":"Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.10081","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:f712b4efb97ad2af8a96a34e3bc4914ae0ac9658d6e0d51484d7cc5f1a5c7aef","target":"record","created_at":"2026-07-05T06:33:32Z","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":"3c0aa8a7e9960f587c0a376221137369b9a91b86c8f73f96da056bb59fe7ca7f","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-03-17T16:08:54Z","title_canon_sha256":"d31de8171df560212abb4915a9358a49f5e375c5a087e1618bc3528dc044269f"},"schema_version":"1.0","source":{"id":"2303.10081","kind":"arxiv","version":2}},"canonical_sha256":"6075d1ced7923c877caadecfbc7c25579e60c47d687743c914f6b8e71912a75d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6075d1ced7923c877caadecfbc7c25579e60c47d687743c914f6b8e71912a75d","first_computed_at":"2026-07-05T06:33:32.946981Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:33:32.946981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pmw/3pUEJR7kXQ1LW2MFd+41pD/iBudJVHJrNvxJywpn1e6jUA1JxzDD5IkoSjcNJVSE2GHjl0HNLMXewspACw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:33:32.947376Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.10081","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f712b4efb97ad2af8a96a34e3bc4914ae0ac9658d6e0d51484d7cc5f1a5c7aef","sha256:7459dbf6dbbecd5926ba16f6aa4f0bd1a4840fe775060c7fd964813e6b74388b"],"state_sha256":"bc48819b33316f58cd59aebc7aeca0c6508dbd104e60c6aaaac104bab8f836b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1juqnQ/df6Udl98M+BqutuUNGx6NOvGx36mnleWIfU7YUss8+fTc3XW7UzRu42KxEyAIu7YtPGrlv+/uh6zqAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-25T12:31:14.005952Z","bundle_sha256":"cdf936f512ad6c77b88f6f69b838daf89f48626a62806e60932fb926ede57d2f"}}