{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:WX3OJ42XKGQFZEVHRBMVMVPTVD","short_pith_number":"pith:WX3OJ42X","canonical_record":{"source":{"id":"2502.16293","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-22T16:47:27Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"31b998a55f8328f24fc0d9abb2040ba3ba2bf3208db49feedc10c69142ffb2c1","abstract_canon_sha256":"81e5c549f85c66e0e82e7b3a2e47f7155047fc50511a4b52a7b38449349c5547"},"schema_version":"1.0"},"canonical_sha256":"b5f6e4f35751a05c92a788595655f3a8e76a07c721674fb8794811f71022379e","source":{"kind":"arxiv","id":"2502.16293","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.16293","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"arxiv_version","alias_value":"2502.16293v2","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.16293","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"pith_short_12","alias_value":"WX3OJ42XKGQF","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"pith_short_16","alias_value":"WX3OJ42XKGQFZEVH","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"pith_short_8","alias_value":"WX3OJ42X","created_at":"2026-07-05T11:02:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:WX3OJ42XKGQFZEVHRBMVMVPTVD","target":"record","payload":{"canonical_record":{"source":{"id":"2502.16293","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-22T16:47:27Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"31b998a55f8328f24fc0d9abb2040ba3ba2bf3208db49feedc10c69142ffb2c1","abstract_canon_sha256":"81e5c549f85c66e0e82e7b3a2e47f7155047fc50511a4b52a7b38449349c5547"},"schema_version":"1.0"},"canonical_sha256":"b5f6e4f35751a05c92a788595655f3a8e76a07c721674fb8794811f71022379e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:02:18.319065Z","signature_b64":"AskAjPpreFI88YE1pkv/ycFy7uX/vMy63+373k6S3KZOo9cEvaqm0yxoAWOSn/2Vd3IVqsYnbkjpwoKbjsJ6Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5f6e4f35751a05c92a788595655f3a8e76a07c721674fb8794811f71022379e","last_reissued_at":"2026-07-05T11:02:18.318560Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:02:18.318560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.16293","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-05T11:02:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GYb+AfwEtkLm2+s/EnNeNCQmhUszuNrRE0os06y31vRUqtAOigN4cLuEVx+Gv9/VqI9xfhH3dfSrkNCeOGnHAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T05:04:12.736609Z"},"content_sha256":"8587714e629ce29debe277127d7fd167f632758722daf82d85627f7403c1b9c7","schema_version":"1.0","event_id":"sha256:8587714e629ce29debe277127d7fd167f632758722daf82d85627f7403c1b9c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:WX3OJ42XKGQFZEVHRBMVMVPTVD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimization-free Smooth Control Barrier Function for Polygonal Collision Avoidance","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Biao Lu, Ning Sun, Shizhen Wu, Xiao Liang, Yiming Zhao, Yongchun Fang","submitted_at":"2025-02-22T16:47:27Z","abstract_excerpt":"Polygonal collision avoidance (PCA) is short for the problem of collision avoidance between two polygons (i.e., polytopes in planar) that own their dynamic equations. This problem suffers the inherent difficulty in dealing with non-smooth boundaries and recently optimization-defined metrics, such as signed distance field (SDF) and its variants, have been proposed as control barrier functions (CBFs) to tackle PCA problems. In contrast, we propose an optimization-free smooth CBF method in this paper, which is computationally efficient and proved to be nonconservative. It is achieved by three mai"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.16293","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/2502.16293/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:02:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nhI87q6CkLLfMoOTfdiwoXwcCqbu0sf/C4oEWVVrDKD8ZJ35sCCex5Vl3c3OICWRgsAtPDKh/pVdQXoQ6XLFAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T05:04:12.737565Z"},"content_sha256":"fc31dcd1c2ee74f0cb74d8a5e23dd1b0dda5ebe4afff97d8a4c224cf3dba364f","schema_version":"1.0","event_id":"sha256:fc31dcd1c2ee74f0cb74d8a5e23dd1b0dda5ebe4afff97d8a4c224cf3dba364f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD/bundle.json","state_url":"https://pith.science/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD/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-17T05:04:12Z","links":{"resolver":"https://pith.science/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD","bundle":"https://pith.science/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD/bundle.json","state":"https://pith.science/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WX3OJ42XKGQFZEVHRBMVMVPTVD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:WX3OJ42XKGQFZEVHRBMVMVPTVD","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":"81e5c549f85c66e0e82e7b3a2e47f7155047fc50511a4b52a7b38449349c5547","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-22T16:47:27Z","title_canon_sha256":"31b998a55f8328f24fc0d9abb2040ba3ba2bf3208db49feedc10c69142ffb2c1"},"schema_version":"1.0","source":{"id":"2502.16293","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.16293","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"arxiv_version","alias_value":"2502.16293v2","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.16293","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"pith_short_12","alias_value":"WX3OJ42XKGQF","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"pith_short_16","alias_value":"WX3OJ42XKGQFZEVH","created_at":"2026-07-05T11:02:18Z"},{"alias_kind":"pith_short_8","alias_value":"WX3OJ42X","created_at":"2026-07-05T11:02:18Z"}],"graph_snapshots":[{"event_id":"sha256:fc31dcd1c2ee74f0cb74d8a5e23dd1b0dda5ebe4afff97d8a4c224cf3dba364f","target":"graph","created_at":"2026-07-05T11:02:18Z","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/2502.16293/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Polygonal collision avoidance (PCA) is short for the problem of collision avoidance between two polygons (i.e., polytopes in planar) that own their dynamic equations. This problem suffers the inherent difficulty in dealing with non-smooth boundaries and recently optimization-defined metrics, such as signed distance field (SDF) and its variants, have been proposed as control barrier functions (CBFs) to tackle PCA problems. In contrast, we propose an optimization-free smooth CBF method in this paper, which is computationally efficient and proved to be nonconservative. It is achieved by three mai","authors_text":"Biao Lu, Ning Sun, Shizhen Wu, Xiao Liang, Yiming Zhao, Yongchun Fang","cross_cats":["cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-22T16:47:27Z","title":"Optimization-free Smooth Control Barrier Function for Polygonal Collision Avoidance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.16293","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:8587714e629ce29debe277127d7fd167f632758722daf82d85627f7403c1b9c7","target":"record","created_at":"2026-07-05T11:02:18Z","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":"81e5c549f85c66e0e82e7b3a2e47f7155047fc50511a4b52a7b38449349c5547","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-22T16:47:27Z","title_canon_sha256":"31b998a55f8328f24fc0d9abb2040ba3ba2bf3208db49feedc10c69142ffb2c1"},"schema_version":"1.0","source":{"id":"2502.16293","kind":"arxiv","version":2}},"canonical_sha256":"b5f6e4f35751a05c92a788595655f3a8e76a07c721674fb8794811f71022379e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5f6e4f35751a05c92a788595655f3a8e76a07c721674fb8794811f71022379e","first_computed_at":"2026-07-05T11:02:18.318560Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:02:18.318560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AskAjPpreFI88YE1pkv/ycFy7uX/vMy63+373k6S3KZOo9cEvaqm0yxoAWOSn/2Vd3IVqsYnbkjpwoKbjsJ6Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:02:18.319065Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.16293","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8587714e629ce29debe277127d7fd167f632758722daf82d85627f7403c1b9c7","sha256:fc31dcd1c2ee74f0cb74d8a5e23dd1b0dda5ebe4afff97d8a4c224cf3dba364f"],"state_sha256":"e6d211d5ea6e9a11c95568a3ac08309c3dad331f23231e4a478c3fffa47126e9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"keVLl4ZhO34vv9ztU6O0HyMrbhQQA2B+rLquOzdo2MCVOV2jLnq6yWhZs70SnMLS6EuFBz5q++bRLFogPqBwCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T05:04:12.750557Z","bundle_sha256":"27f7eda1b805920c0216358f205408d1cf8315890993591a0b61324d26514004"}}