{"id":"W1973563598","doi":"10.1109/cdc.2011.6161424","title":"The continual reachability set and its computation using maximal reachability techniques","year":2011,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Reachability; Set (abstract data type); Scalability; Computation; Connection (principal bundle); Computer science; Reachability problem; Theoretical computer science; Mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004276682,0.0001160656,0.0001363733,0.00002476415,0.0001068148,0.00002428683,0.00006520759,0.00006884139,0.000005297184],"category_scores_gemma":[0.0000779112,0.00008927118,0.00002327903,0.00007327155,0.00004740684,0.0002373523,0.00002841098,0.00009125801,0.00000171411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007434248,"about_ca_system_score_gemma":0.000006382836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000106799,"about_ca_topic_score_gemma":0.00005294571,"domain_scores_codex":[0.9992643,0.00006508319,0.0002601627,0.0001619487,0.00008592069,0.0001626088],"domain_scores_gemma":[0.9995679,0.00009223217,0.00004443891,0.0001581633,0.00009651153,0.00004076702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006166016,0.0002453358,0.02993852,0.0009350703,0.0004213118,0.00001398482,0.01325015,0.0811197,0.1243421,0.04234814,0.0004466456,0.7063225],"study_design_scores_gemma":[0.0002473453,0.00004970057,0.004072976,0.00001820055,0.0000161697,0.0000152887,0.0002540931,0.9835196,0.008444399,0.002776653,0.0003699767,0.0002156666],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3386735,0.0002454352,0.6522904,0.00002475449,0.0001361444,0.0007245239,0.000008179172,0.0008684014,0.007028671],"genre_scores_gemma":[0.97334,0.00001133584,0.02653009,0.000006396498,0.00003143731,0.00002368945,0.000003317276,0.00001810605,0.00003558633],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9023998,"threshold_uncertainty_score":0.3640373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02983210503663562,"score_gpt":0.2455007328027632,"score_spread":0.2156686277661276,"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."}}