{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:4EWZE2UNILSSUPNKL3JDT4RFQ5","short_pith_number":"pith:4EWZE2UN","schema_version":"1.0","canonical_sha256":"e12d926a8d42e52a3daa5ed239f225877803e86897d58017f0a780a8a10cdcd2","source":{"kind":"arxiv","id":"2409.19881","version":1},"attestation_state":"computed","paper":{"title":"Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Dabin Kim, H. Jin Kim","submitted_at":"2024-09-30T02:26:04Z","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2409.19881","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-09-30T02:26:04Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5c677268fd8365a9772617ddf8754b45c3847601663aa44db6f70626071a0cac","abstract_canon_sha256":"510388a529807c37abc158881da812610649f3fd93062546538c017553733a25"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:13:24.250939Z","signature_b64":"SU2PdeGitadL961M/ZTFR+AwXjwwYqbba6APXpFhLofkgIlWCCijns1RNHzr1dl/e69VSXegYpWsh3HrlUQLAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e12d926a8d42e52a3daa5ed239f225877803e86897d58017f0a780a8a10cdcd2","last_reissued_at":"2026-07-05T09:13:24.247516Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:13:24.247516Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Dabin Kim, H. Jin Kim","submitted_at":"2024-09-30T02:26:04Z","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 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.19881","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/2409.19881/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.19881","created_at":"2026-07-05T09:13:24.247574+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.19881v1","created_at":"2026-07-05T09:13:24.247574+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.19881","created_at":"2026-07-05T09:13:24.247574+00:00"},{"alias_kind":"pith_short_12","alias_value":"4EWZE2UNILSS","created_at":"2026-07-05T09:13:24.247574+00:00"},{"alias_kind":"pith_short_16","alias_value":"4EWZE2UNILSSUPNK","created_at":"2026-07-05T09:13:24.247574+00:00"},{"alias_kind":"pith_short_8","alias_value":"4EWZE2UN","created_at":"2026-07-05T09:13:24.247574+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.03493","citing_title":"Sequentially learning regions of attraction from data","ref_index":3,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5","json":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5.json","graph_json":"https://pith.science/api/pith-number/4EWZE2UNILSSUPNKL3JDT4RFQ5/graph.json","events_json":"https://pith.science/api/pith-number/4EWZE2UNILSSUPNKL3JDT4RFQ5/events.json","paper":"https://pith.science/paper/4EWZE2UN"},"agent_actions":{"view_html":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5","download_json":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5.json","view_paper":"https://pith.science/paper/4EWZE2UN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.19881&json=true","fetch_graph":"https://pith.science/api/pith-number/4EWZE2UNILSSUPNKL3JDT4RFQ5/graph.json","fetch_events":"https://pith.science/api/pith-number/4EWZE2UNILSSUPNKL3JDT4RFQ5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/action/storage_attestation","attest_author":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/action/author_attestation","sign_citation":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/action/citation_signature","submit_replication":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/action/replication_record"}},"created_at":"2026-07-05T09:13:24.247574+00:00","updated_at":"2026-07-05T09:13:24.247574+00:00"}