{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AFM5NGQ7VV6YLWXZCRKIWP4PUD","short_pith_number":"pith:AFM5NGQ7","canonical_record":{"source":{"id":"2509.04399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T17:10:15Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"699b64df0f6711f33b6344339ae338a120e9571734d0b26192c387499d9b4a39","abstract_canon_sha256":"2721bf42dd4d59531c67b199e51ee8e16f9c17e3a755fa2818b471dd4e958ba3"},"schema_version":"1.0"},"canonical_sha256":"0159d69a1fad7d85daf914548b3f8fa0f30dc81d29abe941c791ea2b09359450","source":{"kind":"arxiv","id":"2509.04399","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04399","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04399v1","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04399","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"pith_short_12","alias_value":"AFM5NGQ7VV6Y","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"pith_short_16","alias_value":"AFM5NGQ7VV6YLWXZ","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"pith_short_8","alias_value":"AFM5NGQ7","created_at":"2026-07-05T12:04:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AFM5NGQ7VV6YLWXZCRKIWP4PUD","target":"record","payload":{"canonical_record":{"source":{"id":"2509.04399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T17:10:15Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"699b64df0f6711f33b6344339ae338a120e9571734d0b26192c387499d9b4a39","abstract_canon_sha256":"2721bf42dd4d59531c67b199e51ee8e16f9c17e3a755fa2818b471dd4e958ba3"},"schema_version":"1.0"},"canonical_sha256":"0159d69a1fad7d85daf914548b3f8fa0f30dc81d29abe941c791ea2b09359450","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:58.887207Z","signature_b64":"hJvvrcj3hcjaME0SZ5a6VAHDaBEZ1C3fENpP2npz+92swImtisYBvVDAD/TT1Z57g04YVyvBMPwqi2FgEgI1Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0159d69a1fad7d85daf914548b3f8fa0f30dc81d29abe941c791ea2b09359450","last_reissued_at":"2026-07-05T12:04:58.886788Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:58.886788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.04399","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-05T12:04:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q8jSJZ2hj5QRQP2R3e/HHCgIvy4836zARR1SukMC2hLmeUwgSRhNOThMXjasBKlPVyvqZ42v9SxncvBf46tbBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:07:25.233494Z"},"content_sha256":"01bab30285aca2d3ddc59d4de7b31bce3804f4de418d405a8c3f2e0a8f9197cf","schema_version":"1.0","event_id":"sha256:01bab30285aca2d3ddc59d4de7b31bce3804f4de418d405a8c3f2e0a8f9197cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AFM5NGQ7VV6YLWXZCRKIWP4PUD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Adrian Wiltz, Dimos V. Dimarogonas","submitted_at":"2025-09-04T17:10:15Z","abstract_excerpt":"The synthesis of Control Barrier Functions (CBFs) often involves demanding computations or a meticulous construction. However, structural properties of the system dynamics and constraints have the potential to mitigate these challenges. In this paper, we explore how equivariances in the dynamics, loosely speaking a form of symmetry, can be leveraged in the CBF synthesis. Although CBFs are generally not inherently symmetric, we show how equivariances in the dynamics and symmetries in the constraints induce symmetries in CBFs derived through reachability analysis. This insight allows us to infer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04399","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/2509.04399/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-05T12:04:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"52MK2c1GLV3QT/PGViw0J8SGbDc7AiRILOX4TTO57vJTqKa1rJ04l/9wGbnfqi+YrCRZFTkTo24Ozhj0qmHECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:07:25.234252Z"},"content_sha256":"900e58b0bd8da63ea74174b681c6f9b221a512949ddabe8014afe3067255f365","schema_version":"1.0","event_id":"sha256:900e58b0bd8da63ea74174b681c6f9b221a512949ddabe8014afe3067255f365"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD/bundle.json","state_url":"https://pith.science/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD/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-10T14:07:25Z","links":{"resolver":"https://pith.science/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD","bundle":"https://pith.science/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD/bundle.json","state":"https://pith.science/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AFM5NGQ7VV6YLWXZCRKIWP4PUD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AFM5NGQ7VV6YLWXZCRKIWP4PUD","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":"2721bf42dd4d59531c67b199e51ee8e16f9c17e3a755fa2818b471dd4e958ba3","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T17:10:15Z","title_canon_sha256":"699b64df0f6711f33b6344339ae338a120e9571734d0b26192c387499d9b4a39"},"schema_version":"1.0","source":{"id":"2509.04399","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04399","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04399v1","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04399","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"pith_short_12","alias_value":"AFM5NGQ7VV6Y","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"pith_short_16","alias_value":"AFM5NGQ7VV6YLWXZ","created_at":"2026-07-05T12:04:58Z"},{"alias_kind":"pith_short_8","alias_value":"AFM5NGQ7","created_at":"2026-07-05T12:04:58Z"}],"graph_snapshots":[{"event_id":"sha256:900e58b0bd8da63ea74174b681c6f9b221a512949ddabe8014afe3067255f365","target":"graph","created_at":"2026-07-05T12:04:58Z","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/2509.04399/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The synthesis of Control Barrier Functions (CBFs) often involves demanding computations or a meticulous construction. However, structural properties of the system dynamics and constraints have the potential to mitigate these challenges. In this paper, we explore how equivariances in the dynamics, loosely speaking a form of symmetry, can be leveraged in the CBF synthesis. Although CBFs are generally not inherently symmetric, we show how equivariances in the dynamics and symmetries in the constraints induce symmetries in CBFs derived through reachability analysis. This insight allows us to infer","authors_text":"Adrian Wiltz, Dimos V. Dimarogonas","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T17:10:15Z","title":"Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04399","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:01bab30285aca2d3ddc59d4de7b31bce3804f4de418d405a8c3f2e0a8f9197cf","target":"record","created_at":"2026-07-05T12:04:58Z","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":"2721bf42dd4d59531c67b199e51ee8e16f9c17e3a755fa2818b471dd4e958ba3","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T17:10:15Z","title_canon_sha256":"699b64df0f6711f33b6344339ae338a120e9571734d0b26192c387499d9b4a39"},"schema_version":"1.0","source":{"id":"2509.04399","kind":"arxiv","version":1}},"canonical_sha256":"0159d69a1fad7d85daf914548b3f8fa0f30dc81d29abe941c791ea2b09359450","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0159d69a1fad7d85daf914548b3f8fa0f30dc81d29abe941c791ea2b09359450","first_computed_at":"2026-07-05T12:04:58.886788Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:04:58.886788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hJvvrcj3hcjaME0SZ5a6VAHDaBEZ1C3fENpP2npz+92swImtisYBvVDAD/TT1Z57g04YVyvBMPwqi2FgEgI1Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:04:58.887207Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04399","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01bab30285aca2d3ddc59d4de7b31bce3804f4de418d405a8c3f2e0a8f9197cf","sha256:900e58b0bd8da63ea74174b681c6f9b221a512949ddabe8014afe3067255f365"],"state_sha256":"848069d7a51497d470fcb21de5f34d9ac4847b54ef889e89230e7207f39b6f0b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K51LSF+aUs+21c7uWNSfMPe4hLM8C84ta/E53E0c4TJyhiI8fzAW5SmO2ugfOJ+GDV0ke91eijj5TvsIPj+/Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T14:07:25.240286Z","bundle_sha256":"ea840e24fec8ad43df8d5392b1e9654788376be4bc7d4ad045015827f4acdf03"}}