{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:O6SPCW5CW5RIRE6PEUZEGLNJY3","short_pith_number":"pith:O6SPCW5C","schema_version":"1.0","canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","source":{"kind":"arxiv","id":"1210.3184","version":1},"attestation_state":"computed","paper":{"title":"Inner approximations of the region of attraction for polynomial dynamical systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Colin N. Jones (EPFL), CTU/FEE), Didier Henrion (LAAS, Milan Korda (EPFL)","submitted_at":"2012-10-11T11:40:37Z","abstract_excerpt":"In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. This primal-dual linear matrix inequality (LMI) problem can be solved numerically with standard semidefinite programming solvers, producing a hierarchy of outer (i.e. exterior) approximations of the ROA "},"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":"1210.3184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-10-11T11:40:37Z","cross_cats_sorted":[],"title_canon_sha256":"65f0f62f0654c3fd078fca4c16b6692b65132a3bb5bf4cced0957940742702d2","abstract_canon_sha256":"0c2ba2b475e4f514c78778244c019bc4d2b0ebf60c399a99d8a515c9e388590a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:28.125347Z","signature_b64":"BKmCfu+Im616mzJn0gaPyqLXrfecN/7dgpPyiGxi6FsKYYxymfzhWrNOSeQ5rrYJzT37GM5VI5DZGjXMuyRcBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","last_reissued_at":"2026-05-18T03:43:28.124717Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:28.124717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Inner approximations of the region of attraction for polynomial dynamical systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Colin N. Jones (EPFL), CTU/FEE), Didier Henrion (LAAS, Milan Korda (EPFL)","submitted_at":"2012-10-11T11:40:37Z","abstract_excerpt":"In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. This primal-dual linear matrix inequality (LMI) problem can be solved numerically with standard semidefinite programming solvers, producing a hierarchy of outer (i.e. exterior) approximations of the ROA "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.3184","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":"1210.3184","created_at":"2026-05-18T03:43:28.124810+00:00"},{"alias_kind":"arxiv_version","alias_value":"1210.3184v1","created_at":"2026-05-18T03:43:28.124810+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.3184","created_at":"2026-05-18T03:43:28.124810+00:00"},{"alias_kind":"pith_short_12","alias_value":"O6SPCW5CW5RI","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_16","alias_value":"O6SPCW5CW5RIRE6P","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_8","alias_value":"O6SPCW5C","created_at":"2026-05-18T12:27:16.716162+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/O6SPCW5CW5RIRE6PEUZEGLNJY3","json":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3.json","graph_json":"https://pith.science/api/pith-number/O6SPCW5CW5RIRE6PEUZEGLNJY3/graph.json","events_json":"https://pith.science/api/pith-number/O6SPCW5CW5RIRE6PEUZEGLNJY3/events.json","paper":"https://pith.science/paper/O6SPCW5C"},"agent_actions":{"view_html":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3","download_json":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3.json","view_paper":"https://pith.science/paper/O6SPCW5C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1210.3184&json=true","fetch_graph":"https://pith.science/api/pith-number/O6SPCW5CW5RIRE6PEUZEGLNJY3/graph.json","fetch_events":"https://pith.science/api/pith-number/O6SPCW5CW5RIRE6PEUZEGLNJY3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/action/storage_attestation","attest_author":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/action/author_attestation","sign_citation":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/action/citation_signature","submit_replication":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/action/replication_record"}},"created_at":"2026-05-18T03:43:28.124810+00:00","updated_at":"2026-05-18T03:43:28.124810+00:00"}