Pith Number

pith:O62GSK7M

pith:2024:O62GSK7MITZAEW27YJSRRDAT24

not attested not anchored not stored refs pending

Using Dynamic Safety Margins as Control Barrier Functions

Marco M. Nicotra, Victor Freire

Dynamic safety margins are control barrier functions for an augmented system formed by concatenating the state with a virtual reference.

arxiv:2404.01445 v6 · 2024-04-01 · eess.SY · cs.SY

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{O62GSK7MITZAEW27YJSRRDAT24}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

It is shown that dynamic safety margins (DSMs) are CBFs for an augmented system obtained by concatenating the state with a virtual reference.

C2weakest 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.

C3one 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.

Cited by

2 papers in Pith

Using Dynamic Safety Margins as Control Barrier Functions

Receipt and verification

First computed	2026-05-25T02:02:05.296030Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325

Aliases

arxiv: 2404.01445 · arxiv_version: 2404.01445v6 · doi: 10.48550/arxiv.2404.01445 · pith_short_12: O62GSK7MITZA · pith_short_16: O62GSK7MITZAEW27 · pith_short_8: O62GSK7M

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/O62GSK7MITZAEW27YJSRRDAT24 \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 77b4692bec44f2025b5fc265188c13d7200d7fac0cd8c0137fb5e2f92d053325

Canonical record JSON

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