{"id":"W2111791229","doi":"10.1109/cdc.2005.1582905","title":"Necessary and Sufficient Conditions for Reachability on a Simplex","year":2006,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Reachability; Simplex; Affine transformation; Mathematics; Controller (irrigation); Set (abstract data type); Simplex algorithm; Linear inequality; Reachability problem; Computer science; Linear system; Mathematical optimization; Linear programming; Discrete mathematics; Combinatorics; Pure mathematics; Inequality; Mathematical analysis","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.00006466668,0.00006247257,0.00008543817,0.00002942222,0.00004061973,0.00001324649,0.00002267585,0.00002766706,0.00001553371],"category_scores_gemma":[0.00001863488,0.00005716847,0.00001985463,0.0000435935,0.00001230186,0.00005470805,0.000003589494,0.00002427868,0.000003481628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003500866,"about_ca_system_score_gemma":0.000002323947,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002371369,"about_ca_topic_score_gemma":0.00003893114,"domain_scores_codex":[0.9996056,0.000007249395,0.0001425396,0.0001013151,0.00004540333,0.00009787438],"domain_scores_gemma":[0.999723,0.0001044477,0.00001390259,0.0001130758,0.0000257917,0.00001973593],"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.000005884477,0.00002444779,0.0002395388,0.00003208715,0.000005448193,2.050478e-7,0.00001914085,0.9612113,0.002311695,0.03207606,0.003343603,0.0007306255],"study_design_scores_gemma":[0.0006042831,0.00004793951,0.004669817,0.000007399921,0.000007016428,0.000001565347,0.00004770229,0.9794037,0.0007305466,0.004446295,0.009900061,0.0001336263],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1913211,0.0000575556,0.7845542,0.0001630961,0.0001115848,0.0006722655,0.00007214173,0.0003998211,0.02264819],"genre_scores_gemma":[0.9969187,8.274375e-7,0.002558814,0.00003342576,0.00004654365,0.00007975067,0.00004853089,0.00001191548,0.0003014982],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8055975,"threshold_uncertainty_score":0.2331263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005173612322508276,"score_gpt":0.2163186365293764,"score_spread":0.2111450242068681,"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."}}