{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:NLUXLMPAJEWSHDKRQ7RIYMTN2Y","short_pith_number":"pith:NLUXLMPA","canonical_record":{"source":{"id":"1604.01084","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T22:51:53Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"9ac7c12c62641282a6ba9d452a775f5d968548eea9abb1d3ef49112f1a5e15c3","abstract_canon_sha256":"0e68c612a5ec069883db14047a58bbf768233368e0eae854447ffb15b1dc7476"},"schema_version":"1.0"},"canonical_sha256":"6ae975b1e0492d238d5187e28c326dd61a7bcbf5c8634ac44a756610137b2d31","source":{"kind":"arxiv","id":"1604.01084","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.01084","created_at":"2026-05-18T01:17:44Z"},{"alias_kind":"arxiv_version","alias_value":"1604.01084v1","created_at":"2026-05-18T01:17:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.01084","created_at":"2026-05-18T01:17:44Z"},{"alias_kind":"pith_short_12","alias_value":"NLUXLMPAJEWS","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"NLUXLMPAJEWSHDKR","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"NLUXLMPA","created_at":"2026-05-18T12:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:NLUXLMPAJEWSHDKRQ7RIYMTN2Y","target":"record","payload":{"canonical_record":{"source":{"id":"1604.01084","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T22:51:53Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"9ac7c12c62641282a6ba9d452a775f5d968548eea9abb1d3ef49112f1a5e15c3","abstract_canon_sha256":"0e68c612a5ec069883db14047a58bbf768233368e0eae854447ffb15b1dc7476"},"schema_version":"1.0"},"canonical_sha256":"6ae975b1e0492d238d5187e28c326dd61a7bcbf5c8634ac44a756610137b2d31","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:44.812854Z","signature_b64":"OF3TOJE0DaMZq7pndO+o+quGj5+cj0ULhp6rzBSSIysKhoUkX5wYG90lEagqNaEGJzClsqXlZVAdufbJAnOrAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ae975b1e0492d238d5187e28c326dd61a7bcbf5c8634ac44a756610137b2d31","last_reissued_at":"2026-05-18T01:17:44.812335Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:44.812335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.01084","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-18T01:17:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QgZlNnK6uIfqNnuhtlKe3UsdKVV6yVJDwBx+gvKpYJUc0pQWc3YszCDCzSaZFFBSuwiPnPgHgkbsoONXZnfeAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T11:53:56.526727Z"},"content_sha256":"96230555d1a14d76c20f0ce8bfe979f4cb2043dc7953fa25099cf1e3da640388","schema_version":"1.0","event_id":"sha256:96230555d1a14d76c20f0ce8bfe979f4cb2043dc7953fa25099cf1e3da640388"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:NLUXLMPAJEWSHDKRQ7RIYMTN2Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Region of Attraction Estimation Using Invariant Sets and Rational Lyapunov Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Giorgio Valmorbida, James Anderson","submitted_at":"2016-04-04T22:51:53Z","abstract_excerpt":"This work addresses the problem of estimating the region of attraction (RA) of equilibrium points of nonlinear dynamical systems. The estimates we provide are given by positively invariant sets which are not necessarily defined by level sets of a Lyapunov function. Moreover, we present conditions for the existence of Lyapunov functions linked to the positively invariant set formulation we propose. Connections to fundamental results on estimates of the RA are presented and support the search of Lyapunov functions of a rational nature. We then restrict our attention to systems governed by polyno"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.01084","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-18T01:17:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ltDXGHEfz97Mq5jqpkuv5S6xL8mujR6O/dBYgsMWpvSZPUr8It+i0LKC3K4Fws42j3O4CeXGXJB3bysJjPSRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T11:53:56.527078Z"},"content_sha256":"a95215ef4a85c13263d9ffc8823d00a009ee80020702c713b772ebe9c64ecf58","schema_version":"1.0","event_id":"sha256:a95215ef4a85c13263d9ffc8823d00a009ee80020702c713b772ebe9c64ecf58"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y/bundle.json","state_url":"https://pith.science/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y/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-22T11:53:56Z","links":{"resolver":"https://pith.science/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y","bundle":"https://pith.science/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y/bundle.json","state":"https://pith.science/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NLUXLMPAJEWSHDKRQ7RIYMTN2Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NLUXLMPAJEWSHDKRQ7RIYMTN2Y","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":"0e68c612a5ec069883db14047a58bbf768233368e0eae854447ffb15b1dc7476","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T22:51:53Z","title_canon_sha256":"9ac7c12c62641282a6ba9d452a775f5d968548eea9abb1d3ef49112f1a5e15c3"},"schema_version":"1.0","source":{"id":"1604.01084","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.01084","created_at":"2026-05-18T01:17:44Z"},{"alias_kind":"arxiv_version","alias_value":"1604.01084v1","created_at":"2026-05-18T01:17:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.01084","created_at":"2026-05-18T01:17:44Z"},{"alias_kind":"pith_short_12","alias_value":"NLUXLMPAJEWS","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"NLUXLMPAJEWSHDKR","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"NLUXLMPA","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:a95215ef4a85c13263d9ffc8823d00a009ee80020702c713b772ebe9c64ecf58","target":"graph","created_at":"2026-05-18T01:17:44Z","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 work addresses the problem of estimating the region of attraction (RA) of equilibrium points of nonlinear dynamical systems. The estimates we provide are given by positively invariant sets which are not necessarily defined by level sets of a Lyapunov function. Moreover, we present conditions for the existence of Lyapunov functions linked to the positively invariant set formulation we propose. Connections to fundamental results on estimates of the RA are presented and support the search of Lyapunov functions of a rational nature. We then restrict our attention to systems governed by polyno","authors_text":"Giorgio Valmorbida, James Anderson","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T22:51:53Z","title":"Region of Attraction Estimation Using Invariant Sets and Rational Lyapunov Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.01084","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:96230555d1a14d76c20f0ce8bfe979f4cb2043dc7953fa25099cf1e3da640388","target":"record","created_at":"2026-05-18T01:17:44Z","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":"0e68c612a5ec069883db14047a58bbf768233368e0eae854447ffb15b1dc7476","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-04T22:51:53Z","title_canon_sha256":"9ac7c12c62641282a6ba9d452a775f5d968548eea9abb1d3ef49112f1a5e15c3"},"schema_version":"1.0","source":{"id":"1604.01084","kind":"arxiv","version":1}},"canonical_sha256":"6ae975b1e0492d238d5187e28c326dd61a7bcbf5c8634ac44a756610137b2d31","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ae975b1e0492d238d5187e28c326dd61a7bcbf5c8634ac44a756610137b2d31","first_computed_at":"2026-05-18T01:17:44.812335Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:44.812335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OF3TOJE0DaMZq7pndO+o+quGj5+cj0ULhp6rzBSSIysKhoUkX5wYG90lEagqNaEGJzClsqXlZVAdufbJAnOrAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:44.812854Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.01084","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96230555d1a14d76c20f0ce8bfe979f4cb2043dc7953fa25099cf1e3da640388","sha256:a95215ef4a85c13263d9ffc8823d00a009ee80020702c713b772ebe9c64ecf58"],"state_sha256":"69bbb4899a9dda59669d2d21bec0f8ebb4ee47fd1213a598296a44be7ff027dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y0VOqLYOlqG98/RDbiPvayAfA6yNy4aOP3lxlZN64lv10Q825ciIqXKpZTKQqHtyKtOc8853yhGu47+yBzrZDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T11:53:56.529533Z","bundle_sha256":"265c940809114e47201134d2c6093bfcb904d13d473a73600f711368d6ab27d2"}}