{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:O62GSK7MITZAEW27YJSRRDAT24","short_pith_number":"pith:O62GSK7M","canonical_record":{"source":{"id":"2404.01445","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-01T19:32:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"40f474df977e53a761f1a6a886c4f908c71e0b663f2563e0f1cc689f0c85d365","abstract_canon_sha256":"e57842cf8d821f4d23df68b5fa8f9288f2294ca1ddc9dc2b8a0b6f39257ea283"},"schema_version":"1.0"},"canonical_sha256":"77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325","source":{"kind":"arxiv","id":"2404.01445","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.01445","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"arxiv_version","alias_value":"2404.01445v6","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.01445","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"pith_short_12","alias_value":"O62GSK7MITZA","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"pith_short_16","alias_value":"O62GSK7MITZAEW27","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"pith_short_8","alias_value":"O62GSK7M","created_at":"2026-05-25T02:02:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:O62GSK7MITZAEW27YJSRRDAT24","target":"record","payload":{"canonical_record":{"source":{"id":"2404.01445","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-01T19:32:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"40f474df977e53a761f1a6a886c4f908c71e0b663f2563e0f1cc689f0c85d365","abstract_canon_sha256":"e57842cf8d821f4d23df68b5fa8f9288f2294ca1ddc9dc2b8a0b6f39257ea283"},"schema_version":"1.0"},"canonical_sha256":"77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:02:05.296861Z","signature_b64":"C+/KtfkA+6mR53jQX4y+5mGiIel1XeYw3jmsCWI5/9tZvad23k2AblgwMHqVaoQ4tdDlOxpfOTgosnUxy876AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325","last_reissued_at":"2026-05-25T02:02:05.296030Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:02:05.296030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.01445","source_version":6,"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-05-25T02:02:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zneLxU2cuKNcxmRCCxtn/RdykC7roPx42IVt0/CUw8LAADQ3mlzELuBhU0kA6R6QtWyTfwDHlXdmv963ZSbxCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:31:27.592535Z"},"content_sha256":"8c51e7cda14132a7a060414485ee0ea476f751d1ea630d29028ad14f5d9f09f1","schema_version":"1.0","event_id":"sha256:8c51e7cda14132a7a060414485ee0ea476f751d1ea630d29028ad14f5d9f09f1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:O62GSK7MITZAEW27YJSRRDAT24","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Dynamic Safety Margins as Control Barrier Functions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference.","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Marco M. Nicotra, Victor Freire","submitted_at":"2024-04-01T19:32:30Z","abstract_excerpt":"This paper presents an approach to design control barrier functions (CBFs) for arbitrary state and input constraints using tools from the reference governor literature. In particular, it is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference. The proposed approach is agnostic to the relative degree and can handle multiple state and input constraints using the control-sharing property of CBFs. The construction of CBFs using Lyapunov-based DSMs is then investigated in further detail. Numerical simulations show tha"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"It is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The construction assumes that the dynamic safety margins satisfy the conditions required to act as control barrier functions on the augmented system and that the control-sharing property applies to multiple constraints, as described in the approach using reference governor literature.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Dynamic safety margins are shown to be control barrier functions for an augmented system, enabling constraint handling agnostic to relative degree and supporting multiple constraints via control-sharing.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"72535fe02951064e14481a4b86fb67f25c7d42a38436b18eefed5e035fd504b5"},"source":{"id":"2404.01445","kind":"arxiv","version":6},"verdict":{"id":"2de7759d-e6c1-4f9a-8703-3859ce9db8f8","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-24T02:26:56.548414Z","strongest_claim":"It is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference.","one_line_summary":"Dynamic safety margins are shown to be control barrier functions for an augmented system, enabling constraint handling agnostic to relative degree and supporting multiple constraints via control-sharing.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The construction assumes that the dynamic safety margins satisfy the conditions required to act as control barrier functions on the augmented system and that the control-sharing property applies to multiple constraints, as described in the approach using reference governor literature.","pith_extraction_headline":"Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2404.01445/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":"2de7759d-e6c1-4f9a-8703-3859ce9db8f8"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-25T02:02:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FCfu5vJhI4g/8szttvb88VstygXEpQKH8xIe/Y8nTL3gUnbS9cy3JYampezz28AACobq0W7Ht0MN0g797TgfAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:31:27.593448Z"},"content_sha256":"3973be271c19d38274c3af415d0e62a1d0b16324687384cd1364e2c85c30c736","schema_version":"1.0","event_id":"sha256:3973be271c19d38274c3af415d0e62a1d0b16324687384cd1364e2c85c30c736"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O62GSK7MITZAEW27YJSRRDAT24/bundle.json","state_url":"https://pith.science/pith/O62GSK7MITZAEW27YJSRRDAT24/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O62GSK7MITZAEW27YJSRRDAT24/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-05-28T16:31:27Z","links":{"resolver":"https://pith.science/pith/O62GSK7MITZAEW27YJSRRDAT24","bundle":"https://pith.science/pith/O62GSK7MITZAEW27YJSRRDAT24/bundle.json","state":"https://pith.science/pith/O62GSK7MITZAEW27YJSRRDAT24/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O62GSK7MITZAEW27YJSRRDAT24/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:O62GSK7MITZAEW27YJSRRDAT24","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":"e57842cf8d821f4d23df68b5fa8f9288f2294ca1ddc9dc2b8a0b6f39257ea283","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-01T19:32:30Z","title_canon_sha256":"40f474df977e53a761f1a6a886c4f908c71e0b663f2563e0f1cc689f0c85d365"},"schema_version":"1.0","source":{"id":"2404.01445","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.01445","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"arxiv_version","alias_value":"2404.01445v6","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.01445","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"pith_short_12","alias_value":"O62GSK7MITZA","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"pith_short_16","alias_value":"O62GSK7MITZAEW27","created_at":"2026-05-25T02:02:05Z"},{"alias_kind":"pith_short_8","alias_value":"O62GSK7M","created_at":"2026-05-25T02:02:05Z"}],"graph_snapshots":[{"event_id":"sha256:3973be271c19d38274c3af415d0e62a1d0b16324687384cd1364e2c85c30c736","target":"graph","created_at":"2026-05-25T02:02:05Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"It is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The construction assumes that the dynamic safety margins satisfy the conditions required to act as control barrier functions on the augmented system and that the control-sharing property applies to multiple constraints, as described in the approach using reference governor literature."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Dynamic safety margins are shown to be control barrier functions for an augmented system, enabling constraint handling agnostic to relative degree and supporting multiple constraints via control-sharing."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference."}],"snapshot_sha256":"72535fe02951064e14481a4b86fb67f25c7d42a38436b18eefed5e035fd504b5"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.01445/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents an approach to design control barrier functions (CBFs) for arbitrary state and input constraints using tools from the reference governor literature. In particular, it is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference. The proposed approach is agnostic to the relative degree and can handle multiple state and input constraints using the control-sharing property of CBFs. The construction of CBFs using Lyapunov-based DSMs is then investigated in further detail. Numerical simulations show tha","authors_text":"Marco M. Nicotra, Victor Freire","cross_cats":["cs.SY"],"headline":"Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-01T19:32:30Z","title":"Using Dynamic Safety Margins as Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.01445","kind":"arxiv","version":6},"verdict":{"created_at":"2026-05-24T02:26:56.548414Z","id":"2de7759d-e6c1-4f9a-8703-3859ce9db8f8","model_set":{"reader":"grok-4.3"},"one_line_summary":"Dynamic safety margins are shown to be control barrier functions for an augmented system, enabling constraint handling agnostic to relative degree and supporting multiple constraints via control-sharing.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference.","strongest_claim":"It is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference.","weakest_assumption":"The construction assumes that the dynamic safety margins satisfy the conditions required to act as control barrier functions on the augmented system and that the control-sharing property applies to multiple constraints, as described in the approach using reference governor literature."}},"verdict_id":"2de7759d-e6c1-4f9a-8703-3859ce9db8f8"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8c51e7cda14132a7a060414485ee0ea476f751d1ea630d29028ad14f5d9f09f1","target":"record","created_at":"2026-05-25T02:02:05Z","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":"e57842cf8d821f4d23df68b5fa8f9288f2294ca1ddc9dc2b8a0b6f39257ea283","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-01T19:32:30Z","title_canon_sha256":"40f474df977e53a761f1a6a886c4f908c71e0b663f2563e0f1cc689f0c85d365"},"schema_version":"1.0","source":{"id":"2404.01445","kind":"arxiv","version":6}},"canonical_sha256":"77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325","first_computed_at":"2026-05-25T02:02:05.296030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:02:05.296030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C+/KtfkA+6mR53jQX4y+5mGiIel1XeYw3jmsCWI5/9tZvad23k2AblgwMHqVaoQ4tdDlOxpfOTgosnUxy876AA==","signature_status":"signed_v1","signed_at":"2026-05-25T02:02:05.296861Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.01445","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c51e7cda14132a7a060414485ee0ea476f751d1ea630d29028ad14f5d9f09f1","sha256:3973be271c19d38274c3af415d0e62a1d0b16324687384cd1364e2c85c30c736"],"state_sha256":"93ec22216c94272357d24cb82b82594af9b951c7a6ff9e039dac307da2834bc7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DW4dfuF0cPHjMFLsiCgHTj+x9E2IUkuHmGygXwx1U6nVrDO4RkCJqw8w6927OxtjKu+cbDJ/0rWu96V/3CGZCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T16:31:27.597734Z","bundle_sha256":"e79f1aa9ef062def2b0e49ccacf2c6aef989b4cbeffe879cac1a306d10b9eb58"}}