{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4IWDZSVLDPAYRAN5MJZ3RXCFFH","short_pith_number":"pith:4IWDZSVL","canonical_record":{"source":{"id":"1609.05248","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-16T22:09:48Z","cross_cats_sorted":[],"title_canon_sha256":"b0714d9d43c9dc969336c72956b85d8df3f6e2ff2818dd5777943b97facbb422","abstract_canon_sha256":"564257980e5408cc610dbe57971bd2e90febdcf55bb8fa2293cd70fd8bd755f0"},"schema_version":"1.0"},"canonical_sha256":"e22c3ccaab1bc18881bd6273b8dc4529f6285a3d92fb715a0a67332cc5b50cf3","source":{"kind":"arxiv","id":"1609.05248","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.05248","created_at":"2026-05-18T01:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"1609.05248v1","created_at":"2026-05-18T01:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.05248","created_at":"2026-05-18T01:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"4IWDZSVLDPAY","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4IWDZSVLDPAYRAN5","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4IWDZSVL","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4IWDZSVLDPAYRAN5MJZ3RXCFFH","target":"record","payload":{"canonical_record":{"source":{"id":"1609.05248","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-16T22:09:48Z","cross_cats_sorted":[],"title_canon_sha256":"b0714d9d43c9dc969336c72956b85d8df3f6e2ff2818dd5777943b97facbb422","abstract_canon_sha256":"564257980e5408cc610dbe57971bd2e90febdcf55bb8fa2293cd70fd8bd755f0"},"schema_version":"1.0"},"canonical_sha256":"e22c3ccaab1bc18881bd6273b8dc4529f6285a3d92fb715a0a67332cc5b50cf3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:30.784948Z","signature_b64":"ZarV7vIk26LuW4ODbU6eJxCKFfaPvKUdFiDPpFOeogG58wOsnxQ4DHfeucPzSZQHwHLbqXDb51WUFfZc9OROAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e22c3ccaab1bc18881bd6273b8dc4529f6285a3d92fb715a0a67332cc5b50cf3","last_reissued_at":"2026-05-18T01:04:30.784342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:30.784342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.05248","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:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"suLkouC+imFeGmmW74KX3kCvAXljyfENalJCTVTSr75balSXIK9ImYaZ3jPXFbp7ww+x3OBSsmwaXXb1EINOBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T13:27:42.562463Z"},"content_sha256":"ced56f7c64d07597d41149849d0600a7638b8bb429cb1b09f85f4429eb525d70","schema_version":"1.0","event_id":"sha256:ced56f7c64d07597d41149849d0600a7638b8bb429cb1b09f85f4429eb525d70"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4IWDZSVLDPAYRAN5MJZ3RXCFFH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Claire J. Tomlin, Mo Chen, Sylvia Herbert","submitted_at":"2016-09-16T22:09:48Z","abstract_excerpt":"Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-dimensional dynamical system models such as coarse models of aircraft and quadrotors in order to provide safety guarantees in potentially dangerous scenarios. These guarantees can be provided by the computation of a backward reachable set (BRS), which represents the set of states from which the system may be driven into violating safety properties despite the system's best effort to remain safe. Unfortunately, HJ reac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.05248","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:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JsEKek4Rdor0avZMF+E9EgPIwmKZVZJ9q1JcyZ+CWYJSRBQCvCYL6aPzbgTlVloJimbOjMC2gAAXtlGZw94wBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T13:27:42.563067Z"},"content_sha256":"bb103da72a423c9bf0bcee04c6c398dd7583e2dfdf597694038c2229c6d164b0","schema_version":"1.0","event_id":"sha256:bb103da72a423c9bf0bcee04c6c398dd7583e2dfdf597694038c2229c6d164b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH/bundle.json","state_url":"https://pith.science/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH/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-23T13:27:42Z","links":{"resolver":"https://pith.science/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH","bundle":"https://pith.science/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH/bundle.json","state":"https://pith.science/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4IWDZSVLDPAYRAN5MJZ3RXCFFH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4IWDZSVLDPAYRAN5MJZ3RXCFFH","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":"564257980e5408cc610dbe57971bd2e90febdcf55bb8fa2293cd70fd8bd755f0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-16T22:09:48Z","title_canon_sha256":"b0714d9d43c9dc969336c72956b85d8df3f6e2ff2818dd5777943b97facbb422"},"schema_version":"1.0","source":{"id":"1609.05248","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.05248","created_at":"2026-05-18T01:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"1609.05248v1","created_at":"2026-05-18T01:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.05248","created_at":"2026-05-18T01:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"4IWDZSVLDPAY","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4IWDZSVLDPAYRAN5","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4IWDZSVL","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:bb103da72a423c9bf0bcee04c6c398dd7583e2dfdf597694038c2229c6d164b0","target":"graph","created_at":"2026-05-18T01:04:30Z","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":"Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-dimensional dynamical system models such as coarse models of aircraft and quadrotors in order to provide safety guarantees in potentially dangerous scenarios. These guarantees can be provided by the computation of a backward reachable set (BRS), which represents the set of states from which the system may be driven into violating safety properties despite the system's best effort to remain safe. Unfortunately, HJ reac","authors_text":"Claire J. Tomlin, Mo Chen, Sylvia Herbert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-16T22:09:48Z","title":"Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.05248","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:ced56f7c64d07597d41149849d0600a7638b8bb429cb1b09f85f4429eb525d70","target":"record","created_at":"2026-05-18T01:04:30Z","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":"564257980e5408cc610dbe57971bd2e90febdcf55bb8fa2293cd70fd8bd755f0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-09-16T22:09:48Z","title_canon_sha256":"b0714d9d43c9dc969336c72956b85d8df3f6e2ff2818dd5777943b97facbb422"},"schema_version":"1.0","source":{"id":"1609.05248","kind":"arxiv","version":1}},"canonical_sha256":"e22c3ccaab1bc18881bd6273b8dc4529f6285a3d92fb715a0a67332cc5b50cf3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e22c3ccaab1bc18881bd6273b8dc4529f6285a3d92fb715a0a67332cc5b50cf3","first_computed_at":"2026-05-18T01:04:30.784342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:30.784342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZarV7vIk26LuW4ODbU6eJxCKFfaPvKUdFiDPpFOeogG58wOsnxQ4DHfeucPzSZQHwHLbqXDb51WUFfZc9OROAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:30.784948Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.05248","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ced56f7c64d07597d41149849d0600a7638b8bb429cb1b09f85f4429eb525d70","sha256:bb103da72a423c9bf0bcee04c6c398dd7583e2dfdf597694038c2229c6d164b0"],"state_sha256":"cb09c77c8bbc24ca5c5d5a9b816dc4aaeabec5dde3757204bbe85c04c07802b5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w30tJq+tzDW80BC5+DjyK42BesxJ1KgXzwuqMEEkAKV3Ex+7rcdzlJNowufyvn1WOnXzsDSSAiMLnAx5gzB7Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T13:27:42.566353Z","bundle_sha256":"833bd860b2ba322e9928b65eeafabfbfc11c25665d3768da16203928d2e18ff3"}}