{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:A3WO2Y2IJLPD6JIUQQ7RGDZJV4","short_pith_number":"pith:A3WO2Y2I","schema_version":"1.0","canonical_sha256":"06eced63484ade3f2514843f130f29af00402a8f5074935ba35f360f9b882017","source":{"kind":"arxiv","id":"2112.14415","version":1},"attestation_state":"computed","paper":{"title":"Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY"],"primary_cat":"math.DS","authors_text":"Kai Sun, Liang Xu, Wei Kang","submitted_at":"2021-12-29T06:41:34Z","abstract_excerpt":"This paper deals with a special type of Lyapunov functions, namely the solution of Zubov's equation. Such a function can be used to characterize the domain of attraction for systems of ordinary differential equations. We derive and prove an integral form solution to Zubov's equation. For numerical computation, we develop two data-driven methods. One is based on the integration of an augmented system of differential equations; and the other one is based on deep learning. The former is effective for systems with a relatively low state space dimension and the latter is developed for high dimensio"},"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":"2112.14415","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2021-12-29T06:41:34Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"a82666e86b822920919115c60a0f91229e944e2f4ef01934c2d267ee831129b3","abstract_canon_sha256":"e5b13c1108ef065ce94aa0797cc48b3561ed6699034f8f512d5855a206948426"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:44:21.978014Z","signature_b64":"O5NAhEs/AZSYQX206UQc+kNfvdA8eWk/WpFGth6W65zOdp29VqRZuCkrHGskTgwqFV/Lo/XfJepg6wRfBa/FAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"06eced63484ade3f2514843f130f29af00402a8f5074935ba35f360f9b882017","last_reissued_at":"2026-07-05T03:44:21.977659Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:44:21.977659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY"],"primary_cat":"math.DS","authors_text":"Kai Sun, Liang Xu, Wei Kang","submitted_at":"2021-12-29T06:41:34Z","abstract_excerpt":"This paper deals with a special type of Lyapunov functions, namely the solution of Zubov's equation. Such a function can be used to characterize the domain of attraction for systems of ordinary differential equations. We derive and prove an integral form solution to Zubov's equation. For numerical computation, we develop two data-driven methods. One is based on the integration of an augmented system of differential equations; and the other one is based on deep learning. The former is effective for systems with a relatively low state space dimension and the latter is developed for high dimensio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.14415","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2112.14415/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2112.14415","created_at":"2026-07-05T03:44:21.977712+00:00"},{"alias_kind":"arxiv_version","alias_value":"2112.14415v1","created_at":"2026-07-05T03:44:21.977712+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.14415","created_at":"2026-07-05T03:44:21.977712+00:00"},{"alias_kind":"pith_short_12","alias_value":"A3WO2Y2IJLPD","created_at":"2026-07-05T03:44:21.977712+00:00"},{"alias_kind":"pith_short_16","alias_value":"A3WO2Y2IJLPD6JIU","created_at":"2026-07-05T03:44:21.977712+00:00"},{"alias_kind":"pith_short_8","alias_value":"A3WO2Y2I","created_at":"2026-07-05T03:44:21.977712+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2304.07215","citing_title":"Towards Learning and Verifying Maximal Neural Lyapunov Functions","ref_index":11,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4","json":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4.json","graph_json":"https://pith.science/api/pith-number/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/graph.json","events_json":"https://pith.science/api/pith-number/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/events.json","paper":"https://pith.science/paper/A3WO2Y2I"},"agent_actions":{"view_html":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4","download_json":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4.json","view_paper":"https://pith.science/paper/A3WO2Y2I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2112.14415&json=true","fetch_graph":"https://pith.science/api/pith-number/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/graph.json","fetch_events":"https://pith.science/api/pith-number/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/action/storage_attestation","attest_author":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/action/author_attestation","sign_citation":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/action/citation_signature","submit_replication":"https://pith.science/pith/A3WO2Y2IJLPD6JIUQQ7RGDZJV4/action/replication_record"}},"created_at":"2026-07-05T03:44:21.977712+00:00","updated_at":"2026-07-05T03:44:21.977712+00:00"}