{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DNGTNXZHPMJSE7KFUSNWE7IDN5","short_pith_number":"pith:DNGTNXZH","canonical_record":{"source":{"id":"2304.06827","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-04-13T21:33:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"4729c251feddfeb0911c575d0aa93901accd86bf18709084b06edac9fa7c42fb","abstract_canon_sha256":"0e2a09d47f967d943063e121b949c688dc28951f99a106bf5302a595e39d5af8"},"schema_version":"1.0"},"canonical_sha256":"1b4d36df277b13227d45a49b627d036f687719e434d50da9bf80dc5bbdc0de5f","source":{"kind":"arxiv","id":"2304.06827","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.06827","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"arxiv_version","alias_value":"2304.06827v2","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.06827","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"pith_short_12","alias_value":"DNGTNXZHPMJS","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"pith_short_16","alias_value":"DNGTNXZHPMJSE7KF","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"pith_short_8","alias_value":"DNGTNXZH","created_at":"2026-07-05T07:48:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DNGTNXZHPMJSE7KFUSNWE7IDN5","target":"record","payload":{"canonical_record":{"source":{"id":"2304.06827","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-04-13T21:33:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"4729c251feddfeb0911c575d0aa93901accd86bf18709084b06edac9fa7c42fb","abstract_canon_sha256":"0e2a09d47f967d943063e121b949c688dc28951f99a106bf5302a595e39d5af8"},"schema_version":"1.0"},"canonical_sha256":"1b4d36df277b13227d45a49b627d036f687719e434d50da9bf80dc5bbdc0de5f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:48:16.133445Z","signature_b64":"dSYUPip3bZqFToKGvakVWle16Xwd6cVCn8i53HWaQ0CVi8rGsfH55bzGQ6ejVgHDhaHGH5XkJ41ExCZO0DFqDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b4d36df277b13227d45a49b627d036f687719e434d50da9bf80dc5bbdc0de5f","last_reissued_at":"2026-07-05T07:48:16.132935Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:48:16.132935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.06827","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-05T07:48:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7NV6D5w7omM3JLxEam+CTAJmzcLCR5Rk1TQBdxlLeHqPuRhNdLKkk7MmHmVgysX0QS/BYRwpvOVULTy2SZXJBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:51:21.104496Z"},"content_sha256":"840b510a11428a1fdbaa1b12bc315f6a33c4e69a6d3a806b9c6d24e8862385c4","schema_version":"1.0","event_id":"sha256:840b510a11428a1fdbaa1b12bc315f6a33c4e69a6d3a806b9c6d24e8862385c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DNGTNXZHPMJSE7KFUSNWE7IDN5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrew F. Thompson, Herschel C. Pangborn, Jacob A. Siefert, Jonah J. Glunt, Justin P. Koeln, Neera Jain, Trevor J. Bird","submitted_at":"2023-04-13T21:33:32Z","abstract_excerpt":"This paper proposes methods for reachability analysis of nonlinear systems in both open loop and closed loop with advanced controllers. The methods combine hybrid zonotopes, a construct called a state-update set, functional decomposition, and special ordered set approximations to enable linear growth in reachable set memory complexity with time and linear scaling in computational complexity with the system dimension. Facilitating this combination are new identities for constructing nonconvex sets that contain nonlinear functions and for efficiently converting a collection of polytopes from ver"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.06827","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/2304.06827/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-05T07:48:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qe0tYND8E/0pX2rTvmbC+rC0qBAPTDJnZyDGwFdQQGj4riyFWOKPnnmIqSAiA771zUzYqq7pM3ybrojmKfpEAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:51:21.105047Z"},"content_sha256":"7449eeb5b797ff355ff6546742ba1929c0d79799e544de983aef80d694fc8a0d","schema_version":"1.0","event_id":"sha256:7449eeb5b797ff355ff6546742ba1929c0d79799e544de983aef80d694fc8a0d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5/bundle.json","state_url":"https://pith.science/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5/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-03T18:51:21Z","links":{"resolver":"https://pith.science/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5","bundle":"https://pith.science/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5/bundle.json","state":"https://pith.science/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DNGTNXZHPMJSE7KFUSNWE7IDN5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DNGTNXZHPMJSE7KFUSNWE7IDN5","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":"0e2a09d47f967d943063e121b949c688dc28951f99a106bf5302a595e39d5af8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-04-13T21:33:32Z","title_canon_sha256":"4729c251feddfeb0911c575d0aa93901accd86bf18709084b06edac9fa7c42fb"},"schema_version":"1.0","source":{"id":"2304.06827","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.06827","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"arxiv_version","alias_value":"2304.06827v2","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.06827","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"pith_short_12","alias_value":"DNGTNXZHPMJS","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"pith_short_16","alias_value":"DNGTNXZHPMJSE7KF","created_at":"2026-07-05T07:48:16Z"},{"alias_kind":"pith_short_8","alias_value":"DNGTNXZH","created_at":"2026-07-05T07:48:16Z"}],"graph_snapshots":[{"event_id":"sha256:7449eeb5b797ff355ff6546742ba1929c0d79799e544de983aef80d694fc8a0d","target":"graph","created_at":"2026-07-05T07:48:16Z","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/2304.06827/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper proposes methods for reachability analysis of nonlinear systems in both open loop and closed loop with advanced controllers. The methods combine hybrid zonotopes, a construct called a state-update set, functional decomposition, and special ordered set approximations to enable linear growth in reachable set memory complexity with time and linear scaling in computational complexity with the system dimension. Facilitating this combination are new identities for constructing nonconvex sets that contain nonlinear functions and for efficiently converting a collection of polytopes from ver","authors_text":"Andrew F. Thompson, Herschel C. Pangborn, Jacob A. Siefert, Jonah J. Glunt, Justin P. Koeln, Neera Jain, Trevor J. Bird","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-04-13T21:33:32Z","title":"Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.06827","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:840b510a11428a1fdbaa1b12bc315f6a33c4e69a6d3a806b9c6d24e8862385c4","target":"record","created_at":"2026-07-05T07:48:16Z","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":"0e2a09d47f967d943063e121b949c688dc28951f99a106bf5302a595e39d5af8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-04-13T21:33:32Z","title_canon_sha256":"4729c251feddfeb0911c575d0aa93901accd86bf18709084b06edac9fa7c42fb"},"schema_version":"1.0","source":{"id":"2304.06827","kind":"arxiv","version":2}},"canonical_sha256":"1b4d36df277b13227d45a49b627d036f687719e434d50da9bf80dc5bbdc0de5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b4d36df277b13227d45a49b627d036f687719e434d50da9bf80dc5bbdc0de5f","first_computed_at":"2026-07-05T07:48:16.132935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:48:16.132935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dSYUPip3bZqFToKGvakVWle16Xwd6cVCn8i53HWaQ0CVi8rGsfH55bzGQ6ejVgHDhaHGH5XkJ41ExCZO0DFqDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:48:16.133445Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.06827","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:840b510a11428a1fdbaa1b12bc315f6a33c4e69a6d3a806b9c6d24e8862385c4","sha256:7449eeb5b797ff355ff6546742ba1929c0d79799e544de983aef80d694fc8a0d"],"state_sha256":"b5e89dce30b7bae5b60cc5ce4a5d74bda475038f2dd4697b2fe641750c8d63ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vcbPvFUhX+lBBjvIccGCyOf/yXbT5E1S8vInMmL8vDV7KSw/TyF9aLN/OdBduMhu70v7AednGNBAU8wgveELCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:51:21.110608Z","bundle_sha256":"ffca72ea4a752ceef1aca12abf72dae234c635167adcfb71292d1d607b61cc6c"}}