{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:7QUEQOBWHZ24CUNWJ3LCEMGBDC","short_pith_number":"pith:7QUEQOBW","canonical_record":{"source":{"id":"1306.6880","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CD","submitted_at":"2013-06-28T15:40:00Z","cross_cats_sorted":[],"title_canon_sha256":"fee55521473c94045c617ac862fe7de8e6f601f00028a491b963ef2e37523ae9","abstract_canon_sha256":"e01afbe01b48218908a765990ee6b8238452fc5053068b0dd2650963bf6fda2a"},"schema_version":"1.0"},"canonical_sha256":"fc284838363e75c151b64ed62230c1188070b040dbab58308b0b42b2ae7e79bd","source":{"kind":"arxiv","id":"1306.6880","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.6880","created_at":"2026-05-18T03:19:42Z"},{"alias_kind":"arxiv_version","alias_value":"1306.6880v1","created_at":"2026-05-18T03:19:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.6880","created_at":"2026-05-18T03:19:42Z"},{"alias_kind":"pith_short_12","alias_value":"7QUEQOBWHZ24","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"7QUEQOBWHZ24CUNW","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"7QUEQOBW","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:7QUEQOBWHZ24CUNWJ3LCEMGBDC","target":"record","payload":{"canonical_record":{"source":{"id":"1306.6880","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CD","submitted_at":"2013-06-28T15:40:00Z","cross_cats_sorted":[],"title_canon_sha256":"fee55521473c94045c617ac862fe7de8e6f601f00028a491b963ef2e37523ae9","abstract_canon_sha256":"e01afbe01b48218908a765990ee6b8238452fc5053068b0dd2650963bf6fda2a"},"schema_version":"1.0"},"canonical_sha256":"fc284838363e75c151b64ed62230c1188070b040dbab58308b0b42b2ae7e79bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:19:42.660633Z","signature_b64":"bbzNmQnQQ/aTd8s3fjIiJPaE2SPjQhH2Q7uY8aec4jebuKaPVpLY6U4grjsCDgjqkfY6aoJlwE1RKmqf0kXRBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc284838363e75c151b64ed62230c1188070b040dbab58308b0b42b2ae7e79bd","last_reissued_at":"2026-05-18T03:19:42.659817Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:19:42.659817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.6880","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-18T03:19:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g9tIs/ePl1AsDOuwbWSNYdycVYDhEsZHx7CHPk82Me+qjdXx90h8d/TuhvF0iN5PUCj2nDBlidgBi8/a6CBXDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:27:13.537774Z"},"content_sha256":"e4d10d704ab1ac7120de22534b73523e1cb590ad68c058324d1e2bda0b2c405c","schema_version":"1.0","event_id":"sha256:e4d10d704ab1ac7120de22534b73523e1cb590ad68c058324d1e2bda0b2c405c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:7QUEQOBWHZ24CUNWJ3LCEMGBDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lyapunov Functions in Piecewise Linear Systems: From Fixed Point to Limit Cycle","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"nlin.CD","authors_text":"Bo Yuan, Ping Ao, Ruoshi Yuan, Yang Li, Yian Ma","submitted_at":"2013-06-28T15:40:00Z","abstract_excerpt":"This paper provides a first example of constructing Lyapunov functions in a class of piecewise linear systems with limit cycles. The method of construction helps analyze and control complex oscillating systems through novel geometric means. Special attention is stressed upon a problem not formerly solved: to impose consistent boundary conditions on the Lyapunov function in each linear region. By successfully solving the problem, the authors construct continuous Lyapunov functions in the whole state space. It is further demonstrated that the Lyapunov functions constructed explain for the differ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.6880","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-18T03:19:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3mvO4a7S9vEqzfFEmq1sorB6VfXC4ki/UiIxLsy7zsxjQLv8onOydpdCPjbgb+OpCk11qUEeH7koUCod36G/BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:27:13.538437Z"},"content_sha256":"e5443a95d121675a9b6ff53fc16a4544bc72565b00415c9acf7a19f491e6e4fd","schema_version":"1.0","event_id":"sha256:e5443a95d121675a9b6ff53fc16a4544bc72565b00415c9acf7a19f491e6e4fd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC/bundle.json","state_url":"https://pith.science/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC/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-05-30T09:27:13Z","links":{"resolver":"https://pith.science/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC","bundle":"https://pith.science/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC/bundle.json","state":"https://pith.science/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7QUEQOBWHZ24CUNWJ3LCEMGBDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:7QUEQOBWHZ24CUNWJ3LCEMGBDC","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":"e01afbe01b48218908a765990ee6b8238452fc5053068b0dd2650963bf6fda2a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CD","submitted_at":"2013-06-28T15:40:00Z","title_canon_sha256":"fee55521473c94045c617ac862fe7de8e6f601f00028a491b963ef2e37523ae9"},"schema_version":"1.0","source":{"id":"1306.6880","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.6880","created_at":"2026-05-18T03:19:42Z"},{"alias_kind":"arxiv_version","alias_value":"1306.6880v1","created_at":"2026-05-18T03:19:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.6880","created_at":"2026-05-18T03:19:42Z"},{"alias_kind":"pith_short_12","alias_value":"7QUEQOBWHZ24","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"7QUEQOBWHZ24CUNW","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"7QUEQOBW","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:e5443a95d121675a9b6ff53fc16a4544bc72565b00415c9acf7a19f491e6e4fd","target":"graph","created_at":"2026-05-18T03:19:42Z","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 provides a first example of constructing Lyapunov functions in a class of piecewise linear systems with limit cycles. The method of construction helps analyze and control complex oscillating systems through novel geometric means. Special attention is stressed upon a problem not formerly solved: to impose consistent boundary conditions on the Lyapunov function in each linear region. By successfully solving the problem, the authors construct continuous Lyapunov functions in the whole state space. It is further demonstrated that the Lyapunov functions constructed explain for the differ","authors_text":"Bo Yuan, Ping Ao, Ruoshi Yuan, Yang Li, Yian Ma","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CD","submitted_at":"2013-06-28T15:40:00Z","title":"Lyapunov Functions in Piecewise Linear Systems: From Fixed Point to Limit Cycle"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.6880","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:e4d10d704ab1ac7120de22534b73523e1cb590ad68c058324d1e2bda0b2c405c","target":"record","created_at":"2026-05-18T03:19:42Z","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":"e01afbe01b48218908a765990ee6b8238452fc5053068b0dd2650963bf6fda2a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.CD","submitted_at":"2013-06-28T15:40:00Z","title_canon_sha256":"fee55521473c94045c617ac862fe7de8e6f601f00028a491b963ef2e37523ae9"},"schema_version":"1.0","source":{"id":"1306.6880","kind":"arxiv","version":1}},"canonical_sha256":"fc284838363e75c151b64ed62230c1188070b040dbab58308b0b42b2ae7e79bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc284838363e75c151b64ed62230c1188070b040dbab58308b0b42b2ae7e79bd","first_computed_at":"2026-05-18T03:19:42.659817Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:19:42.659817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bbzNmQnQQ/aTd8s3fjIiJPaE2SPjQhH2Q7uY8aec4jebuKaPVpLY6U4grjsCDgjqkfY6aoJlwE1RKmqf0kXRBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:19:42.660633Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.6880","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e4d10d704ab1ac7120de22534b73523e1cb590ad68c058324d1e2bda0b2c405c","sha256:e5443a95d121675a9b6ff53fc16a4544bc72565b00415c9acf7a19f491e6e4fd"],"state_sha256":"ab719b4b45b8339e5b3f40d2bb7f4e737f567468e83f653d4964a63bcb346306"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Om6kfVZDTaiYRY8F0vcuUPTRKOu+qkCEjkUVjVQp0/VdC3b6OmVEYPdcekyvSu9eYNGhnlhU6HrOuPt3Z12QBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T09:27:13.541895Z","bundle_sha256":"c9b2ae7527ab146dec69ad496ddc62817c37836d65cbaf38665bd5aa9c733582"}}