{"id":"W1764886624","doi":"10.48550/arxiv.1503.05933","title":"Exact and Efficient Hamilton-Jacobi Reachability for Decoupled Systems","year":2015,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Spacecraft Dynamics and Control","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Air Force Office of Scientific Research; Office of Naval Research; Natural Sciences and Engineering Research Council of Canada; Multidisciplinary University Research Initiative; University of Pennsylvania; National Aeronautics and Space Administration; National Science Foundation","keywords":"Reachability; Computation; Robotics; Invariant (physics); Set (abstract data type); Optimal control; Hamilton–Jacobi equation; Computer science; Mathematical optimization; Mathematics; Theoretical computer science; Robot; Algorithm; Applied mathematics; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003759386,0.0003327634,0.0004624418,0.0001456586,0.00006796423,0.00007359952,0.0002975603,0.000335287,0.000004281823],"category_scores_gemma":[0.00003281485,0.0003812936,0.0001534046,0.0001251497,0.00006382959,0.00004471998,0.0001786406,0.0003211886,0.000008242801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004205658,"about_ca_system_score_gemma":0.00006883645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002276375,"about_ca_topic_score_gemma":0.0001033621,"domain_scores_codex":[0.9987471,0.00003724579,0.0001943111,0.0006179402,0.00006256952,0.0003408902],"domain_scores_gemma":[0.9987509,0.0001238832,0.00008277882,0.0006530244,0.0001662976,0.0002231392],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005090255,0.00003151642,0.000976455,0.0004110921,0.000147808,0.00001876493,0.0001210596,0.9941373,0.0001231502,0.00365075,0.0002288627,0.0001023683],"study_design_scores_gemma":[0.000929121,0.00003514347,0.0003860824,0.00007978309,0.0001393546,0.000002164285,0.0001467189,0.9952253,0.000005552285,0.001396514,0.001266872,0.0003874565],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7890523,0.0006583044,0.2068953,0.000009703568,0.0009587306,0.0009084191,0.0001390997,0.0002929562,0.00108513],"genre_scores_gemma":[0.9990082,0.0001717024,0.00007826595,0.000005882003,0.00009398056,0.00001037097,0.00003923433,0.00004947253,0.0005429299],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2099558,"threshold_uncertainty_score":0.9998639,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03466660090650358,"score_gpt":0.1668140016323936,"score_spread":0.13214740072589,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}