{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:MAGT5BBPJS5LPWLMF3DJQC3QZM","short_pith_number":"pith:MAGT5BBP","canonical_record":{"source":{"id":"2604.00305","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"eess.SY","submitted_at":"2026-03-31T23:00:33Z","cross_cats_sorted":["cs.NE","math.DS","math.OC"],"title_canon_sha256":"d322b678ca6b731ecea0a9398dbae075fb45cd254987fdaaaccc60b9b173d37d","abstract_canon_sha256":"7c9dfcbd40ee2e10ef4fa976cf0fb5b333b3974ccfedb5f3bc436d5d15e2fd62"},"schema_version":"1.0"},"canonical_sha256":"600d3e842f4cbab7d96c2ec6980b70cb0a539cbd4dd6dd83d1dd9a80517040f1","source":{"kind":"arxiv","id":"2604.00305","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.00305","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"arxiv_version","alias_value":"2604.00305v1","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.00305","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"pith_short_12","alias_value":"MAGT5BBPJS5L","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"pith_short_16","alias_value":"MAGT5BBPJS5LPWLM","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"pith_short_8","alias_value":"MAGT5BBP","created_at":"2026-07-02T08:42:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:MAGT5BBPJS5LPWLMF3DJQC3QZM","target":"record","payload":{"canonical_record":{"source":{"id":"2604.00305","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"eess.SY","submitted_at":"2026-03-31T23:00:33Z","cross_cats_sorted":["cs.NE","math.DS","math.OC"],"title_canon_sha256":"d322b678ca6b731ecea0a9398dbae075fb45cd254987fdaaaccc60b9b173d37d","abstract_canon_sha256":"7c9dfcbd40ee2e10ef4fa976cf0fb5b333b3974ccfedb5f3bc436d5d15e2fd62"},"schema_version":"1.0"},"canonical_sha256":"600d3e842f4cbab7d96c2ec6980b70cb0a539cbd4dd6dd83d1dd9a80517040f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-02T08:42:21.937553Z","signature_b64":"pnMJvKu1SoO00IY03+4Qq2EVhzkLk8YexGKd9oCZrgN6VaVCNxsZd2IAA9s+iK9VqazzVBOjSBTmekjD0bUzAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"600d3e842f4cbab7d96c2ec6980b70cb0a539cbd4dd6dd83d1dd9a80517040f1","last_reissued_at":"2026-07-02T08:42:21.937030Z","signature_status":"signed_v1","first_computed_at":"2026-07-02T08:42:21.937030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.00305","source_version":1,"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-07-02T08:42:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B4H8N90ba0yolXLjLC2RduE9dVh0Rckfzz3qQv5lUZoacfuuHlV55xU+cAHGppm9JQkYU97FjC+16pt8YdRuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:48:02.979251Z"},"content_sha256":"4ad84550d87581bec0b8b1c20ee10b179e2e79f4550e209aab47cda5b740cd4d","schema_version":"1.0","event_id":"sha256:4ad84550d87581bec0b8b1c20ee10b179e2e79f4550e209aab47cda5b740cd4d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:MAGT5BBPJS5LPWLMF3DJQC3QZM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems","license":"","headline":"","cross_cats":["cs.NE","math.DS","math.OC"],"primary_cat":"eess.SY","authors_text":"Jun Liu, Mohamed Serry, S. Sivaranjani","submitted_at":"2026-03-31T23:00:33Z","abstract_excerpt":"Analyzing nonlinear systems with stabilizable controlled invariant sets (CISs) requires accurate estimation of their domains of stabilization (DOS) together with associated stabilizing controllers. Despite extensive research, estimating DOSs for general nonlinear systems remains challenging due to fundamental theoretical and computational limitations. In this paper, we propose a novel framework for estimating DOSs for controlled input-constrained discrete-time systems. The DOS is characterized via newly introduced value functions defined on metric spaces of compact sets. We establish the funda"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.00305","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.00305/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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-02T08:42:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6DP7R7Fe8jNgjC0jLKaSyTqp/h4ygZ6P8UY8WK4cK3yJLyZ7iCyu1lnVZ4QHoq8I+TYlhzprDZgJVrgk+A/UDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:48:02.979754Z"},"content_sha256":"1c42446c7bbf50d2f1ed067bbedebcbc6722d7ac2098af18edb5d554c8e3e060","schema_version":"1.0","event_id":"sha256:1c42446c7bbf50d2f1ed067bbedebcbc6722d7ac2098af18edb5d554c8e3e060"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM/bundle.json","state_url":"https://pith.science/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM/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-08-05T05:48:02Z","links":{"resolver":"https://pith.science/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM","bundle":"https://pith.science/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM/bundle.json","state":"https://pith.science/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MAGT5BBPJS5LPWLMF3DJQC3QZM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MAGT5BBPJS5LPWLMF3DJQC3QZM","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":"7c9dfcbd40ee2e10ef4fa976cf0fb5b333b3974ccfedb5f3bc436d5d15e2fd62","cross_cats_sorted":["cs.NE","math.DS","math.OC"],"license":"","primary_cat":"eess.SY","submitted_at":"2026-03-31T23:00:33Z","title_canon_sha256":"d322b678ca6b731ecea0a9398dbae075fb45cd254987fdaaaccc60b9b173d37d"},"schema_version":"1.0","source":{"id":"2604.00305","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.00305","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"arxiv_version","alias_value":"2604.00305v1","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.00305","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"pith_short_12","alias_value":"MAGT5BBPJS5L","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"pith_short_16","alias_value":"MAGT5BBPJS5LPWLM","created_at":"2026-07-02T08:42:21Z"},{"alias_kind":"pith_short_8","alias_value":"MAGT5BBP","created_at":"2026-07-02T08:42:21Z"}],"graph_snapshots":[{"event_id":"sha256:1c42446c7bbf50d2f1ed067bbedebcbc6722d7ac2098af18edb5d554c8e3e060","target":"graph","created_at":"2026-07-02T08:42:21Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.00305/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Analyzing nonlinear systems with stabilizable controlled invariant sets (CISs) requires accurate estimation of their domains of stabilization (DOS) together with associated stabilizing controllers. Despite extensive research, estimating DOSs for general nonlinear systems remains challenging due to fundamental theoretical and computational limitations. In this paper, we propose a novel framework for estimating DOSs for controlled input-constrained discrete-time systems. The DOS is characterized via newly introduced value functions defined on metric spaces of compact sets. We establish the funda","authors_text":"Jun Liu, Mohamed Serry, S. Sivaranjani","cross_cats":["cs.NE","math.DS","math.OC"],"headline":"","license":"","primary_cat":"eess.SY","submitted_at":"2026-03-31T23:00:33Z","title":"Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.00305","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4ad84550d87581bec0b8b1c20ee10b179e2e79f4550e209aab47cda5b740cd4d","target":"record","created_at":"2026-07-02T08:42:21Z","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":"7c9dfcbd40ee2e10ef4fa976cf0fb5b333b3974ccfedb5f3bc436d5d15e2fd62","cross_cats_sorted":["cs.NE","math.DS","math.OC"],"license":"","primary_cat":"eess.SY","submitted_at":"2026-03-31T23:00:33Z","title_canon_sha256":"d322b678ca6b731ecea0a9398dbae075fb45cd254987fdaaaccc60b9b173d37d"},"schema_version":"1.0","source":{"id":"2604.00305","kind":"arxiv","version":1}},"canonical_sha256":"600d3e842f4cbab7d96c2ec6980b70cb0a539cbd4dd6dd83d1dd9a80517040f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"600d3e842f4cbab7d96c2ec6980b70cb0a539cbd4dd6dd83d1dd9a80517040f1","first_computed_at":"2026-07-02T08:42:21.937030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-02T08:42:21.937030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pnMJvKu1SoO00IY03+4Qq2EVhzkLk8YexGKd9oCZrgN6VaVCNxsZd2IAA9s+iK9VqazzVBOjSBTmekjD0bUzAQ==","signature_status":"signed_v1","signed_at":"2026-07-02T08:42:21.937553Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.00305","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4ad84550d87581bec0b8b1c20ee10b179e2e79f4550e209aab47cda5b740cd4d","sha256:1c42446c7bbf50d2f1ed067bbedebcbc6722d7ac2098af18edb5d554c8e3e060"],"state_sha256":"d719d41f98beb01dd5a248a13b1751caaeaf5cf50bff987dba2562bc09aeafd0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HonmQ9YS4FoHK/C4kPqJAwnp26jkMQZqF0NrXd2wPrXGHPL1I3vp8BdVvqOw6CPusY1MdxF9ipgVQp30H5y4Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T05:48:02.983466Z","bundle_sha256":"681d5ef4a4fe6216a5a8de7a5eab98908ff5be1834b598bcb22bc7bf8f8623f8"}}