Pith Number

pith:OPTJSZXA

pith:2025:OPTJSZXAVVYDUZXX55QNOM6LB4

not attested not anchored not stored refs resolved

Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

Alejandro Anderson, Esteban A. Hernandez-Vargas, Giulia Giordano

An AG-function certifies robust local attractivity for a set in uncertain nonlinear switched systems

arxiv:2511.13906 v2 · 2025-11-17 · 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{OPTJSZXAVVYDUZXX55QNOM6LB4}

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

The existence of an AG-function associated with a set guarantees the robust local attractivity of that set under the system dynamics. We propose a constructive method for obtaining piecewise-continuous AG-functions based on contractive sets for the system, and show that the existence of a robust control contractive set for the dynamics implies the existence of an appropriate AG-function.

C2weakest assumption

That the existence of a robust control contractive set for the dynamics implies the existence of an appropriate AG-function (and hence robust local attractivity), which is stated as a key implication but without full proof details in the abstract.

C3one line summary

AG-functions certify the robust local attractivity of sets for uncertain nonlinear switched discrete-time systems, constructed from contractive sets.

References

3 extracted · 3 resolved · 0 Pith anchors

[1] Anderson, A., Ohemeng, M., Gonzalez, A., and Hernandez-Vargas, E. (2024). Stabilizability of uncertain switched systems to characterize antibiotic resistance evolution. InIEEE Conference on Decision a 2024

[2] ,1500.C.The RCCS Ω 0 is shown along with a zoom into the first controllable sets, confirming the expected inclusion Ck−1(Ω)⊆int Ck(Ω) 2014

[3] Liberzon, D. and Morse, A.S. (2024). Basic problems in stability and design of switched systems.IEEE Control Systems, 44(5), 12–14. Lin, H. and Antsaklis, P.J. (2009). Stability and stabiliz- ability 2024

Formal links

1 machine-checked theorem link

Receipt and verification

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

Canonical hash

73e69966e0ad703a66f7ef60d733cb0f12fb55ac33794c12b54a341f1d7b72d2

Aliases

arxiv: 2511.13906 · arxiv_version: 2511.13906v2 · doi: 10.48550/arxiv.2511.13906 · pith_short_12: OPTJSZXAVVYD · pith_short_16: OPTJSZXAVVYDUZXX · pith_short_8: OPTJSZXA

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/OPTJSZXAVVYDUZXX55QNOM6LB4 \
  | 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: 73e69966e0ad703a66f7ef60d733cb0f12fb55ac33794c12b54a341f1d7b72d2

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "f7ca7110ff5ffda4455133491dd2e940130cd7d2272960d5760db9e06e823273",
    "cross_cats_sorted": [
      "cs.SY"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "eess.SY",
    "submitted_at": "2025-11-17T21:00:19Z",
    "title_canon_sha256": "c92a74acc2dfd086b6f132f7e68f5abb15f61ee49c5caca30cb919e5379d0285"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2511.13906",
    "kind": "arxiv",
    "version": 2
  }
}