{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:FOS6UGF2GAMTLVWE2UEFNIRPZW","short_pith_number":"pith:FOS6UGF2","canonical_record":{"source":{"id":"1604.00548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-02T19:33:28Z","cross_cats_sorted":[],"title_canon_sha256":"ef41660df32d628745ed9ee5216a9cc5b2a5f28c1ec0253a391641bff6ad957c","abstract_canon_sha256":"c9aec8d72708a54fa2b3c70d2e1aee3b1c5d8ebb5345bcbc99c6a0580cf0a12a"},"schema_version":"1.0"},"canonical_sha256":"2ba5ea18ba301935d6c4d50856a22fcd81e245a0db009ce64083238a8084aa14","source":{"kind":"arxiv","id":"1604.00548","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.00548","created_at":"2026-05-18T01:17:49Z"},{"alias_kind":"arxiv_version","alias_value":"1604.00548v1","created_at":"2026-05-18T01:17:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00548","created_at":"2026-05-18T01:17:49Z"},{"alias_kind":"pith_short_12","alias_value":"FOS6UGF2GAMT","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOS6UGF2GAMTLVWE","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOS6UGF2","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:FOS6UGF2GAMTLVWE2UEFNIRPZW","target":"record","payload":{"canonical_record":{"source":{"id":"1604.00548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-02T19:33:28Z","cross_cats_sorted":[],"title_canon_sha256":"ef41660df32d628745ed9ee5216a9cc5b2a5f28c1ec0253a391641bff6ad957c","abstract_canon_sha256":"c9aec8d72708a54fa2b3c70d2e1aee3b1c5d8ebb5345bcbc99c6a0580cf0a12a"},"schema_version":"1.0"},"canonical_sha256":"2ba5ea18ba301935d6c4d50856a22fcd81e245a0db009ce64083238a8084aa14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:49.256927Z","signature_b64":"OaZfpUJ0DRQxlcxVLvRY4T4YWVJFUlUDSu5MRUcHsktU8C8HPlaJCM9uAes4Hw4hmziaSvnti2NHA6gg9YlHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ba5ea18ba301935d6c4d50856a22fcd81e245a0db009ce64083238a8084aa14","last_reissued_at":"2026-05-18T01:17:49.256235Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:49.256235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.00548","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:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cB4/TSp+uBmKGbJUuHocOkcnf+MVoOGPzZCvSJjGDvk3gPRoJpL36A2NfzX+Q33fCZLtPMgfC6DZa1b7fgzwDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T05:46:21.659140Z"},"content_sha256":"8d574cb8ebe3247d62a77323989ca7216828e06f59bcaccde27d66a0d69daa80","schema_version":"1.0","event_id":"sha256:8d574cb8ebe3247d62a77323989ca7216828e06f59bcaccde27d66a0d69daa80"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:FOS6UGF2GAMTLVWE2UEFNIRPZW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convex Estimation of the $\\alpha$-Confidence Reachable Sets of Systems with Parametric Uncertainty","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Patrick Holmes, Ram Vasudevan, Shankar Mohan, Shreyas Kousik","submitted_at":"2016-04-02T19:33:28Z","abstract_excerpt":"Accurately modeling and verifying the correct operation of systems interacting in dynamic environments is challenging. By leveraging parametric uncertainty within the model description, one can relax the requirement to describe exactly the interactions with the environment; however, one must still guarantee that the model, despite uncertainty, behaves acceptably. This paper presents a convex optimization method to efficiently compute the set of configurations of a polynomial dynamical system that are able to safely reach a user defined target set despite parametric uncertainty in the model. Si"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00548","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:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ejfr8lGSAl3VNis1rv/C2CFaLn0x5M4bueh3NLKhbHYy0WyipWnUYB4zqQvLqiS3LbGhRDv7lD6qx9YZuz+nAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T05:46:21.659844Z"},"content_sha256":"4cc2976dd4aa0bac5244821ad0cf9e23363ea115e23f9b6c21313d3aab845883","schema_version":"1.0","event_id":"sha256:4cc2976dd4aa0bac5244821ad0cf9e23363ea115e23f9b6c21313d3aab845883"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW/bundle.json","state_url":"https://pith.science/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW/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-05T05:46:21Z","links":{"resolver":"https://pith.science/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW","bundle":"https://pith.science/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW/bundle.json","state":"https://pith.science/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FOS6UGF2GAMTLVWE2UEFNIRPZW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:FOS6UGF2GAMTLVWE2UEFNIRPZW","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":"c9aec8d72708a54fa2b3c70d2e1aee3b1c5d8ebb5345bcbc99c6a0580cf0a12a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-02T19:33:28Z","title_canon_sha256":"ef41660df32d628745ed9ee5216a9cc5b2a5f28c1ec0253a391641bff6ad957c"},"schema_version":"1.0","source":{"id":"1604.00548","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.00548","created_at":"2026-05-18T01:17:49Z"},{"alias_kind":"arxiv_version","alias_value":"1604.00548v1","created_at":"2026-05-18T01:17:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00548","created_at":"2026-05-18T01:17:49Z"},{"alias_kind":"pith_short_12","alias_value":"FOS6UGF2GAMT","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOS6UGF2GAMTLVWE","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOS6UGF2","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:4cc2976dd4aa0bac5244821ad0cf9e23363ea115e23f9b6c21313d3aab845883","target":"graph","created_at":"2026-05-18T01:17:49Z","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":"Accurately modeling and verifying the correct operation of systems interacting in dynamic environments is challenging. By leveraging parametric uncertainty within the model description, one can relax the requirement to describe exactly the interactions with the environment; however, one must still guarantee that the model, despite uncertainty, behaves acceptably. This paper presents a convex optimization method to efficiently compute the set of configurations of a polynomial dynamical system that are able to safely reach a user defined target set despite parametric uncertainty in the model. Si","authors_text":"Patrick Holmes, Ram Vasudevan, Shankar Mohan, Shreyas Kousik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-02T19:33:28Z","title":"Convex Estimation of the $\\alpha$-Confidence Reachable Sets of Systems with Parametric Uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00548","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:8d574cb8ebe3247d62a77323989ca7216828e06f59bcaccde27d66a0d69daa80","target":"record","created_at":"2026-05-18T01:17:49Z","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":"c9aec8d72708a54fa2b3c70d2e1aee3b1c5d8ebb5345bcbc99c6a0580cf0a12a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-02T19:33:28Z","title_canon_sha256":"ef41660df32d628745ed9ee5216a9cc5b2a5f28c1ec0253a391641bff6ad957c"},"schema_version":"1.0","source":{"id":"1604.00548","kind":"arxiv","version":1}},"canonical_sha256":"2ba5ea18ba301935d6c4d50856a22fcd81e245a0db009ce64083238a8084aa14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ba5ea18ba301935d6c4d50856a22fcd81e245a0db009ce64083238a8084aa14","first_computed_at":"2026-05-18T01:17:49.256235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:49.256235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OaZfpUJ0DRQxlcxVLvRY4T4YWVJFUlUDSu5MRUcHsktU8C8HPlaJCM9uAes4Hw4hmziaSvnti2NHA6gg9YlHBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:49.256927Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.00548","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d574cb8ebe3247d62a77323989ca7216828e06f59bcaccde27d66a0d69daa80","sha256:4cc2976dd4aa0bac5244821ad0cf9e23363ea115e23f9b6c21313d3aab845883"],"state_sha256":"4bd58be070b1c08fbc2f15043f1ca78b3f7d8e2d9b95562bafc140bb467b4b10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oLroKERKozP83NXleUW7tRtBB47QlrRtJCxzBtmHtFlBR3cfE4DNhKfWT0/RyjmtB1tQJTCS6P57ggU3jYGODQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T05:46:21.663415Z","bundle_sha256":"d328d49779c8b2cb95819671e828b35cfc538493e0500c25f22437025d145d3c"}}