{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:MOEMKQLMCUVBPWCBI6R3MGJNQX","short_pith_number":"pith:MOEMKQLM","schema_version":"1.0","canonical_sha256":"6388c5416c152a17d84147a3b6192d85e81fe85b31728510f001ff73b4c5d26d","source":{"kind":"arxiv","id":"2110.00731","version":1},"attestation_state":"computed","paper":{"title":"Learning Region of Attraction for Nonlinear Systems","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"George J. Pappas, Mahyar Fazlyab, Manfred Morari, Shaoru Chen, Victor M. Preciado","submitted_at":"2021-10-02T05:44:22Z","abstract_excerpt":"Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis. Leveraging the universal approximation property of neural networks, in this paper, we propose a counterexample-guided method to estimate the ROA of general nonlinear dynamical systems provided that they can be approximated by piecewise linear neural networks and that the approximation error can be bounded. Specifically, our method searches for robust Lyapunov functions using counterexamples, i.e., the states at which the Lyapunov conditions fail."},"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":"2110.00731","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2021-10-02T05:44:22Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"639c6177ddb756387a8688773fc91ee0e4029723bdf15c780a78944d2bf1c5a8","abstract_canon_sha256":"3eb63e28c747b4887f9bed62083dd8d8e9b2274ef8add9abda11d768de5896d0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:19:47.872912Z","signature_b64":"Ba1X8bV8dL3i6NVvGmp7tyV0Bz7HltbUlqzKxiGA76O/mrixklvZ1XX8c3s/ucbz5fG3XBFnaAcc2IVkVOGbDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6388c5416c152a17d84147a3b6192d85e81fe85b31728510f001ff73b4c5d26d","last_reissued_at":"2026-07-05T03:19:47.872523Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:19:47.872523Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Learning Region of Attraction for Nonlinear Systems","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"George J. Pappas, Mahyar Fazlyab, Manfred Morari, Shaoru Chen, Victor M. Preciado","submitted_at":"2021-10-02T05:44:22Z","abstract_excerpt":"Estimating the region of attraction (ROA) of general nonlinear autonomous systems remains a challenging problem and requires a case-by-case analysis. Leveraging the universal approximation property of neural networks, in this paper, we propose a counterexample-guided method to estimate the ROA of general nonlinear dynamical systems provided that they can be approximated by piecewise linear neural networks and that the approximation error can be bounded. Specifically, our method searches for robust Lyapunov functions using counterexamples, i.e., the states at which the Lyapunov conditions fail."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.00731","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/2110.00731/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":"2110.00731","created_at":"2026-07-05T03:19:47.872584+00:00"},{"alias_kind":"arxiv_version","alias_value":"2110.00731v1","created_at":"2026-07-05T03:19:47.872584+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.00731","created_at":"2026-07-05T03:19:47.872584+00:00"},{"alias_kind":"pith_short_12","alias_value":"MOEMKQLMCUVB","created_at":"2026-07-05T03:19:47.872584+00:00"},{"alias_kind":"pith_short_16","alias_value":"MOEMKQLMCUVBPWCB","created_at":"2026-07-05T03:19:47.872584+00:00"},{"alias_kind":"pith_short_8","alias_value":"MOEMKQLM","created_at":"2026-07-05T03:19:47.872584+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX","json":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX.json","graph_json":"https://pith.science/api/pith-number/MOEMKQLMCUVBPWCBI6R3MGJNQX/graph.json","events_json":"https://pith.science/api/pith-number/MOEMKQLMCUVBPWCBI6R3MGJNQX/events.json","paper":"https://pith.science/paper/MOEMKQLM"},"agent_actions":{"view_html":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX","download_json":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX.json","view_paper":"https://pith.science/paper/MOEMKQLM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2110.00731&json=true","fetch_graph":"https://pith.science/api/pith-number/MOEMKQLMCUVBPWCBI6R3MGJNQX/graph.json","fetch_events":"https://pith.science/api/pith-number/MOEMKQLMCUVBPWCBI6R3MGJNQX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX/action/storage_attestation","attest_author":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX/action/author_attestation","sign_citation":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX/action/citation_signature","submit_replication":"https://pith.science/pith/MOEMKQLMCUVBPWCBI6R3MGJNQX/action/replication_record"}},"created_at":"2026-07-05T03:19:47.872584+00:00","updated_at":"2026-07-05T03:19:47.872584+00:00"}