{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RVQAESY4PILXNTL3BPJVOTKS74","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":"11dc1e1b64d5f98c96f070ffe0860cb44cba8870bfdcc0343c87d1a8d44b90a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-17T10:08:25Z","title_canon_sha256":"3db9a5972a3f1c0508dd266112c08f77dc499b4148387571cd044547045bb07b"},"schema_version":"1.0","source":{"id":"2505.11941","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.11941","created_at":"2026-07-05T11:04:55Z"},{"alias_kind":"arxiv_version","alias_value":"2505.11941v1","created_at":"2026-07-05T11:04:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.11941","created_at":"2026-07-05T11:04:55Z"},{"alias_kind":"pith_short_12","alias_value":"RVQAESY4PILX","created_at":"2026-07-05T11:04:55Z"},{"alias_kind":"pith_short_16","alias_value":"RVQAESY4PILXNTL3","created_at":"2026-07-05T11:04:55Z"},{"alias_kind":"pith_short_8","alias_value":"RVQAESY4","created_at":"2026-07-05T11:04:55Z"}],"graph_snapshots":[{"event_id":"sha256:ea22ea7120b5ffb4bd65870464733d2d491b7ace02331ca134237ae81b90a760","target":"graph","created_at":"2026-07-05T11:04:55Z","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/2505.11941/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Control Barrier Functions (CBFs) have emerged as an effective and non-invasive safety filter for ensuring the safety of autonomous systems in dynamic environments with formal guarantees. However, most existing works on CBF synthesis focus on fully known settings. Synthesizing CBFs online based on perception data in unknown environments poses particular challenges. Specifically, this requires the construction of CBFs from high-dimensional data efficiently in real time. This paper proposes a new approach for online synthesis of CBFs directly from local Occupancy Grid Maps (OGMs). Inspired by ste","authors_text":"Shaoyuan Li, Xiang Yin, Yu Chen, Yuda Li, Yuepeng Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-17T10:08:25Z","title":"Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.11941","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:ca2801d324fd6da5a4906911e72c3b4d1f06a5a024f7142bd88ce2292d5536ff","target":"record","created_at":"2026-07-05T11:04:55Z","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":"11dc1e1b64d5f98c96f070ffe0860cb44cba8870bfdcc0343c87d1a8d44b90a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-17T10:08:25Z","title_canon_sha256":"3db9a5972a3f1c0508dd266112c08f77dc499b4148387571cd044547045bb07b"},"schema_version":"1.0","source":{"id":"2505.11941","kind":"arxiv","version":1}},"canonical_sha256":"8d60024b1c7a1776cd7b0bd3574d52ff3d09db3ed20e63d58dcf02334ceeaa1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d60024b1c7a1776cd7b0bd3574d52ff3d09db3ed20e63d58dcf02334ceeaa1a","first_computed_at":"2026-07-05T11:04:55.105786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:04:55.105786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aVVv6XbEfZ6aq3njT8lT6qHPD2mIqkOTdzZKH/vRXXa88h2xboz6DlCDIrEzgQDq4Sw76KXIHEEba7jIb2zGAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:04:55.106278Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.11941","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca2801d324fd6da5a4906911e72c3b4d1f06a5a024f7142bd88ce2292d5536ff","sha256:ea22ea7120b5ffb4bd65870464733d2d491b7ace02331ca134237ae81b90a760"],"state_sha256":"7bb389b7d0fdd0608570e475867e6341cd603585f9e14e5cc4e204ca52255463"}