{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:HWOSEKV2IAKQHV3DFYLYFTDIOF","short_pith_number":"pith:HWOSEKV2","canonical_record":{"source":{"id":"1201.2478","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-01-12T05:37:37Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"93b94d64375eefa55416d67129d5e705b3b9d18e31fa53622a1d7fd1d4c6bdee","abstract_canon_sha256":"a247030f932cf1677ce0b191b7d2d56d6781481f7ca41130b657f26710b66ed8"},"schema_version":"1.0"},"canonical_sha256":"3d9d222aba401503d7632e1782cc68715b0b91a731924e85f34d48005a60f4ea","source":{"kind":"arxiv","id":"1201.2478","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.2478","created_at":"2026-05-18T04:04:44Z"},{"alias_kind":"arxiv_version","alias_value":"1201.2478v1","created_at":"2026-05-18T04:04:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.2478","created_at":"2026-05-18T04:04:44Z"},{"alias_kind":"pith_short_12","alias_value":"HWOSEKV2IAKQ","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HWOSEKV2IAKQHV3D","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HWOSEKV2","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:HWOSEKV2IAKQHV3DFYLYFTDIOF","target":"record","payload":{"canonical_record":{"source":{"id":"1201.2478","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-01-12T05:37:37Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"93b94d64375eefa55416d67129d5e705b3b9d18e31fa53622a1d7fd1d4c6bdee","abstract_canon_sha256":"a247030f932cf1677ce0b191b7d2d56d6781481f7ca41130b657f26710b66ed8"},"schema_version":"1.0"},"canonical_sha256":"3d9d222aba401503d7632e1782cc68715b0b91a731924e85f34d48005a60f4ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:04:44.329217Z","signature_b64":"0bD9KOyWiRTRkRj1+CB5SudWVk6KR++lyvdxTmWKQEwun4xJEwXkD17Qg86IEIeNIZULHRSPK5rXofcl+UntAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3d9d222aba401503d7632e1782cc68715b0b91a731924e85f34d48005a60f4ea","last_reissued_at":"2026-05-18T04:04:44.328830Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:04:44.328830Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.2478","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-18T04:04:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"keNYWlTKP5rxgnVWfjJLPgUJUqA/sfGSyS99wgl9fHvZqKjWSlbTfD/iJDLOyvkIPXl6D/JGwOD4oeRr+KhPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T02:41:33.188493Z"},"content_sha256":"08ed7dafa14babd1aeb3f13f4d794c95a96d006c588c6f4b7436d3ce944590e4","schema_version":"1.0","event_id":"sha256:08ed7dafa14babd1aeb3f13f4d794c95a96d006c588c6f4b7436d3ce944590e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:HWOSEKV2IAKQHV3DFYLYFTDIOF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Global stabilization of nonlinear systems based on vector control lyapunov functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Iasson Karafyllis, Zhong-Ping Jiang","submitted_at":"2012-01-12T05:37:37Z","abstract_excerpt":"This paper studies the use of vector Lyapunov functions for the design of globally stabilizing feedback laws for nonlinear systems. Recent results on vector Lyapunov functions are utilized. The main result of the paper shows that the existence of a vector control Lyapunov function is a necessary and sufficient condition for the existence of a smooth globally stabilizing feedback. Applications to nonlinear systems are provided: simple and easily checkable sufficient conditions are proposed to guarantee the existence of a smooth globally stabilizing feedback law. The obtained results are applied"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.2478","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-18T04:04:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XkNp9L8tsAZvx23rhaLgnXMKWhPwZgkYdeWrqwDAcjjAIZZdbv74ufI5PkCZ7MqLurwFoAUola0HSefLkh5VBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T02:41:33.188859Z"},"content_sha256":"7f07403958a4a6a3caffe72153391c317a95f868fa81bbee4ab90b75999a9578","schema_version":"1.0","event_id":"sha256:7f07403958a4a6a3caffe72153391c317a95f868fa81bbee4ab90b75999a9578"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF/bundle.json","state_url":"https://pith.science/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF/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-01T02:41:33Z","links":{"resolver":"https://pith.science/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF","bundle":"https://pith.science/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF/bundle.json","state":"https://pith.science/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HWOSEKV2IAKQHV3DFYLYFTDIOF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:HWOSEKV2IAKQHV3DFYLYFTDIOF","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":"a247030f932cf1677ce0b191b7d2d56d6781481f7ca41130b657f26710b66ed8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-01-12T05:37:37Z","title_canon_sha256":"93b94d64375eefa55416d67129d5e705b3b9d18e31fa53622a1d7fd1d4c6bdee"},"schema_version":"1.0","source":{"id":"1201.2478","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.2478","created_at":"2026-05-18T04:04:44Z"},{"alias_kind":"arxiv_version","alias_value":"1201.2478v1","created_at":"2026-05-18T04:04:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.2478","created_at":"2026-05-18T04:04:44Z"},{"alias_kind":"pith_short_12","alias_value":"HWOSEKV2IAKQ","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HWOSEKV2IAKQHV3D","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HWOSEKV2","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:7f07403958a4a6a3caffe72153391c317a95f868fa81bbee4ab90b75999a9578","target":"graph","created_at":"2026-05-18T04:04:44Z","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 studies the use of vector Lyapunov functions for the design of globally stabilizing feedback laws for nonlinear systems. Recent results on vector Lyapunov functions are utilized. The main result of the paper shows that the existence of a vector control Lyapunov function is a necessary and sufficient condition for the existence of a smooth globally stabilizing feedback. Applications to nonlinear systems are provided: simple and easily checkable sufficient conditions are proposed to guarantee the existence of a smooth globally stabilizing feedback law. The obtained results are applied","authors_text":"Iasson Karafyllis, Zhong-Ping Jiang","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-01-12T05:37:37Z","title":"Global stabilization of nonlinear systems based on vector control lyapunov functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.2478","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:08ed7dafa14babd1aeb3f13f4d794c95a96d006c588c6f4b7436d3ce944590e4","target":"record","created_at":"2026-05-18T04:04:44Z","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":"a247030f932cf1677ce0b191b7d2d56d6781481f7ca41130b657f26710b66ed8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-01-12T05:37:37Z","title_canon_sha256":"93b94d64375eefa55416d67129d5e705b3b9d18e31fa53622a1d7fd1d4c6bdee"},"schema_version":"1.0","source":{"id":"1201.2478","kind":"arxiv","version":1}},"canonical_sha256":"3d9d222aba401503d7632e1782cc68715b0b91a731924e85f34d48005a60f4ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3d9d222aba401503d7632e1782cc68715b0b91a731924e85f34d48005a60f4ea","first_computed_at":"2026-05-18T04:04:44.328830Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:04:44.328830Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0bD9KOyWiRTRkRj1+CB5SudWVk6KR++lyvdxTmWKQEwun4xJEwXkD17Qg86IEIeNIZULHRSPK5rXofcl+UntAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:04:44.329217Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.2478","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08ed7dafa14babd1aeb3f13f4d794c95a96d006c588c6f4b7436d3ce944590e4","sha256:7f07403958a4a6a3caffe72153391c317a95f868fa81bbee4ab90b75999a9578"],"state_sha256":"3a08df3553acf97a950addf0301b000649f58e2ee4a00910c022c24a001ef200"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1lIQbi8P2p4R6ujxeSofI8PUudhlhQlylwKujfKQTsKX5yfPhBoogEeb4HZoE7niaXqoc20qKkyV88/SbcvBAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T02:41:33.191509Z","bundle_sha256":"19905868ae3938e3b96576560ae4d704325a0933f195b8cec3e78d7ba69ab09c"}}