{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:LAH4CXL3DHQ3XOE62K7DIRJ2MA","short_pith_number":"pith:LAH4CXL3","schema_version":"1.0","canonical_sha256":"580fc15d7b19e1bbb89ed2be34453a60205d8c75fbe574c30c989da201bc0667","source":{"kind":"arxiv","id":"1705.03257","version":1},"attestation_state":"computed","paper":{"title":"Optimality conditions and local regularity of the value function for the optimal exit time problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Luong V. Nguyen","submitted_at":"2017-05-09T10:11:47Z","abstract_excerpt":"We consider the control problem with \\textit{exit time}. Unlike the Bolza and Mayer problems, in this problem the terminal time of the trajectories is not fixed, but it is the first time at which they reach a given closed subset - \\textit{the target}. The most studied example is the \\textit{optimal time problem}, where we want to steer a point to the target in minimal time. In this section, we first introduce the exit time problem, then we recall the existence of optimal controls, and some regularity results for the value function. We then use a suitable form of the \\textit{Pontryagin maximum "},"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":"1705.03257","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-09T10:11:47Z","cross_cats_sorted":[],"title_canon_sha256":"a550053487ab0eeca710d16e0ff84d1411c0b3ec07cce2698ba3bd070147cafd","abstract_canon_sha256":"490f30a6b02ffa3371a65de5484320105fb57d94880e10978a400d3ee2e81e89"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:48.450130Z","signature_b64":"0J7tWI9sWTAJNO6gCTAsrZV6Ir6+5pRHPgJXIryQetwd9paLvB5PwPsqSSwUyproUipHfkyzfiPHeJOoNmavDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"580fc15d7b19e1bbb89ed2be34453a60205d8c75fbe574c30c989da201bc0667","last_reissued_at":"2026-05-18T00:44:48.449760Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:48.449760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Optimality conditions and local regularity of the value function for the optimal exit time problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Luong V. Nguyen","submitted_at":"2017-05-09T10:11:47Z","abstract_excerpt":"We consider the control problem with \\textit{exit time}. Unlike the Bolza and Mayer problems, in this problem the terminal time of the trajectories is not fixed, but it is the first time at which they reach a given closed subset - \\textit{the target}. The most studied example is the \\textit{optimal time problem}, where we want to steer a point to the target in minimal time. In this section, we first introduce the exit time problem, then we recall the existence of optimal controls, and some regularity results for the value function. We then use a suitable form of the \\textit{Pontryagin maximum "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.03257","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.03257","created_at":"2026-05-18T00:44:48.449823+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.03257v1","created_at":"2026-05-18T00:44:48.449823+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.03257","created_at":"2026-05-18T00:44:48.449823+00:00"},{"alias_kind":"pith_short_12","alias_value":"LAH4CXL3DHQ3","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"LAH4CXL3DHQ3XOE6","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"LAH4CXL3","created_at":"2026-05-18T12:31:28.150371+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/LAH4CXL3DHQ3XOE62K7DIRJ2MA","json":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA.json","graph_json":"https://pith.science/api/pith-number/LAH4CXL3DHQ3XOE62K7DIRJ2MA/graph.json","events_json":"https://pith.science/api/pith-number/LAH4CXL3DHQ3XOE62K7DIRJ2MA/events.json","paper":"https://pith.science/paper/LAH4CXL3"},"agent_actions":{"view_html":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA","download_json":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA.json","view_paper":"https://pith.science/paper/LAH4CXL3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.03257&json=true","fetch_graph":"https://pith.science/api/pith-number/LAH4CXL3DHQ3XOE62K7DIRJ2MA/graph.json","fetch_events":"https://pith.science/api/pith-number/LAH4CXL3DHQ3XOE62K7DIRJ2MA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA/action/storage_attestation","attest_author":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA/action/author_attestation","sign_citation":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA/action/citation_signature","submit_replication":"https://pith.science/pith/LAH4CXL3DHQ3XOE62K7DIRJ2MA/action/replication_record"}},"created_at":"2026-05-18T00:44:48.449823+00:00","updated_at":"2026-05-18T00:44:48.449823+00:00"}