{"id":"W2109569369","doi":"10.1145/2185632.2185644","title":"Computing the viability kernel using maximal reachable sets","year":2012,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":62,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Kernel (algebra); Scalability; Connection (principal bundle); Dimension (graph theory); Computer science; State space; Kernel method; Algorithm; State (computer science); Mathematics; Discrete mathematics; Support vector machine; Combinatorics; Artificial intelligence; Geometry","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001393206,0.0007618509,0.0008039755,0.001318237,0.0007428211,0.001283919,0.001409177,0.0009027735,0.003548821],"category_scores_gemma":[0.01021459,0.000422491,0.0008757857,0.0006311042,0.00192918,0.003138703,0.002551633,0.001429093,0.0003886292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001018141,"about_ca_system_score_gemma":0.001344737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00247192,"about_ca_topic_score_gemma":0.002274299,"domain_scores_codex":[0.9992623,0.0002148333,0.00004535436,0.00009597555,0.000269834,0.0001116756],"domain_scores_gemma":[0.9959983,0.002709107,0.0003748075,0.0004416216,0.0003161709,0.0001599957],"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.00005422318,0.0000298468,0.0007500242,0.00005193856,0.00001907576,0.00008379186,0.0000892597,0.8094888,0.001435641,0.1748468,0.0002823305,0.01286833],"study_design_scores_gemma":[0.000003982819,0.00001570412,0.00006475413,0.00001054486,0.000003172789,0.00001192516,0.00001137857,0.91736,0.0009151949,0.08129598,0.0002994977,0.000007799156],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03001059,0.00007384815,0.9668289,0.00009009188,0.00001409895,0.00002906348,0.00004643839,0.0001897698,0.002717172],"genre_scores_gemma":[0.7828318,0.0001915283,0.2145149,0.00005260828,0.00002414056,0.0001745715,0.0001974323,0.0001357297,0.001877258],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003548821,"threshold_uncertainty_score":0.01187199,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01620890885489798,"score_gpt":0.2390736151726156,"score_spread":0.2228647063177177,"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."}}