Pith Number

pith:IQC6QA4S

pith:2024:IQC6QA4SRAUQHCCWGMP4ZX6DAV

not attested not anchored not stored refs pending

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation

Cho-Jui Hsieh, Hongkai Dai, Huan Zhang, Lujie Yang, Russ Tedrake, Zhouxing Shi

arxiv:2404.07956 v2 · 2024-04-11 · cs.LG · cs.AI · cs.RO · cs.SY · eess.SY · math.OC

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{IQC6QA4SRAUQHCCWGMP4ZX6DAV}

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.

Cited by

5 papers in Pith

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks

Learned Lyapunov Shielding for Adaptive Control

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations

Receipt and verification

First computed	2026-07-05T08:27:25.778257Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

4405e803928829038856331fccdfc30541c459c6b847f481bd0cd29e85954b7a

Aliases

arxiv: 2404.07956 · arxiv_version: 2404.07956v2 · doi: 10.48550/arxiv.2404.07956 · pith_short_12: IQC6QA4SRAUQ · pith_short_16: IQC6QA4SRAUQHCCW · pith_short_8: IQC6QA4S

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/IQC6QA4SRAUQHCCWGMP4ZX6DAV \
  | 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: 4405e803928829038856331fccdfc30541c459c6b847f481bd0cd29e85954b7a

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "b4c390e9b91cc4c9a848936d4b635ac6ec9dd7da2ae8c281f6b21a541dcd7aec",
    "cross_cats_sorted": [
      "cs.AI",
      "cs.RO",
      "cs.SY",
      "eess.SY",
      "math.OC"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LG",
    "submitted_at": "2024-04-11T17:49:15Z",
    "title_canon_sha256": "4640c970683966c71c9709c2162eaeac44c7f1486cbe63a29630e3d816eeb86e"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2404.07956",
    "kind": "arxiv",
    "version": 2
  }
}