{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4EWZE2UNILSSUPNKL3JDT4RFQ5","short_pith_number":"pith:4EWZE2UN","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"},"canonical_sha256":"e12d926a8d42e52a3daa5ed239f225877803e86897d58017f0a780a8a10cdcd2","source":{"kind":"arxiv","id":"2409.19881","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4EWZE2UNILSSUPNKL3JDT4RFQ5","target":"record","payload":{"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"},"canonical_sha256":"e12d926a8d42e52a3daa5ed239f225877803e86897d58017f0a780a8a10cdcd2","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"},"source_kind":"arxiv","source_id":"2409.19881","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-05T09:13:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mK3YjsiBNxQy4FaVw/Rn+FewzPJKsXx6qg7qmPNWyCIHzg6vBkPNcXT/eVNzi3cecyMx2dR6ZifXZHHYtlPSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T05:56:41.631205Z"},"content_sha256":"d57c93da4b4f235996f8156891f3821db07fd142104a7ca6fc39e0bb609853d5","schema_version":"1.0","event_id":"sha256:d57c93da4b4f235996f8156891f3821db07fd142104a7ca6fc39e0bb609853d5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4EWZE2UNILSSUPNKL3JDT4RFQ5","target":"graph","payload":{"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"},"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-05T09:13:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FcnmHrgkv/lXyJbTJxwgE2QMMU+6q64JI0wlnePYU2Se3PoioJpI6DW7KLpEhKt06lT+Xa0IKJb9EnjHvbmjCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T05:56:41.631804Z"},"content_sha256":"ef9f6fc1c8e3a47161736e8ab3bdef8e6ead3564d8923a1662da282bf7a6d6db","schema_version":"1.0","event_id":"sha256:ef9f6fc1c8e3a47161736e8ab3bdef8e6ead3564d8923a1662da282bf7a6d6db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/bundle.json","state_url":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/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-22T05:56:41Z","links":{"resolver":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5","bundle":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/bundle.json","state":"https://pith.science/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4EWZE2UNILSSUPNKL3JDT4RFQ5/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imr2yoGtvsJhsLDyH6gEWalupdEKJATxOIM5TctW9ggX+VlBUGkn6P/ndiwuWnH7LTjk1V6OdeadwprwvLenDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T05:56:41.635812Z","bundle_sha256":"c2e6851c8ed3b8cdd381039d2d23306d23fadc92c58bcb19176429a7b295b680"}}