{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ZHJP367AMCMNJ5OJKBYRCSMNFL","short_pith_number":"pith:ZHJP367A","canonical_record":{"source":{"id":"1903.04798","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-12T09:33:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"22af6486bc1da9e1c013cec78b81e0696b851a58e5162312d0aa2a471d6fa272","abstract_canon_sha256":"15cb686ceadc209f84d54b70120c559c483d2e2b28c9d38f94df7127c3648fe0"},"schema_version":"1.0"},"canonical_sha256":"c9d2fdfbe06098d4f5c9507111498d2ad518cc70dd821a1c1332225aefaa82e8","source":{"kind":"arxiv","id":"1903.04798","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.04798","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"arxiv_version","alias_value":"1903.04798v2","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04798","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"pith_short_12","alias_value":"ZHJP367AMCMN","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"pith_short_16","alias_value":"ZHJP367AMCMNJ5OJ","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"pith_short_8","alias_value":"ZHJP367A","created_at":"2026-06-04T20:14:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ZHJP367AMCMNJ5OJKBYRCSMNFL","target":"record","payload":{"canonical_record":{"source":{"id":"1903.04798","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-12T09:33:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"22af6486bc1da9e1c013cec78b81e0696b851a58e5162312d0aa2a471d6fa272","abstract_canon_sha256":"15cb686ceadc209f84d54b70120c559c483d2e2b28c9d38f94df7127c3648fe0"},"schema_version":"1.0"},"canonical_sha256":"c9d2fdfbe06098d4f5c9507111498d2ad518cc70dd821a1c1332225aefaa82e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T20:14:12.454946Z","signature_b64":"rDx5VJC7yar5CNFMJ2G8q9p5asYKEQd6ifw01jMg4pYFNuiODj1uZKhisSVi6R53VVcO6Kqxp+5SU3BoopAsCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9d2fdfbe06098d4f5c9507111498d2ad518cc70dd821a1c1332225aefaa82e8","last_reissued_at":"2026-06-04T20:14:12.454176Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T20:14:12.454176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.04798","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-06-04T20:14:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AHg4Zujoa/tcbHbbFDcA4mfudx28hsFtZlphwRUkzo6E4pSeYZOreBPEFuPdmXBglDpGjadeUG3SOXLEfMyHDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T23:14:12.803844Z"},"content_sha256":"390f1fcc8dc11488b44407e538601d9e6a54cc4e294dd0d0763bcf11cdca60bf","schema_version":"1.0","event_id":"sha256:390f1fcc8dc11488b44407e538601d9e6a54cc4e294dd0d0763bcf11cdca60bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ZHJP367AMCMNJ5OJKBYRCSMNFL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inner approximations of the maximal positively invariant set for polynomial dynamical systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Antoine Oustry (LIX), Didier Henrion (LAAS-MAC), Matteo Tacchi (LAAS-MAC)","submitted_at":"2019-03-12T09:33:29Z","abstract_excerpt":"The Lasserre or moment-sum-of-square hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuous-time dynamical systems with polynomial vector fields. Convergence in volume of the hierarchy is proved under a technical growth condition on the average exit time of trajectories. Our contribution is to deal with inner approximations in infinite time, while former work with volume convergence guarantees proposed either outer approximations of the maximal positively invariant set or inner approximations of the regio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04798","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1903.04798/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"},"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-06-04T20:14:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GnHBphvDl4sF4/iel+UEsI3Hp5gEDaWQ/K9d6+N0wVN667aHbGh7lwsH5mkBJZkknU7Y5V8P4rcQvhrDjmBWBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T23:14:12.804219Z"},"content_sha256":"a381a6e45246b18a9e49c68bf6bcaa5f13212baf5c352e703cd2ee08c59e3e4b","schema_version":"1.0","event_id":"sha256:a381a6e45246b18a9e49c68bf6bcaa5f13212baf5c352e703cd2ee08c59e3e4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL/bundle.json","state_url":"https://pith.science/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL/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-07-04T23:14:12Z","links":{"resolver":"https://pith.science/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL","bundle":"https://pith.science/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL/bundle.json","state":"https://pith.science/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZHJP367AMCMNJ5OJKBYRCSMNFL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZHJP367AMCMNJ5OJKBYRCSMNFL","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":"15cb686ceadc209f84d54b70120c559c483d2e2b28c9d38f94df7127c3648fe0","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-12T09:33:29Z","title_canon_sha256":"22af6486bc1da9e1c013cec78b81e0696b851a58e5162312d0aa2a471d6fa272"},"schema_version":"1.0","source":{"id":"1903.04798","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.04798","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"arxiv_version","alias_value":"1903.04798v2","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04798","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"pith_short_12","alias_value":"ZHJP367AMCMN","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"pith_short_16","alias_value":"ZHJP367AMCMNJ5OJ","created_at":"2026-06-04T20:14:12Z"},{"alias_kind":"pith_short_8","alias_value":"ZHJP367A","created_at":"2026-06-04T20:14:12Z"}],"graph_snapshots":[{"event_id":"sha256:a381a6e45246b18a9e49c68bf6bcaa5f13212baf5c352e703cd2ee08c59e3e4b","target":"graph","created_at":"2026-06-04T20:14:12Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1903.04798/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Lasserre or moment-sum-of-square hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuous-time dynamical systems with polynomial vector fields. Convergence in volume of the hierarchy is proved under a technical growth condition on the average exit time of trajectories. Our contribution is to deal with inner approximations in infinite time, while former work with volume convergence guarantees proposed either outer approximations of the maximal positively invariant set or inner approximations of the regio","authors_text":"Antoine Oustry (LIX), Didier Henrion (LAAS-MAC), Matteo Tacchi (LAAS-MAC)","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-12T09:33:29Z","title":"Inner approximations of the maximal positively invariant set for polynomial dynamical systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04798","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:390f1fcc8dc11488b44407e538601d9e6a54cc4e294dd0d0763bcf11cdca60bf","target":"record","created_at":"2026-06-04T20:14:12Z","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":"15cb686ceadc209f84d54b70120c559c483d2e2b28c9d38f94df7127c3648fe0","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-12T09:33:29Z","title_canon_sha256":"22af6486bc1da9e1c013cec78b81e0696b851a58e5162312d0aa2a471d6fa272"},"schema_version":"1.0","source":{"id":"1903.04798","kind":"arxiv","version":2}},"canonical_sha256":"c9d2fdfbe06098d4f5c9507111498d2ad518cc70dd821a1c1332225aefaa82e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c9d2fdfbe06098d4f5c9507111498d2ad518cc70dd821a1c1332225aefaa82e8","first_computed_at":"2026-06-04T20:14:12.454176Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T20:14:12.454176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rDx5VJC7yar5CNFMJ2G8q9p5asYKEQd6ifw01jMg4pYFNuiODj1uZKhisSVi6R53VVcO6Kqxp+5SU3BoopAsCw==","signature_status":"signed_v1","signed_at":"2026-06-04T20:14:12.454946Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.04798","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:390f1fcc8dc11488b44407e538601d9e6a54cc4e294dd0d0763bcf11cdca60bf","sha256:a381a6e45246b18a9e49c68bf6bcaa5f13212baf5c352e703cd2ee08c59e3e4b"],"state_sha256":"a811325b6d37d2fe894993aac7672ca84a5f631cce3c742044f4f5cdf8691602"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Iwvx1LfQHhAH6sPjCTlTgEuX7WVuCcjqjKMR1/J444jR4RK5TlYuvrgIN48qp85wXdb53KB/49wg0vaDYlMSAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T23:14:12.806373Z","bundle_sha256":"8c045075d581140fa293190cddc3037be0412632b31725bc42d015274f165202"}}