{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:IAOKPB5UAUHRHUHQVKSEUAHU5R","short_pith_number":"pith:IAOKPB5U","canonical_record":{"source":{"id":"2401.06352","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-01-12T04:00:17Z","cross_cats_sorted":[],"title_canon_sha256":"ff0147c9b856c8ae04b5e752556111113170227f980058072c546a3503dcb980","abstract_canon_sha256":"538382b4f5c1640664b5d49ba9ed14522038e7cd74f85ce0ac46f7cd91941a59"},"schema_version":"1.0"},"canonical_sha256":"401ca787b4050f13d0f0aaa44a00f4ec61f7fd76e1d2572e032de74e67a9fb0d","source":{"kind":"arxiv","id":"2401.06352","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.06352","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"arxiv_version","alias_value":"2401.06352v2","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.06352","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"pith_short_12","alias_value":"IAOKPB5UAUHR","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"pith_short_16","alias_value":"IAOKPB5UAUHRHUHQ","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"pith_short_8","alias_value":"IAOKPB5U","created_at":"2026-07-05T10:18:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:IAOKPB5UAUHRHUHQVKSEUAHU5R","target":"record","payload":{"canonical_record":{"source":{"id":"2401.06352","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-01-12T04:00:17Z","cross_cats_sorted":[],"title_canon_sha256":"ff0147c9b856c8ae04b5e752556111113170227f980058072c546a3503dcb980","abstract_canon_sha256":"538382b4f5c1640664b5d49ba9ed14522038e7cd74f85ce0ac46f7cd91941a59"},"schema_version":"1.0"},"canonical_sha256":"401ca787b4050f13d0f0aaa44a00f4ec61f7fd76e1d2572e032de74e67a9fb0d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:18:07.446967Z","signature_b64":"h8NBH8UH9yUTF1W/NteVTS8XOyIELQq3fucu8CBAvNxedvbfld9qpSe/Qi6EXXIKwT0kldekBrAHHMdztAgFBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"401ca787b4050f13d0f0aaa44a00f4ec61f7fd76e1d2572e032de74e67a9fb0d","last_reissued_at":"2026-07-05T10:18:07.446511Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:18:07.446511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.06352","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-05T10:18:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yS96xFLfrlTtavS/VBw2oMdvZTc6Hec7qTMEK0O+0AUW7u+CgvtVknDsGq+1Vxzs9F6CNkltaXqcqzZ49539Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T21:17:00.423948Z"},"content_sha256":"b9cc79e3dec64b9e8366687652e165386132181771791741deb5034c39062485","schema_version":"1.0","event_id":"sha256:b9cc79e3dec64b9e8366687652e165386132181771791741deb5034c39062485"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:IAOKPB5UAUHRHUHQVKSEUAHU5R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Hamilton-Jacobi-Bellman Approach to Ellipsoidal Approximations of Reachable Sets for Linear Time-Varying Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Chris Manzie, Peter M. Dower, Vincent Liu","submitted_at":"2024-01-12T04:00:17Z","abstract_excerpt":"Reachable sets for a dynamical system describe collections of system states that can be reached in finite time, subject to system dynamics. They can be used to guarantee goal satisfaction in controller design or to verify that unsafe regions will be avoided. However, general-purpose methods for computing these sets suffer from the curse of dimensionality, which typically prohibits their use for systems with more than a small number of states, even if they are linear. In this paper, we demonstrate that viscosity supersolutions and subsolutions of a Hamilton-Jacobi-Bellman equation can be used t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.06352","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/2401.06352/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-05T10:18:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qGUJRK4sPud+qsxuxcY6uvRfHekT640qJTWv1wukHt0mAUUE743ESxtsWjcmeU4hv5CYLXl1ZVXx85++9vNLAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T21:17:00.424530Z"},"content_sha256":"d583cd4374e0ae87955840ca6bac757aa885485b54977a85365dc197c6c8f5cd","schema_version":"1.0","event_id":"sha256:d583cd4374e0ae87955840ca6bac757aa885485b54977a85365dc197c6c8f5cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R/bundle.json","state_url":"https://pith.science/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R/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-19T21:17:00Z","links":{"resolver":"https://pith.science/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R","bundle":"https://pith.science/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R/bundle.json","state":"https://pith.science/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IAOKPB5UAUHRHUHQVKSEUAHU5R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:IAOKPB5UAUHRHUHQVKSEUAHU5R","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":"538382b4f5c1640664b5d49ba9ed14522038e7cd74f85ce0ac46f7cd91941a59","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-01-12T04:00:17Z","title_canon_sha256":"ff0147c9b856c8ae04b5e752556111113170227f980058072c546a3503dcb980"},"schema_version":"1.0","source":{"id":"2401.06352","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.06352","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"arxiv_version","alias_value":"2401.06352v2","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.06352","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"pith_short_12","alias_value":"IAOKPB5UAUHR","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"pith_short_16","alias_value":"IAOKPB5UAUHRHUHQ","created_at":"2026-07-05T10:18:07Z"},{"alias_kind":"pith_short_8","alias_value":"IAOKPB5U","created_at":"2026-07-05T10:18:07Z"}],"graph_snapshots":[{"event_id":"sha256:d583cd4374e0ae87955840ca6bac757aa885485b54977a85365dc197c6c8f5cd","target":"graph","created_at":"2026-07-05T10:18:07Z","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/2401.06352/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reachable sets for a dynamical system describe collections of system states that can be reached in finite time, subject to system dynamics. They can be used to guarantee goal satisfaction in controller design or to verify that unsafe regions will be avoided. However, general-purpose methods for computing these sets suffer from the curse of dimensionality, which typically prohibits their use for systems with more than a small number of states, even if they are linear. In this paper, we demonstrate that viscosity supersolutions and subsolutions of a Hamilton-Jacobi-Bellman equation can be used t","authors_text":"Chris Manzie, Peter M. Dower, Vincent Liu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-01-12T04:00:17Z","title":"A Hamilton-Jacobi-Bellman Approach to Ellipsoidal Approximations of Reachable Sets for Linear Time-Varying Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.06352","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:b9cc79e3dec64b9e8366687652e165386132181771791741deb5034c39062485","target":"record","created_at":"2026-07-05T10:18:07Z","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":"538382b4f5c1640664b5d49ba9ed14522038e7cd74f85ce0ac46f7cd91941a59","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-01-12T04:00:17Z","title_canon_sha256":"ff0147c9b856c8ae04b5e752556111113170227f980058072c546a3503dcb980"},"schema_version":"1.0","source":{"id":"2401.06352","kind":"arxiv","version":2}},"canonical_sha256":"401ca787b4050f13d0f0aaa44a00f4ec61f7fd76e1d2572e032de74e67a9fb0d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"401ca787b4050f13d0f0aaa44a00f4ec61f7fd76e1d2572e032de74e67a9fb0d","first_computed_at":"2026-07-05T10:18:07.446511Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:18:07.446511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h8NBH8UH9yUTF1W/NteVTS8XOyIELQq3fucu8CBAvNxedvbfld9qpSe/Qi6EXXIKwT0kldekBrAHHMdztAgFBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:18:07.446967Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.06352","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b9cc79e3dec64b9e8366687652e165386132181771791741deb5034c39062485","sha256:d583cd4374e0ae87955840ca6bac757aa885485b54977a85365dc197c6c8f5cd"],"state_sha256":"7e18729bb84afb09d6d2eeeac6efe73d9d3935775e686b697c1d8050456f9ba1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xpRp35CvSM7n9S1cEcLy/5GOoOuo6XTnZDOzPzp1FKlby1TA0nGieBA7+9BoYiK2DQSQKsMMriI/im88CWhcCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T21:17:00.428293Z","bundle_sha256":"c6e708255f107f8ff7876ac18cb225d6456edee0c7946b5e641ad3bb33d7df00"}}