Pith Number

pith:OZATSDVW

pith:2026:OZATSDVWFAMZJCGLEMI7Z7SKR5

not attested not anchored not stored refs resolved

A Controller Synthesis Framework for Weakly-Hard Control Systems

Frank Allg\"ower, Marc Seidel, Martina Maggio

A synthesis framework designs controllers that stay stable and performant despite occasional deadline misses

arxiv:2603.20146 v2 · 2026-03-20 · 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{OZATSDVWFAMZJCGLEMI7Z7SKR5}

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

Our method supports various overrun handling strategies and guarantees stability and performance under weakly-hard constraints. The results show that constraint-aware controllers significantly outperform traditional designs.

C2weakest assumption

The weakly-hard task model and chosen overrun handling strategies accurately capture the timing behavior of the target real-time platform and do not introduce unmodeled dynamics that would invalidate the stability guarantees.

C3one line summary

A new controller synthesis method incorporates weakly-hard overrun constraints to guarantee stability and performance, outperforming traditional designs on a Furuta pendulum benchmark.

References

61 extracted · 61 resolved · 0 Pith anchors

[1] Ver- ifying weakly-hard real-time properties of traffic streams in switched net- works 2018

[2] Finite ready queues as a mean for overload reduction in weakly-hard real-time systems 2017

[3] Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, and Robert I. Davis. An empirical survey-based study into industry practice in real-time systems. In41st IEEE Real-Time Systems Sympo 2020

[4] Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, and Robert I. Davis. A comprehensive survey of industry practice in real-time systems.Real Time Systems, 58(3):358–398, 2022 2022

[5] Antunes and Haiming Qu 2021

Receipt and verification

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

Canonical hash

7641390eb628199488cb2311fcfe4a8f41497733fc59906ba27f597bf6c381ac

Aliases

arxiv: 2603.20146 · arxiv_version: 2603.20146v2 · doi: 10.48550/arxiv.2603.20146 · pith_short_12: OZATSDVWFAMZ · pith_short_16: OZATSDVWFAMZJCGL · pith_short_8: OZATSDVW

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/OZATSDVWFAMZJCGLEMI7Z7SKR5 \
  | 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: 7641390eb628199488cb2311fcfe4a8f41497733fc59906ba27f597bf6c381ac

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "48f29749dc99eba3b4134b8c3e7c7bc7038344ecf32830d0d9426516b77b3135",
    "cross_cats_sorted": [
      "cs.SY"
    ],
    "license": "http://creativecommons.org/licenses/by-nc-nd/4.0/",
    "primary_cat": "eess.SY",
    "submitted_at": "2026-03-20T17:21:00Z",
    "title_canon_sha256": "5701aad2aa5ab709d81c97fd51bc3a27b3939cefdac7425519d073811e1cdcb2"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2603.20146",
    "kind": "arxiv",
    "version": 2
  }
}