{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:OEMZOZHNSLGODT236ZXOCLNDTP","short_pith_number":"pith:OEMZOZHN","schema_version":"1.0","canonical_sha256":"71199764ed92cce1cf5bf66ee12da39bf7cc2a2e54cebd8d07396bed1937861f","source":{"kind":"arxiv","id":"2406.14823","version":2},"attestation_state":"computed","paper":{"title":"Converse Theorems for Certificates of Safety and Stability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jorge Cort\\'es, Pol Mestres","submitted_at":"2024-06-21T01:46:43Z","abstract_excerpt":"Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a suite of converse results on CBFs. Given any safe set, we first identify a set of general sufficient conditions which guarantee the existence of a CBF. Our technical analysis also enables us to define an extended notion of CBF which is always guaranteed to exist if the set is safe. We next turn our attention to the problem of joint safety and stability, and give conditions under which the notions of control Lyapunov"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2406.14823","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-06-21T01:46:43Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"6f59e037751969963beaf4fbc390eb3bf819c9078a9e347b0f4390585dbd395b","abstract_canon_sha256":"9e497d5e9710e2239663da9de986cf8adb06911025318da40d7890500989acc9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:01.315869Z","signature_b64":"b9Fe5alRLr90Tz85pA4i+AQi4xhpsGxt1E9M8q18n3fWTxWbg4vP4JedmDgF5xAuCx+HxT9LGdquZlIE3Bk2CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71199764ed92cce1cf5bf66ee12da39bf7cc2a2e54cebd8d07396bed1937861f","last_reissued_at":"2026-07-05T10:13:01.315367Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:01.315367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Converse Theorems for Certificates of Safety and Stability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jorge Cort\\'es, Pol Mestres","submitted_at":"2024-06-21T01:46:43Z","abstract_excerpt":"Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a suite of converse results on CBFs. Given any safe set, we first identify a set of general sufficient conditions which guarantee the existence of a CBF. Our technical analysis also enables us to define an extended notion of CBF which is always guaranteed to exist if the set is safe. We next turn our attention to the problem of joint safety and stability, and give conditions under which the notions of control Lyapunov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.14823","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/2406.14823/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2406.14823","created_at":"2026-07-05T10:13:01.315432+00:00"},{"alias_kind":"arxiv_version","alias_value":"2406.14823v2","created_at":"2026-07-05T10:13:01.315432+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.14823","created_at":"2026-07-05T10:13:01.315432+00:00"},{"alias_kind":"pith_short_12","alias_value":"OEMZOZHNSLGO","created_at":"2026-07-05T10:13:01.315432+00:00"},{"alias_kind":"pith_short_16","alias_value":"OEMZOZHNSLGODT23","created_at":"2026-07-05T10:13:01.315432+00:00"},{"alias_kind":"pith_short_8","alias_value":"OEMZOZHN","created_at":"2026-07-05T10:13:01.315432+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2505.24744","citing_title":"Universal Formulas for Safe Control and Their Neural Network Approximations","ref_index":33,"is_internal_anchor":false},{"citing_arxiv_id":"2511.13499","citing_title":"Uniform Feasibility For Smoothed Backup Control Barrier Functions","ref_index":7,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP","json":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP.json","graph_json":"https://pith.science/api/pith-number/OEMZOZHNSLGODT236ZXOCLNDTP/graph.json","events_json":"https://pith.science/api/pith-number/OEMZOZHNSLGODT236ZXOCLNDTP/events.json","paper":"https://pith.science/paper/OEMZOZHN"},"agent_actions":{"view_html":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP","download_json":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP.json","view_paper":"https://pith.science/paper/OEMZOZHN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2406.14823&json=true","fetch_graph":"https://pith.science/api/pith-number/OEMZOZHNSLGODT236ZXOCLNDTP/graph.json","fetch_events":"https://pith.science/api/pith-number/OEMZOZHNSLGODT236ZXOCLNDTP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP/action/storage_attestation","attest_author":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP/action/author_attestation","sign_citation":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP/action/citation_signature","submit_replication":"https://pith.science/pith/OEMZOZHNSLGODT236ZXOCLNDTP/action/replication_record"}},"created_at":"2026-07-05T10:13:01.315432+00:00","updated_at":"2026-07-05T10:13:01.315432+00:00"}