{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UGH2G4VWPB3N6IJHHOU2T2O5GO","short_pith_number":"pith:UGH2G4VW","canonical_record":{"source":{"id":"1410.6445","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-23T18:29:26Z","cross_cats_sorted":[],"title_canon_sha256":"0377b0b2037ac5d3c2c69c6fc3be0ce3b05c35298b570a60219b7da7a9e3929d","abstract_canon_sha256":"d50d67ae497ece3ab8c202b9a1fc1d70160a3fcb638cd8322939a23443eb735d"},"schema_version":"1.0"},"canonical_sha256":"a18fa372b67876df21273ba9a9e9dd33ae3cf532bbfcb26d21703df6a10e3f38","source":{"kind":"arxiv","id":"1410.6445","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.6445","created_at":"2026-05-18T02:39:08Z"},{"alias_kind":"arxiv_version","alias_value":"1410.6445v2","created_at":"2026-05-18T02:39:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.6445","created_at":"2026-05-18T02:39:08Z"},{"alias_kind":"pith_short_12","alias_value":"UGH2G4VWPB3N","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UGH2G4VWPB3N6IJH","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UGH2G4VW","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UGH2G4VWPB3N6IJHHOU2T2O5GO","target":"record","payload":{"canonical_record":{"source":{"id":"1410.6445","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-23T18:29:26Z","cross_cats_sorted":[],"title_canon_sha256":"0377b0b2037ac5d3c2c69c6fc3be0ce3b05c35298b570a60219b7da7a9e3929d","abstract_canon_sha256":"d50d67ae497ece3ab8c202b9a1fc1d70160a3fcb638cd8322939a23443eb735d"},"schema_version":"1.0"},"canonical_sha256":"a18fa372b67876df21273ba9a9e9dd33ae3cf532bbfcb26d21703df6a10e3f38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:08.304740Z","signature_b64":"RI5F8h0qFLPw6OnfJkaKpsgBwR348d2tP3T/auKczBXMwXLdDVD0iO3dqId9pVJ++3XgrFp8QKlRsBw4IC1hCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a18fa372b67876df21273ba9a9e9dd33ae3cf532bbfcb26d21703df6a10e3f38","last_reissued_at":"2026-05-18T02:39:08.304083Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:08.304083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.6445","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-05-18T02:39:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O9Jpq8VIZ8D3tKER2DETDyOxN3tumNm/cEU6RgVx1c/TnoDWCdnqN5D6WMqZqYmC/CpQrWidZyZKROg9kePdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:30:34.544258Z"},"content_sha256":"b6bb7993a2c484147dce496bdc1e7b2e53bfe289d8749d669bd761720e056fa1","schema_version":"1.0","event_id":"sha256:b6bb7993a2c484147dce496bdc1e7b2e53bfe289d8749d669bd761720e056fa1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UGH2G4VWPB3N6IJHHOU2T2O5GO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Claire J. Tomlin, Jaime F. Fisac, Mo Chen, S. Shankar Sastry","submitted_at":"2014-10-23T18:29:26Z","abstract_excerpt":"We consider a reach-avoid differential game, in which one of the players aims to steer the system into a target set without violating a set of state constraints, while the other player tries to prevent the first from succeeding; the system dynamics, target set, and state constraints may all be time-varying. The analysis of this problem plays an important role in collision avoidance, motion planning and aircraft control, among other applications. Previous methods for computing the guaranteed winning initial conditions and strategies for each player have either required augmenting the state vect"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.6445","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":""},"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-18T02:39:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GkNliQ/Y3Mm73TpzTvn3Q1JyWeXFu/TLCB1Dvpx1x0+G0bs+oyrrFNZUWcujU5wGFGHS5jX7/PrJZhwQXAdiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:30:34.544934Z"},"content_sha256":"0712f77555da5deb9b8b92d46e9edcbf07d6fa7e18a20f28fc620d6d22d402d0","schema_version":"1.0","event_id":"sha256:0712f77555da5deb9b8b92d46e9edcbf07d6fa7e18a20f28fc620d6d22d402d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO/bundle.json","state_url":"https://pith.science/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO/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-30T06:30:34Z","links":{"resolver":"https://pith.science/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO","bundle":"https://pith.science/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO/bundle.json","state":"https://pith.science/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UGH2G4VWPB3N6IJHHOU2T2O5GO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UGH2G4VWPB3N6IJHHOU2T2O5GO","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":"d50d67ae497ece3ab8c202b9a1fc1d70160a3fcb638cd8322939a23443eb735d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-23T18:29:26Z","title_canon_sha256":"0377b0b2037ac5d3c2c69c6fc3be0ce3b05c35298b570a60219b7da7a9e3929d"},"schema_version":"1.0","source":{"id":"1410.6445","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.6445","created_at":"2026-05-18T02:39:08Z"},{"alias_kind":"arxiv_version","alias_value":"1410.6445v2","created_at":"2026-05-18T02:39:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.6445","created_at":"2026-05-18T02:39:08Z"},{"alias_kind":"pith_short_12","alias_value":"UGH2G4VWPB3N","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UGH2G4VWPB3N6IJH","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UGH2G4VW","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:0712f77555da5deb9b8b92d46e9edcbf07d6fa7e18a20f28fc620d6d22d402d0","target":"graph","created_at":"2026-05-18T02:39:08Z","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":"We consider a reach-avoid differential game, in which one of the players aims to steer the system into a target set without violating a set of state constraints, while the other player tries to prevent the first from succeeding; the system dynamics, target set, and state constraints may all be time-varying. The analysis of this problem plays an important role in collision avoidance, motion planning and aircraft control, among other applications. Previous methods for computing the guaranteed winning initial conditions and strategies for each player have either required augmenting the state vect","authors_text":"Claire J. Tomlin, Jaime F. Fisac, Mo Chen, S. Shankar Sastry","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-23T18:29:26Z","title":"Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.6445","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:b6bb7993a2c484147dce496bdc1e7b2e53bfe289d8749d669bd761720e056fa1","target":"record","created_at":"2026-05-18T02:39:08Z","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":"d50d67ae497ece3ab8c202b9a1fc1d70160a3fcb638cd8322939a23443eb735d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-23T18:29:26Z","title_canon_sha256":"0377b0b2037ac5d3c2c69c6fc3be0ce3b05c35298b570a60219b7da7a9e3929d"},"schema_version":"1.0","source":{"id":"1410.6445","kind":"arxiv","version":2}},"canonical_sha256":"a18fa372b67876df21273ba9a9e9dd33ae3cf532bbfcb26d21703df6a10e3f38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a18fa372b67876df21273ba9a9e9dd33ae3cf532bbfcb26d21703df6a10e3f38","first_computed_at":"2026-05-18T02:39:08.304083Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:08.304083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RI5F8h0qFLPw6OnfJkaKpsgBwR348d2tP3T/auKczBXMwXLdDVD0iO3dqId9pVJ++3XgrFp8QKlRsBw4IC1hCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:08.304740Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.6445","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6bb7993a2c484147dce496bdc1e7b2e53bfe289d8749d669bd761720e056fa1","sha256:0712f77555da5deb9b8b92d46e9edcbf07d6fa7e18a20f28fc620d6d22d402d0"],"state_sha256":"bdfe5a27ed6a6f11fda311b4f1ead9c4aee7f33d350db30e65b6938e565d9ede"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bXrRHy/jcnJlR7xbwnNUdzabD7GYmKyFLD/pqIY6wbaV3xiA6/MlCA494nu/8tRl/qyVgYBT+Pdw5Kqb0DzpBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T06:30:34.548208Z","bundle_sha256":"f7cce3ad5bf1904437a813e29d8f805cee75e1c1e4604ecc93f67d32dc3115d7"}}