{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:4VNKH5B5E6ODNEKNTWJKDBF6QP","short_pith_number":"pith:4VNKH5B5","schema_version":"1.0","canonical_sha256":"e55aa3f43d279c36914d9d92a184be83d97bcc022454da63484d2ed485a2bd89","source":{"kind":"arxiv","id":"1809.05289","version":1},"attestation_state":"computed","paper":{"title":"Lyapunov Theory for Discrete Time Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Luca Schenato, Nicoletta Bof, Ruggero Carli","submitted_at":"2018-09-14T07:52:37Z","abstract_excerpt":"In this work, we present the equivalent of many theorems available for continuous time systems. In particular, the theory is applied to Averaging Theory and Separation of time scales. In particular the proofs developed for Averaging Theory and Separation of time scales departs from those typically used in continuous time systems that are based on twice differentiable change of variables and the multiple use of the Implicit Function Theorem and Mean Value Theorem. More specifically, by constructing a suitable Lyapunov function only Lipschitz conditions are necessary. Finally, it is shown that u"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1809.05289","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-09-14T07:52:37Z","cross_cats_sorted":[],"title_canon_sha256":"2519296a6273c7cc4fa461880f57794e32f37246e7d00d5631b58d310c81c821","abstract_canon_sha256":"7d8e87b2417a891b0a0d905dd25cd6bf467bcb3db1b80df25947f4ecf341d2f4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:44.095101Z","signature_b64":"xcOxuv9tt/M2gkcNgLCp6hqCZOffgZyjVsP9Nc6iy8o99GVp/Rl5D98OdHTEcMYRYkxmobJA3DOHOQczvT5QAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e55aa3f43d279c36914d9d92a184be83d97bcc022454da63484d2ed485a2bd89","last_reissued_at":"2026-05-18T00:05:44.094540Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:44.094540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lyapunov Theory for Discrete Time Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Luca Schenato, Nicoletta Bof, Ruggero Carli","submitted_at":"2018-09-14T07:52:37Z","abstract_excerpt":"In this work, we present the equivalent of many theorems available for continuous time systems. In particular, the theory is applied to Averaging Theory and Separation of time scales. In particular the proofs developed for Averaging Theory and Separation of time scales departs from those typically used in continuous time systems that are based on twice differentiable change of variables and the multiple use of the Implicit Function Theorem and Mean Value Theorem. More specifically, by constructing a suitable Lyapunov function only Lipschitz conditions are necessary. Finally, it is shown that u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.05289","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1809.05289","created_at":"2026-05-18T00:05:44.094644+00:00"},{"alias_kind":"arxiv_version","alias_value":"1809.05289v1","created_at":"2026-05-18T00:05:44.094644+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.05289","created_at":"2026-05-18T00:05:44.094644+00:00"},{"alias_kind":"pith_short_12","alias_value":"4VNKH5B5E6OD","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"4VNKH5B5E6ODNEKN","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"4VNKH5B5","created_at":"2026-05-18T12:32:05.422762+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2512.02744","citing_title":"Implicit score-driven filters for time-varying parameter models","ref_index":17,"is_internal_anchor":true},{"citing_arxiv_id":"2604.05102","citing_title":"Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees","ref_index":30,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP","json":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP.json","graph_json":"https://pith.science/api/pith-number/4VNKH5B5E6ODNEKNTWJKDBF6QP/graph.json","events_json":"https://pith.science/api/pith-number/4VNKH5B5E6ODNEKNTWJKDBF6QP/events.json","paper":"https://pith.science/paper/4VNKH5B5"},"agent_actions":{"view_html":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP","download_json":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP.json","view_paper":"https://pith.science/paper/4VNKH5B5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1809.05289&json=true","fetch_graph":"https://pith.science/api/pith-number/4VNKH5B5E6ODNEKNTWJKDBF6QP/graph.json","fetch_events":"https://pith.science/api/pith-number/4VNKH5B5E6ODNEKNTWJKDBF6QP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP/action/storage_attestation","attest_author":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP/action/author_attestation","sign_citation":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP/action/citation_signature","submit_replication":"https://pith.science/pith/4VNKH5B5E6ODNEKNTWJKDBF6QP/action/replication_record"}},"created_at":"2026-05-18T00:05:44.094644+00:00","updated_at":"2026-05-18T00:05:44.094644+00:00"}