{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:WFSJJAN4MU3CBY6VF2EXQDKFMZ","short_pith_number":"pith:WFSJJAN4","schema_version":"1.0","canonical_sha256":"b1649481bc653620e3d52e89780d45666706bdddf2863454ce34ab390de4eb67","source":{"kind":"arxiv","id":"1503.05933","version":3},"attestation_state":"computed","paper":{"title":"Exact and Efficient Hamilton-Jacobi Reachability for Decoupled Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Claire J. Tomlin, Mo Chen","submitted_at":"2015-03-19T20:19:15Z","abstract_excerpt":"Reachability analysis is important for studying optimal control problems and differential games, which are powerful theoretical tools for analyzing and modeling many practical problems in robotics, aircraft control, among other application areas. In reachability analysis, one is interested in computing the reachable set, defined as the set of states from which there exists a control, despite the worst disturbance, that can drive the system into a set of target states. The target states can be used to model either unsafe or desirable configurations, depending on the application. Many Hamilton-J"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1503.05933","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-19T20:19:15Z","cross_cats_sorted":[],"title_canon_sha256":"11bea9492f5afe07faa102f65e3c7eb30821e14356ad3d908e49220ef8c2fe4c","abstract_canon_sha256":"d294559d61cf1e9b0d059bb8d9a99f785b8a9a879d0968c4ea967afc39773806"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:52.754718Z","signature_b64":"P+2Ju61lfA+f+OnvdbV77IEURm1bFm2hyO2DYCPFGVIxIND89ZwaktZex8NCz81y3jbaftj0qSCfXNB0Bxr8AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1649481bc653620e3d52e89780d45666706bdddf2863454ce34ab390de4eb67","last_reissued_at":"2026-05-18T01:18:52.754176Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:52.754176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exact and Efficient Hamilton-Jacobi Reachability for Decoupled Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Claire J. Tomlin, Mo Chen","submitted_at":"2015-03-19T20:19:15Z","abstract_excerpt":"Reachability analysis is important for studying optimal control problems and differential games, which are powerful theoretical tools for analyzing and modeling many practical problems in robotics, aircraft control, among other application areas. In reachability analysis, one is interested in computing the reachable set, defined as the set of states from which there exists a control, despite the worst disturbance, that can drive the system into a set of target states. The target states can be used to model either unsafe or desirable configurations, depending on the application. Many Hamilton-J"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.05933","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1503.05933","created_at":"2026-05-18T01:18:52.754251+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.05933v3","created_at":"2026-05-18T01:18:52.754251+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.05933","created_at":"2026-05-18T01:18:52.754251+00:00"},{"alias_kind":"pith_short_12","alias_value":"WFSJJAN4MU3C","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"WFSJJAN4MU3CBY6V","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"WFSJJAN4","created_at":"2026-05-18T12:29:47.479230+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ","json":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ.json","graph_json":"https://pith.science/api/pith-number/WFSJJAN4MU3CBY6VF2EXQDKFMZ/graph.json","events_json":"https://pith.science/api/pith-number/WFSJJAN4MU3CBY6VF2EXQDKFMZ/events.json","paper":"https://pith.science/paper/WFSJJAN4"},"agent_actions":{"view_html":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ","download_json":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ.json","view_paper":"https://pith.science/paper/WFSJJAN4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.05933&json=true","fetch_graph":"https://pith.science/api/pith-number/WFSJJAN4MU3CBY6VF2EXQDKFMZ/graph.json","fetch_events":"https://pith.science/api/pith-number/WFSJJAN4MU3CBY6VF2EXQDKFMZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ/action/storage_attestation","attest_author":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ/action/author_attestation","sign_citation":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ/action/citation_signature","submit_replication":"https://pith.science/pith/WFSJJAN4MU3CBY6VF2EXQDKFMZ/action/replication_record"}},"created_at":"2026-05-18T01:18:52.754251+00:00","updated_at":"2026-05-18T01:18:52.754251+00:00"}