{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6CS6GNRTVAWGOC4CXLRNAGJFPM","short_pith_number":"pith:6CS6GNRT","canonical_record":{"source":{"id":"1808.02585","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-08-07T23:38:02Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"547f1ba4327a2a3153466da0be840a912b479a1d74cd331a2402561c00034edd","abstract_canon_sha256":"1f3ad1d4e6a6badf762c602cb3a9f5cb80b0e5f7e8312903cdb08c86611be9da"},"schema_version":"1.0"},"canonical_sha256":"f0a5e33633a82c670b82bae2d019257b29828e40ddc67312f8bd9946af24e6d2","source":{"kind":"arxiv","id":"1808.02585","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.02585","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"arxiv_version","alias_value":"1808.02585v2","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.02585","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"pith_short_12","alias_value":"6CS6GNRTVAWG","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"pith_short_16","alias_value":"6CS6GNRTVAWGOC4C","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"pith_short_8","alias_value":"6CS6GNRT","created_at":"2026-07-05T01:02:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6CS6GNRTVAWGOC4CXLRNAGJFPM","target":"record","payload":{"canonical_record":{"source":{"id":"1808.02585","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-08-07T23:38:02Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"547f1ba4327a2a3153466da0be840a912b479a1d74cd331a2402561c00034edd","abstract_canon_sha256":"1f3ad1d4e6a6badf762c602cb3a9f5cb80b0e5f7e8312903cdb08c86611be9da"},"schema_version":"1.0"},"canonical_sha256":"f0a5e33633a82c670b82bae2d019257b29828e40ddc67312f8bd9946af24e6d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:02:54.987557Z","signature_b64":"WAraRkHiyIr6gW+3lFIfOm+/9jkuM5HWmKhhHCLxXfMdv7toGBH+htbAtRV0s9rSSHCvoHbTYEoxpvUbfJeRAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0a5e33633a82c670b82bae2d019257b29828e40ddc67312f8bd9946af24e6d2","last_reissued_at":"2026-07-05T01:02:54.987107Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:02:54.987107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.02585","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-07-05T01:02:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"krPTozFfZ1O2Ggq6FaWaTUQ9c5CGEnhmqIbeqxnYHOz1XMhxPqZhMx8tD/7N6+UeikyoRWzfyUoMpaMIAMZABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T06:13:22.284628Z"},"content_sha256":"e8bc3b63d0fa0a429e3b782164e5f72cdf852fcce00141e24467cdbe5f37cdb4","schema_version":"1.0","event_id":"sha256:e8bc3b63d0fa0a429e3b782164e5f72cdf852fcce00141e24467cdbe5f37cdb4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6CS6GNRTVAWGOC4CXLRNAGJFPM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrew Packard, He Yin, Murat Arcak, Peter Seiler","submitted_at":"2018-08-07T23:38:02Z","abstract_excerpt":"We propose a method to outer bound forward reachable sets on finite horizons for uncertain nonlinear systems with polynomial dynamics. This method makes use of time-dependent polynomial storage functions that satisfy appropriate dissipation inequalities that account for time-varying uncertain parameters, L2 disturbances, and perturbations characterized by integral quadratic constraints (IQCs) with both hard and soft factorizations. In fact, to our knowledge, this is the first result introducing IQCs to reachability analysis, thus allowing for various types of uncertainty, including unmodeled d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.02585","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/1808.02585/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-07-05T01:02:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gvxi7e4h5ZtD+uAXn4QytUMQwprLDlgyIGbPAR74H2vugyJsvx9AfwQvYFwAeM9mPx3tBpmerg4NO9EYJrd/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T06:13:22.285131Z"},"content_sha256":"028c82962e91791137ac9630ce88baf608e47921eea6b5ddd68ecd145994f0da","schema_version":"1.0","event_id":"sha256:028c82962e91791137ac9630ce88baf608e47921eea6b5ddd68ecd145994f0da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM/bundle.json","state_url":"https://pith.science/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM/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-08-11T06:13:22Z","links":{"resolver":"https://pith.science/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM","bundle":"https://pith.science/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM/bundle.json","state":"https://pith.science/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6CS6GNRTVAWGOC4CXLRNAGJFPM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6CS6GNRTVAWGOC4CXLRNAGJFPM","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":"1f3ad1d4e6a6badf762c602cb3a9f5cb80b0e5f7e8312903cdb08c86611be9da","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-08-07T23:38:02Z","title_canon_sha256":"547f1ba4327a2a3153466da0be840a912b479a1d74cd331a2402561c00034edd"},"schema_version":"1.0","source":{"id":"1808.02585","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.02585","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"arxiv_version","alias_value":"1808.02585v2","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.02585","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"pith_short_12","alias_value":"6CS6GNRTVAWG","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"pith_short_16","alias_value":"6CS6GNRTVAWGOC4C","created_at":"2026-07-05T01:02:54Z"},{"alias_kind":"pith_short_8","alias_value":"6CS6GNRT","created_at":"2026-07-05T01:02:54Z"}],"graph_snapshots":[{"event_id":"sha256:028c82962e91791137ac9630ce88baf608e47921eea6b5ddd68ecd145994f0da","target":"graph","created_at":"2026-07-05T01:02:54Z","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/1808.02585/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a method to outer bound forward reachable sets on finite horizons for uncertain nonlinear systems with polynomial dynamics. This method makes use of time-dependent polynomial storage functions that satisfy appropriate dissipation inequalities that account for time-varying uncertain parameters, L2 disturbances, and perturbations characterized by integral quadratic constraints (IQCs) with both hard and soft factorizations. In fact, to our knowledge, this is the first result introducing IQCs to reachability analysis, thus allowing for various types of uncertainty, including unmodeled d","authors_text":"Andrew Packard, He Yin, Murat Arcak, Peter Seiler","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-08-07T23:38:02Z","title":"Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.02585","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:e8bc3b63d0fa0a429e3b782164e5f72cdf852fcce00141e24467cdbe5f37cdb4","target":"record","created_at":"2026-07-05T01:02:54Z","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":"1f3ad1d4e6a6badf762c602cb3a9f5cb80b0e5f7e8312903cdb08c86611be9da","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-08-07T23:38:02Z","title_canon_sha256":"547f1ba4327a2a3153466da0be840a912b479a1d74cd331a2402561c00034edd"},"schema_version":"1.0","source":{"id":"1808.02585","kind":"arxiv","version":2}},"canonical_sha256":"f0a5e33633a82c670b82bae2d019257b29828e40ddc67312f8bd9946af24e6d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f0a5e33633a82c670b82bae2d019257b29828e40ddc67312f8bd9946af24e6d2","first_computed_at":"2026-07-05T01:02:54.987107Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:02:54.987107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WAraRkHiyIr6gW+3lFIfOm+/9jkuM5HWmKhhHCLxXfMdv7toGBH+htbAtRV0s9rSSHCvoHbTYEoxpvUbfJeRAw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:02:54.987557Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.02585","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8bc3b63d0fa0a429e3b782164e5f72cdf852fcce00141e24467cdbe5f37cdb4","sha256:028c82962e91791137ac9630ce88baf608e47921eea6b5ddd68ecd145994f0da"],"state_sha256":"fdbe513768eb5b969030a35947b3868f8e6ce5c83e29734292b19587185f34ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gy9XnX2XHkkU9N9N3oszw40oZaOvvlfAXYZatxwmTLv4aWfXYGwgsshMMkgNd13QzXSHZf+wk4etybo+sO1RAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T06:13:22.290291Z","bundle_sha256":"341d57dd7d5ea6fd726fdbd8ceb2c46eba50dc7e6113d01883f6cef5e56ce410"}}