{"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"}