{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:L2QP5NGNQX2UFWYTHKCCA42Z5I","short_pith_number":"pith:L2QP5NGN","canonical_record":{"source":{"id":"1310.2213","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-10-08T18:24:09Z","cross_cats_sorted":[],"title_canon_sha256":"65b7c1183673e9f50e72467379d27297f5ca3c3c1e325ea76afc860e286a3755","abstract_canon_sha256":"1e20cd2923db61298c7368397e66b4564b891fa1078054113ae72157cf971877"},"schema_version":"1.0"},"canonical_sha256":"5ea0feb4cd85f542db133a84207359ea23be02c4bcd7425a01b533b52d1fad07","source":{"kind":"arxiv","id":"1310.2213","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.2213","created_at":"2026-05-18T02:55:58Z"},{"alias_kind":"arxiv_version","alias_value":"1310.2213v2","created_at":"2026-05-18T02:55:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.2213","created_at":"2026-05-18T02:55:58Z"},{"alias_kind":"pith_short_12","alias_value":"L2QP5NGNQX2U","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"L2QP5NGNQX2UFWYT","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"L2QP5NGN","created_at":"2026-05-18T12:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:L2QP5NGNQX2UFWYTHKCCA42Z5I","target":"record","payload":{"canonical_record":{"source":{"id":"1310.2213","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-10-08T18:24:09Z","cross_cats_sorted":[],"title_canon_sha256":"65b7c1183673e9f50e72467379d27297f5ca3c3c1e325ea76afc860e286a3755","abstract_canon_sha256":"1e20cd2923db61298c7368397e66b4564b891fa1078054113ae72157cf971877"},"schema_version":"1.0"},"canonical_sha256":"5ea0feb4cd85f542db133a84207359ea23be02c4bcd7425a01b533b52d1fad07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:58.856424Z","signature_b64":"3EgiMjchS3zL6kWGbTCe49m+BHXDVAm+mZtzAb5LKEc0OGjMEb5cWyDZoz6zEs64J2GFPQUOy+ZiBhbmXR6ABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ea0feb4cd85f542db133a84207359ea23be02c4bcd7425a01b533b52d1fad07","last_reissued_at":"2026-05-18T02:55:58.856024Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:58.856024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.2213","source_version":2,"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-18T02:55:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DtL3+1EloPTDSRYKWlXEQEI1fMPKXm5ac/nmn6ixTjJi2QWPXqSbF0slxBM5IxGfH7YHUFHzYps8i/EUEJ9GAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:44:04.407459Z"},"content_sha256":"6085e5ff6451e5fcf8e1e922f6cae3a5b76143046a8c5e3da0b01938f25cda08","schema_version":"1.0","event_id":"sha256:6085e5ff6451e5fcf8e1e922f6cae3a5b76143046a8c5e3da0b01938f25cda08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:L2QP5NGNQX2UFWYTHKCCA42Z5I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Controller design and region of attraction estimation for nonlinear 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":"2013-10-08T18:24:09Z","abstract_excerpt":"This work presents a method to obtain inner and outer approximations of the region of attraction of a given target set as well as an admissible controller generating the inner approximation. The method is applicable to constrained polynomial dynamical systems and extends to trigonometric and rational systems. The method consists of three steps: compute outer approximations, extract a polynomial controller while guaranteeing the satisfaction of the input constraints, compute inner approximations with respect to the closed-loop system with this controller. Each step of the method is a convex opt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.2213","kind":"arxiv","version":2},"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-18T02:55:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wje8tEbEa1lR/vOy9z+HiOTJuUD6R+uMY/BPLIv2/kbfXz4qIB0MYAvX5k66oAi79lPpgjsC+Oseg/keIu56CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:44:04.407803Z"},"content_sha256":"9526a2d0bc544aef14d21987de8c02923ffb684c62b1da0dd2cef7e66660c9b4","schema_version":"1.0","event_id":"sha256:9526a2d0bc544aef14d21987de8c02923ffb684c62b1da0dd2cef7e66660c9b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I/bundle.json","state_url":"https://pith.science/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I/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-06-29T15:44:04Z","links":{"resolver":"https://pith.science/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I","bundle":"https://pith.science/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I/bundle.json","state":"https://pith.science/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L2QP5NGNQX2UFWYTHKCCA42Z5I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:L2QP5NGNQX2UFWYTHKCCA42Z5I","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":"1e20cd2923db61298c7368397e66b4564b891fa1078054113ae72157cf971877","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-10-08T18:24:09Z","title_canon_sha256":"65b7c1183673e9f50e72467379d27297f5ca3c3c1e325ea76afc860e286a3755"},"schema_version":"1.0","source":{"id":"1310.2213","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.2213","created_at":"2026-05-18T02:55:58Z"},{"alias_kind":"arxiv_version","alias_value":"1310.2213v2","created_at":"2026-05-18T02:55:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.2213","created_at":"2026-05-18T02:55:58Z"},{"alias_kind":"pith_short_12","alias_value":"L2QP5NGNQX2U","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"L2QP5NGNQX2UFWYT","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"L2QP5NGN","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:9526a2d0bc544aef14d21987de8c02923ffb684c62b1da0dd2cef7e66660c9b4","target":"graph","created_at":"2026-05-18T02:55:58Z","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 presents a method to obtain inner and outer approximations of the region of attraction of a given target set as well as an admissible controller generating the inner approximation. The method is applicable to constrained polynomial dynamical systems and extends to trigonometric and rational systems. The method consists of three steps: compute outer approximations, extract a polynomial controller while guaranteeing the satisfaction of the input constraints, compute inner approximations with respect to the closed-loop system with this controller. Each step of the method is a convex opt","authors_text":"Colin N. Jones (EPFL), CTU/FEE), Didier Henrion (LAAS, Milan Korda (EPFL)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-10-08T18:24:09Z","title":"Controller design and region of attraction estimation for nonlinear dynamical systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.2213","kind":"arxiv","version":2},"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:6085e5ff6451e5fcf8e1e922f6cae3a5b76143046a8c5e3da0b01938f25cda08","target":"record","created_at":"2026-05-18T02:55:58Z","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":"1e20cd2923db61298c7368397e66b4564b891fa1078054113ae72157cf971877","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-10-08T18:24:09Z","title_canon_sha256":"65b7c1183673e9f50e72467379d27297f5ca3c3c1e325ea76afc860e286a3755"},"schema_version":"1.0","source":{"id":"1310.2213","kind":"arxiv","version":2}},"canonical_sha256":"5ea0feb4cd85f542db133a84207359ea23be02c4bcd7425a01b533b52d1fad07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ea0feb4cd85f542db133a84207359ea23be02c4bcd7425a01b533b52d1fad07","first_computed_at":"2026-05-18T02:55:58.856024Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:58.856024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3EgiMjchS3zL6kWGbTCe49m+BHXDVAm+mZtzAb5LKEc0OGjMEb5cWyDZoz6zEs64J2GFPQUOy+ZiBhbmXR6ABg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:58.856424Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.2213","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6085e5ff6451e5fcf8e1e922f6cae3a5b76143046a8c5e3da0b01938f25cda08","sha256:9526a2d0bc544aef14d21987de8c02923ffb684c62b1da0dd2cef7e66660c9b4"],"state_sha256":"03ccad3580ea72a5ed0132a789e7bf7ef27a24c48562effff2317d711c24af5f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FKY26l7sx6ozE71E/M3GYfwjcEhAm1z0OFG3W7FemCZLZXSQVkELfW4ATSkV73oo+bp3cvfIUzoYfnM90F95Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T15:44:04.409716Z","bundle_sha256":"39c26a676036a83707322293afda2d1832288b7ae3223078dda4527ea2df0337"}}