{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:VI76WUUZRCYLH2TPRVX7OSROLU","short_pith_number":"pith:VI76WUUZ","canonical_record":{"source":{"id":"1509.04200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-09-14T16:58:50Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"f7944d33838f99e5ee6a95a7a014e5c2806611c241914476262941f1755a50ac","abstract_canon_sha256":"f7666d95816cc6a28922d67d5dcdc45490cc161fa1d65525c5514281add82364"},"schema_version":"1.0"},"canonical_sha256":"aa3feb529988b0b3ea6f8d6ff74a2e5d1858c2c926ec5864ed2fe89fc333772c","source":{"kind":"arxiv","id":"1509.04200","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.04200","created_at":"2026-05-18T01:33:08Z"},{"alias_kind":"arxiv_version","alias_value":"1509.04200v1","created_at":"2026-05-18T01:33:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.04200","created_at":"2026-05-18T01:33:08Z"},{"alias_kind":"pith_short_12","alias_value":"VI76WUUZRCYL","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"VI76WUUZRCYLH2TP","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"VI76WUUZ","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:VI76WUUZRCYLH2TPRVX7OSROLU","target":"record","payload":{"canonical_record":{"source":{"id":"1509.04200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-09-14T16:58:50Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"f7944d33838f99e5ee6a95a7a014e5c2806611c241914476262941f1755a50ac","abstract_canon_sha256":"f7666d95816cc6a28922d67d5dcdc45490cc161fa1d65525c5514281add82364"},"schema_version":"1.0"},"canonical_sha256":"aa3feb529988b0b3ea6f8d6ff74a2e5d1858c2c926ec5864ed2fe89fc333772c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:33:08.092116Z","signature_b64":"2xcRw9gN9kjhjVp3grVgeJxKJMBkq94Sp/YF6yDzD9w+GbGBlCQEqdnm6l7wzIvkhHYTT+fFWsj/ZipIp/cwAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa3feb529988b0b3ea6f8d6ff74a2e5d1858c2c926ec5864ed2fe89fc333772c","last_reissued_at":"2026-05-18T01:33:08.091482Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:33:08.091482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.04200","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:33:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4pbmQ3LRi4oLPW7ObaYy6MyoV8YYCEfHPya5i57KSjZYnBu3hFEBXmEj3XjxMv4mZIjCVigxNTiRTIBKrrj0CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:17:27.941065Z"},"content_sha256":"4e5ebbddada336649101ed56a177e832efa5aae2d8dfce2e46ea63bb535a945c","schema_version":"1.0","event_id":"sha256:4e5ebbddada336649101ed56a177e832efa5aae2d8dfce2e46ea63bb535a945c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:VI76WUUZRCYLH2TPRVX7OSROLU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simple Approximations of Semialgebraic Sets and their Applications to Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Constantino Lagoa, Didier Henrion (LAAS-MAC), Fabrizio Dabbene","submitted_at":"2015-09-14T16:58:50Z","abstract_excerpt":"Many uncertainty sets encountered in control systems analysis and design can be expressed in terms of semialgebraic sets, that is as the intersection of sets described by means of polynomial inequalities. Important examples are for instance the solution set of linear matrix inequalities or the Schur/Hurwitz stability domains. These sets often have very complicated shapes (non-convex, and even non-connected), which renders very difficult their manipulation. It is therefore of considerable importance to find simple-enough approximations of these sets, able to capture their main characteristics w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.04200","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:33:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6bSgGtmgY3AU+XvDsmuO2fo6jO9hcN77PB9u/kA4BJfuEP1ow0GpQoPUPd7h89McN8RIAEdWcb0jcGGdtse2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:17:27.941624Z"},"content_sha256":"e9e91cbf6eaf1e036e0f118b9630ec74b66bdb253fd766491f37b853be2e5e89","schema_version":"1.0","event_id":"sha256:e9e91cbf6eaf1e036e0f118b9630ec74b66bdb253fd766491f37b853be2e5e89"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VI76WUUZRCYLH2TPRVX7OSROLU/bundle.json","state_url":"https://pith.science/pith/VI76WUUZRCYLH2TPRVX7OSROLU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VI76WUUZRCYLH2TPRVX7OSROLU/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-26T21:17:27Z","links":{"resolver":"https://pith.science/pith/VI76WUUZRCYLH2TPRVX7OSROLU","bundle":"https://pith.science/pith/VI76WUUZRCYLH2TPRVX7OSROLU/bundle.json","state":"https://pith.science/pith/VI76WUUZRCYLH2TPRVX7OSROLU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VI76WUUZRCYLH2TPRVX7OSROLU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:VI76WUUZRCYLH2TPRVX7OSROLU","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":"f7666d95816cc6a28922d67d5dcdc45490cc161fa1d65525c5514281add82364","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-09-14T16:58:50Z","title_canon_sha256":"f7944d33838f99e5ee6a95a7a014e5c2806611c241914476262941f1755a50ac"},"schema_version":"1.0","source":{"id":"1509.04200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.04200","created_at":"2026-05-18T01:33:08Z"},{"alias_kind":"arxiv_version","alias_value":"1509.04200v1","created_at":"2026-05-18T01:33:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.04200","created_at":"2026-05-18T01:33:08Z"},{"alias_kind":"pith_short_12","alias_value":"VI76WUUZRCYL","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"VI76WUUZRCYLH2TP","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"VI76WUUZ","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:e9e91cbf6eaf1e036e0f118b9630ec74b66bdb253fd766491f37b853be2e5e89","target":"graph","created_at":"2026-05-18T01:33:08Z","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":"Many uncertainty sets encountered in control systems analysis and design can be expressed in terms of semialgebraic sets, that is as the intersection of sets described by means of polynomial inequalities. Important examples are for instance the solution set of linear matrix inequalities or the Schur/Hurwitz stability domains. These sets often have very complicated shapes (non-convex, and even non-connected), which renders very difficult their manipulation. It is therefore of considerable importance to find simple-enough approximations of these sets, able to capture their main characteristics w","authors_text":"Constantino Lagoa, Didier Henrion (LAAS-MAC), Fabrizio Dabbene","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-09-14T16:58:50Z","title":"Simple Approximations of Semialgebraic Sets and their Applications to Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.04200","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:4e5ebbddada336649101ed56a177e832efa5aae2d8dfce2e46ea63bb535a945c","target":"record","created_at":"2026-05-18T01:33:08Z","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":"f7666d95816cc6a28922d67d5dcdc45490cc161fa1d65525c5514281add82364","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-09-14T16:58:50Z","title_canon_sha256":"f7944d33838f99e5ee6a95a7a014e5c2806611c241914476262941f1755a50ac"},"schema_version":"1.0","source":{"id":"1509.04200","kind":"arxiv","version":1}},"canonical_sha256":"aa3feb529988b0b3ea6f8d6ff74a2e5d1858c2c926ec5864ed2fe89fc333772c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa3feb529988b0b3ea6f8d6ff74a2e5d1858c2c926ec5864ed2fe89fc333772c","first_computed_at":"2026-05-18T01:33:08.091482Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:33:08.091482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2xcRw9gN9kjhjVp3grVgeJxKJMBkq94Sp/YF6yDzD9w+GbGBlCQEqdnm6l7wzIvkhHYTT+fFWsj/ZipIp/cwAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:33:08.092116Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.04200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e5ebbddada336649101ed56a177e832efa5aae2d8dfce2e46ea63bb535a945c","sha256:e9e91cbf6eaf1e036e0f118b9630ec74b66bdb253fd766491f37b853be2e5e89"],"state_sha256":"a407b535b08df05c58b89a9bf6de41fe489e78a3f0a5e22d4d4c37cdbef13cbe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RU5MKTx7xpXq6jLtv40JTOPqTcLfTVM1y+0pRxHB/36DMfE4KaVjWYiIfX0qEXdiAlnpMqmVbW/khiWktH8ABg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:17:27.945060Z","bundle_sha256":"151397dcff128b964dc93bfb9c3054f082f7ffc9ec1e360682db9487fbaf87c3"}}