{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004249832,0.0006112776,0.0005553132,0.00049523,0.0006019007,0.0006858727,0.0005029061,0.0007139841,0.002693758],"category_scores_gemma":[0.001613454,0.0004177233,0.0006657309,0.0003891054,0.001018843,0.0007731303,0.001403136,0.00101355,0.0003318976],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008465411,"about_ca_system_score_gemma":0.001080688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005103688,"about_ca_topic_score_gemma":0.00727386,"domain_scores_codex":[0.9997967,0.00004891802,0.00001115401,0.00002865049,0.00008786353,0.00002670148],"domain_scores_gemma":[0.9995229,0.0003027263,0.00004557047,0.00005250489,0.00005224038,0.00002415304],"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.00003682076,0.00002793011,0.0003209575,0.00005839712,0.0000124173,0.00009394883,0.000098805,0.9300063,0.004640874,0.05351785,0.0003405651,0.01084504],"study_design_scores_gemma":[0.000009646027,0.00001005652,0.00005746829,0.000004555731,0.000002620726,0.00001340033,0.00001326228,0.9804742,0.0005225906,0.01851824,0.0003692768,0.000004509247],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04091966,0.0001664787,0.9486603,0.0001934519,0.00001762661,0.00004555873,0.00009810147,0.0002730465,0.00962584],"genre_scores_gemma":[0.7787407,0.0002014415,0.2148604,0.00007376751,0.00001365916,0.0001313028,0.0002334096,0.0001289834,0.005616375],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005103688,"threshold_uncertainty_score":0.01014793,"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."}}