{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:UWPK2KLRFSELMA4UCQT67KGKVX","short_pith_number":"pith:UWPK2KLR","canonical_record":{"source":{"id":"1512.02302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-12-08T01:55:54Z","cross_cats_sorted":[],"title_canon_sha256":"44d60add5131b0aef3992fa9873816e74ffd22699ae0ae330899f6756d274c76","abstract_canon_sha256":"6bdb0bd4033696814451c08207cbe1dab5ce9038c74183f476d7d0b87eef8b64"},"schema_version":"1.0"},"canonical_sha256":"a59ead29712c88b603941427efa8caade5f44dabc3864d1661940b67a7ba6391","source":{"kind":"arxiv","id":"1512.02302","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.02302","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"arxiv_version","alias_value":"1512.02302v1","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.02302","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"pith_short_12","alias_value":"UWPK2KLRFSEL","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UWPK2KLRFSELMA4U","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UWPK2KLR","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:UWPK2KLRFSELMA4UCQT67KGKVX","target":"record","payload":{"canonical_record":{"source":{"id":"1512.02302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-12-08T01:55:54Z","cross_cats_sorted":[],"title_canon_sha256":"44d60add5131b0aef3992fa9873816e74ffd22699ae0ae330899f6756d274c76","abstract_canon_sha256":"6bdb0bd4033696814451c08207cbe1dab5ce9038c74183f476d7d0b87eef8b64"},"schema_version":"1.0"},"canonical_sha256":"a59ead29712c88b603941427efa8caade5f44dabc3864d1661940b67a7ba6391","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:54.956822Z","signature_b64":"IsEP6eS0hCj9utSJb1Rk/CLCy+IOFZPfJ+6e9eQitH2oKWu8doSQf2m3K0e9RPnJCzR4w/IKUfLnyAYZvZ9/AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a59ead29712c88b603941427efa8caade5f44dabc3864d1661940b67a7ba6391","last_reissued_at":"2026-05-18T00:37:54.956404Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:54.956404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.02302","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-18T00:37:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5QGat0i1qKNtmvhE+tV2G9w19MCk3SLd1NgLfLS0sNbp761WnKk0fE4vagZUPqmO+1/hn9Ng1ubvoe5m4oW0Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T02:39:30.368269Z"},"content_sha256":"ee202036a1779ad785b57e0a8bb8eba36bc7e5dbe2fc57f56df6382cb4f8feb2","schema_version":"1.0","event_id":"sha256:ee202036a1779ad785b57e0a8bb8eba36bc7e5dbe2fc57f56df6382cb4f8feb2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:UWPK2KLRFSELMA4UCQT67KGKVX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stability Analysis of Nonlinear Time-Varying Systems by Lyapunov Functions with Indefinite Derivatives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Bin Zhou","submitted_at":"2015-12-08T01:55:54Z","abstract_excerpt":"This paper is concerned with stability analysis of nonlinear time-varying systems by using Lyapunov function based approach. The classical Lyapunov stability theorems are generalized in the sense that the time-derivative of the Lyapunov functions are allowed to be indefinite. The stability analysis is accomplished with the help of the scalar stable functions introduced in our previous study. Both asymptotic stability and input-to-state stability are considered. Particularly, for asymptotic stability, several concepts such as uniform and non-uniform asymptotic stability, and uniform and non-uni"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.02302","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-18T00:37:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UO4Dsgb/w3CrP5CPbhPCx9B/ZeTZ7lSSxbH+D1OAH1hNZ0/x59s9JwH6OFkekbYGJtyc9URLPm9XUZHaLTxHCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T02:39:30.368633Z"},"content_sha256":"2f35f20e6f0a00ecd14520565ac4a4bda99519a505c6a15c382fbb2ea56e83d7","schema_version":"1.0","event_id":"sha256:2f35f20e6f0a00ecd14520565ac4a4bda99519a505c6a15c382fbb2ea56e83d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UWPK2KLRFSELMA4UCQT67KGKVX/bundle.json","state_url":"https://pith.science/pith/UWPK2KLRFSELMA4UCQT67KGKVX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UWPK2KLRFSELMA4UCQT67KGKVX/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-03T02:39:30Z","links":{"resolver":"https://pith.science/pith/UWPK2KLRFSELMA4UCQT67KGKVX","bundle":"https://pith.science/pith/UWPK2KLRFSELMA4UCQT67KGKVX/bundle.json","state":"https://pith.science/pith/UWPK2KLRFSELMA4UCQT67KGKVX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UWPK2KLRFSELMA4UCQT67KGKVX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:UWPK2KLRFSELMA4UCQT67KGKVX","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":"6bdb0bd4033696814451c08207cbe1dab5ce9038c74183f476d7d0b87eef8b64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-12-08T01:55:54Z","title_canon_sha256":"44d60add5131b0aef3992fa9873816e74ffd22699ae0ae330899f6756d274c76"},"schema_version":"1.0","source":{"id":"1512.02302","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.02302","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"arxiv_version","alias_value":"1512.02302v1","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.02302","created_at":"2026-05-18T00:37:54Z"},{"alias_kind":"pith_short_12","alias_value":"UWPK2KLRFSEL","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UWPK2KLRFSELMA4U","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UWPK2KLR","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:2f35f20e6f0a00ecd14520565ac4a4bda99519a505c6a15c382fbb2ea56e83d7","target":"graph","created_at":"2026-05-18T00:37:54Z","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 is concerned with stability analysis of nonlinear time-varying systems by using Lyapunov function based approach. The classical Lyapunov stability theorems are generalized in the sense that the time-derivative of the Lyapunov functions are allowed to be indefinite. The stability analysis is accomplished with the help of the scalar stable functions introduced in our previous study. Both asymptotic stability and input-to-state stability are considered. Particularly, for asymptotic stability, several concepts such as uniform and non-uniform asymptotic stability, and uniform and non-uni","authors_text":"Bin Zhou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-12-08T01:55:54Z","title":"Stability Analysis of Nonlinear Time-Varying Systems by Lyapunov Functions with Indefinite Derivatives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.02302","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:ee202036a1779ad785b57e0a8bb8eba36bc7e5dbe2fc57f56df6382cb4f8feb2","target":"record","created_at":"2026-05-18T00:37:54Z","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":"6bdb0bd4033696814451c08207cbe1dab5ce9038c74183f476d7d0b87eef8b64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-12-08T01:55:54Z","title_canon_sha256":"44d60add5131b0aef3992fa9873816e74ffd22699ae0ae330899f6756d274c76"},"schema_version":"1.0","source":{"id":"1512.02302","kind":"arxiv","version":1}},"canonical_sha256":"a59ead29712c88b603941427efa8caade5f44dabc3864d1661940b67a7ba6391","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a59ead29712c88b603941427efa8caade5f44dabc3864d1661940b67a7ba6391","first_computed_at":"2026-05-18T00:37:54.956404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:54.956404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IsEP6eS0hCj9utSJb1Rk/CLCy+IOFZPfJ+6e9eQitH2oKWu8doSQf2m3K0e9RPnJCzR4w/IKUfLnyAYZvZ9/AA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:54.956822Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.02302","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee202036a1779ad785b57e0a8bb8eba36bc7e5dbe2fc57f56df6382cb4f8feb2","sha256:2f35f20e6f0a00ecd14520565ac4a4bda99519a505c6a15c382fbb2ea56e83d7"],"state_sha256":"d72a4adde9179ddfb3e909a99369fdd297e5a2dfe9fec853d522e4d837da87f8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aU5a2bwpE+YlIl6HFuzOldSdhIas3+zpvw68JpXgWl1iF/Nvq/jwgmFN1Gni2IRvI7JXu957rhO0a/GW9zyvAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T02:39:30.370588Z","bundle_sha256":"d36dd16a260f02504f470e44794233cbcedd479eca7ff25023da791bd2060392"}}