{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XZA4M4A5MKPFIAZWLI73Q3COAK","short_pith_number":"pith:XZA4M4A5","canonical_record":{"source":{"id":"1608.08683","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-30T23:01:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b09051556cd6accdcb664429219cf986f5d99e6573cc80ac0a2ec1943e273257","abstract_canon_sha256":"9cbe65dc9d35f12ade90f0a65a0e9c7cfaeb385348285f7cfff5cdaf6fb4f5bc"},"schema_version":"1.0"},"canonical_sha256":"be41c6701d629e5403365a3fb86c4e029713b894d6c07ae814eb714bb0df9c2f","source":{"kind":"arxiv","id":"1608.08683","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08683","created_at":"2026-05-18T01:06:40Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08683v1","created_at":"2026-05-18T01:06:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08683","created_at":"2026-05-18T01:06:40Z"},{"alias_kind":"pith_short_12","alias_value":"XZA4M4A5MKPF","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XZA4M4A5MKPFIAZW","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XZA4M4A5","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XZA4M4A5MKPFIAZWLI73Q3COAK","target":"record","payload":{"canonical_record":{"source":{"id":"1608.08683","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-30T23:01:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b09051556cd6accdcb664429219cf986f5d99e6573cc80ac0a2ec1943e273257","abstract_canon_sha256":"9cbe65dc9d35f12ade90f0a65a0e9c7cfaeb385348285f7cfff5cdaf6fb4f5bc"},"schema_version":"1.0"},"canonical_sha256":"be41c6701d629e5403365a3fb86c4e029713b894d6c07ae814eb714bb0df9c2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:40.203189Z","signature_b64":"mJ4NqxYX0qqLs5dS1aOnBD44pG6J7w+FHz8nxZIGrmyHazo+Pb3CYYz+8SXFCiX8g1KUlYDe4Y5SGk3sXoJhBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be41c6701d629e5403365a3fb86c4e029713b894d6c07ae814eb714bb0df9c2f","last_reissued_at":"2026-05-18T01:06:40.202580Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:40.202580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.08683","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-05-18T01:06:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a+J/3suMutjhgLgauzW8my6lmHdAgM5lKjnj7/CqOZ44DJmlwu/Y87psK/gmnMSlacUCl30ALHbt+6rRsvSABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T14:20:56.996606Z"},"content_sha256":"6b9fba8dac044d0a8492a9869360d69ff6d64b643d8093f851ac114821f2fbde","schema_version":"1.0","event_id":"sha256:6b9fba8dac044d0a8492a9869360d69ff6d64b643d8093f851ac114821f2fbde"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XZA4M4A5MKPFIAZWLI73Q3COAK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Jun Liu, Yinan Li","submitted_at":"2016-08-30T23:01:57Z","abstract_excerpt":"This paper focuses on the invariance control problem for discrete-time switched nonlinear systems. The proposed approach computes controlled invariant sets in a finite number of iterations and directly yields a partition-based invariance controller using the information recorded during the computation. In contrast with Lyapunov-based control methods, this method does not require the subsystems to have common equilibrium points. Algorithms are developed for computing both outer and inner approximations of the maximal controlled invariant sets, which are represented as finite unions of intervals"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08683","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":""},"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-05-18T01:06:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nzq2zfLf2Kz2yb6nyPJKlheh+X548gjvJULRPqJzlP0/5oJzsYuvmOFDGOiSIFxCLN86tSI1h/+/7ko3T8q8CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T14:20:56.996950Z"},"content_sha256":"895d95836d5bc7305f8264c996c36289d84e04681c9947f11c03f3df52032b6f","schema_version":"1.0","event_id":"sha256:895d95836d5bc7305f8264c996c36289d84e04681c9947f11c03f3df52032b6f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XZA4M4A5MKPFIAZWLI73Q3COAK/bundle.json","state_url":"https://pith.science/pith/XZA4M4A5MKPFIAZWLI73Q3COAK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XZA4M4A5MKPFIAZWLI73Q3COAK/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-06-10T14:20:56Z","links":{"resolver":"https://pith.science/pith/XZA4M4A5MKPFIAZWLI73Q3COAK","bundle":"https://pith.science/pith/XZA4M4A5MKPFIAZWLI73Q3COAK/bundle.json","state":"https://pith.science/pith/XZA4M4A5MKPFIAZWLI73Q3COAK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XZA4M4A5MKPFIAZWLI73Q3COAK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XZA4M4A5MKPFIAZWLI73Q3COAK","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":"9cbe65dc9d35f12ade90f0a65a0e9c7cfaeb385348285f7cfff5cdaf6fb4f5bc","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-30T23:01:57Z","title_canon_sha256":"b09051556cd6accdcb664429219cf986f5d99e6573cc80ac0a2ec1943e273257"},"schema_version":"1.0","source":{"id":"1608.08683","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08683","created_at":"2026-05-18T01:06:40Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08683v1","created_at":"2026-05-18T01:06:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08683","created_at":"2026-05-18T01:06:40Z"},{"alias_kind":"pith_short_12","alias_value":"XZA4M4A5MKPF","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XZA4M4A5MKPFIAZW","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XZA4M4A5","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:895d95836d5bc7305f8264c996c36289d84e04681c9947f11c03f3df52032b6f","target":"graph","created_at":"2026-05-18T01:06:40Z","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"},"paper":{"abstract_excerpt":"This paper focuses on the invariance control problem for discrete-time switched nonlinear systems. The proposed approach computes controlled invariant sets in a finite number of iterations and directly yields a partition-based invariance controller using the information recorded during the computation. In contrast with Lyapunov-based control methods, this method does not require the subsystems to have common equilibrium points. Algorithms are developed for computing both outer and inner approximations of the maximal controlled invariant sets, which are represented as finite unions of intervals","authors_text":"Jun Liu, Yinan Li","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-30T23:01:57Z","title":"Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08683","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:6b9fba8dac044d0a8492a9869360d69ff6d64b643d8093f851ac114821f2fbde","target":"record","created_at":"2026-05-18T01:06:40Z","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":"9cbe65dc9d35f12ade90f0a65a0e9c7cfaeb385348285f7cfff5cdaf6fb4f5bc","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-30T23:01:57Z","title_canon_sha256":"b09051556cd6accdcb664429219cf986f5d99e6573cc80ac0a2ec1943e273257"},"schema_version":"1.0","source":{"id":"1608.08683","kind":"arxiv","version":1}},"canonical_sha256":"be41c6701d629e5403365a3fb86c4e029713b894d6c07ae814eb714bb0df9c2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be41c6701d629e5403365a3fb86c4e029713b894d6c07ae814eb714bb0df9c2f","first_computed_at":"2026-05-18T01:06:40.202580Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:40.202580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mJ4NqxYX0qqLs5dS1aOnBD44pG6J7w+FHz8nxZIGrmyHazo+Pb3CYYz+8SXFCiX8g1KUlYDe4Y5SGk3sXoJhBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:40.203189Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.08683","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b9fba8dac044d0a8492a9869360d69ff6d64b643d8093f851ac114821f2fbde","sha256:895d95836d5bc7305f8264c996c36289d84e04681c9947f11c03f3df52032b6f"],"state_sha256":"b17c69857386ec142fe427c40834925a45b663ef8118bd702c5bccf918531174"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qPM5oQ3Px7PkUAhwpBVqOqJ6rAMw4sEXnqROB1kUJ4Ld2oaCqfx/ry1eBYt1d9j8jp1IPW6HhwuJY4tWnrd6CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T14:20:56.998874Z","bundle_sha256":"83e521afe187dc664e2a633ceeb68938e19acfa1e6102ae8d55fb85abddf7497"}}