{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4EWZE2UNILSSUPNKL3JDT4RFQ5","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":"510388a529807c37abc158881da812610649f3fd93062546538c017553733a25","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-09-30T02:26:04Z","title_canon_sha256":"5c677268fd8365a9772617ddf8754b45c3847601663aa44db6f70626071a0cac"},"schema_version":"1.0","source":{"id":"2409.19881","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.19881","created_at":"2026-07-05T09:13:24Z"},{"alias_kind":"arxiv_version","alias_value":"2409.19881v1","created_at":"2026-07-05T09:13:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.19881","created_at":"2026-07-05T09:13:24Z"},{"alias_kind":"pith_short_12","alias_value":"4EWZE2UNILSS","created_at":"2026-07-05T09:13:24Z"},{"alias_kind":"pith_short_16","alias_value":"4EWZE2UNILSSUPNK","created_at":"2026-07-05T09:13:24Z"},{"alias_kind":"pith_short_8","alias_value":"4EWZE2UN","created_at":"2026-07-05T09:13:24Z"}],"graph_snapshots":[{"event_id":"sha256:ef9f6fc1c8e3a47161736e8ab3bdef8e6ead3564d8923a1662da282bf7a6d6db","target":"graph","created_at":"2026-07-05T09:13:24Z","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/2409.19881/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Constraint admissible positively invariant (CAPI) sets play a pivotal role in ensuring safety in control and planning applications, such as the recursive feasibility guarantee of explicit reference governor and model predictive control. However, existing methods for finding CAPI sets for nonlinear systems are often limited to single equilibria or specific system dynamics. This limitation underscores the necessity for a method to construct a CAPI set for general reference tracking control and a broader range of systems. In this work, we leverage recent advancements in learning-based methods to ","authors_text":"Dabin Kim, H. Jin Kim","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-09-30T02:26:04Z","title":"Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.19881","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:d57c93da4b4f235996f8156891f3821db07fd142104a7ca6fc39e0bb609853d5","target":"record","created_at":"2026-07-05T09:13:24Z","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":"510388a529807c37abc158881da812610649f3fd93062546538c017553733a25","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-09-30T02:26:04Z","title_canon_sha256":"5c677268fd8365a9772617ddf8754b45c3847601663aa44db6f70626071a0cac"},"schema_version":"1.0","source":{"id":"2409.19881","kind":"arxiv","version":1}},"canonical_sha256":"e12d926a8d42e52a3daa5ed239f225877803e86897d58017f0a780a8a10cdcd2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e12d926a8d42e52a3daa5ed239f225877803e86897d58017f0a780a8a10cdcd2","first_computed_at":"2026-07-05T09:13:24.247516Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:13:24.247516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SU2PdeGitadL961M/ZTFR+AwXjwwYqbba6APXpFhLofkgIlWCCijns1RNHzr1dl/e69VSXegYpWsh3HrlUQLAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:13:24.250939Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.19881","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d57c93da4b4f235996f8156891f3821db07fd142104a7ca6fc39e0bb609853d5","sha256:ef9f6fc1c8e3a47161736e8ab3bdef8e6ead3564d8923a1662da282bf7a6d6db"],"state_sha256":"69ec209058d78b273d25cac388475428866cc4f3cb7741db4f4d3f7b5cfec632"}