{"id":"W2112727145","doi":"10.1109/.2005.1467202","title":"Optimality Zone Algorithms for Hybrid Systems Computation and Control: From Exponential to Linear Complexity","year":2005,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"University of Illinois at Urbana-Champaign","keywords":"Computation; Optimal control; Algorithm; State (computer science); Sequence (biology); Schedule; Hybrid system; Mathematical optimization; Computer science; Computational complexity theory; Set (abstract data type); Mathematics; Time complexity; Exponential function","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.002862387,0.001625003,0.001360497,0.001310485,0.0007272741,0.002796094,0.001810968,0.001276041,0.007298534],"category_scores_gemma":[0.01391721,0.0007782821,0.001219336,0.001548446,0.002727536,0.004956466,0.003544928,0.005213066,0.001192429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002470204,"about_ca_system_score_gemma":0.00174334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003778515,"about_ca_topic_score_gemma":0.003579274,"domain_scores_codex":[0.9981157,0.0006143229,0.000112947,0.0002970573,0.0006960122,0.0001640062],"domain_scores_gemma":[0.9903224,0.008068522,0.0003020605,0.0006984789,0.0004985309,0.0001099704],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000270841,0.00006919825,0.0006603054,0.0003815724,0.00006247882,0.00004874977,0.0002653601,0.2584619,0.001096349,0.6015319,0.004079949,0.1330714],"study_design_scores_gemma":[0.00003957917,0.00002879073,0.0001055498,0.00003052547,0.00001245805,0.00001540635,0.00002427009,0.6827793,0.0006361923,0.3140354,0.002280683,0.00001182654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005852349,0.001204542,0.9865829,0.0005686251,0.00004875385,0.00006653073,0.00007642589,0.000380527,0.005219302],"genre_scores_gemma":[0.2600482,0.002143672,0.7280075,0.000400741,0.0003063567,0.00079551,0.0004118794,0.0004470218,0.007439153],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007298534,"threshold_uncertainty_score":0.02441603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0243496150319681,"score_gpt":0.2601080283827149,"score_spread":0.2357584133507468,"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."}}