{"id":"W1508820694","doi":"10.1109/cdc.2005.1582355","title":"Optimality Zone Algorithms for Hybrid Systems Computation and Control: From Exponential to Linear Complexity","year":2006,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Sequence (biology); Computation; Algorithm; Optimal control; State (computer science); Mathematics; Hybrid system; Computational complexity theory; Mathematical optimization; Set (abstract data type); Time complexity; Computer science; Schedule; Discrete time and continuous time; Discrete mathematics","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.0001292955,0.0001689907,0.0003214703,0.00005535674,0.00007312938,0.00006837727,0.00006056162,0.00004952557,0.000004919554],"category_scores_gemma":[0.00001352407,0.0001775371,0.00003941178,0.00006212831,0.00002102253,0.0001688634,0.00001365503,0.00004878629,0.000009241128],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007179254,"about_ca_system_score_gemma":0.000005039419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001220093,"about_ca_topic_score_gemma":0.00006223042,"domain_scores_codex":[0.998983,0.00003242186,0.0003888381,0.0002447849,0.0001335307,0.0002174323],"domain_scores_gemma":[0.9995052,0.0001207322,0.00005298281,0.0001291781,0.0001126419,0.00007933077],"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.00003923013,0.0000133376,0.00007093904,0.00003509375,0.00003254919,0.000001048864,0.00001393592,0.9950836,0.002962333,0.0006577821,0.0003171848,0.0007730054],"study_design_scores_gemma":[0.001980992,0.00003545245,0.0007221387,0.00001664325,0.00002454079,0.000003362107,0.00002107231,0.9954545,0.0005457893,0.0003747615,0.0006198832,0.0002008332],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03591181,0.0002293887,0.9612237,0.00004566845,0.0004791312,0.001126873,0.0003289239,0.0004558969,0.0001986357],"genre_scores_gemma":[0.81464,0.000001412565,0.1844624,0.00002064425,0.000433291,0.0001133142,0.000242926,0.00003261673,0.00005337347],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7787282,"threshold_uncertainty_score":0.7239753,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01810298424450283,"score_gpt":0.2420470671891424,"score_spread":0.2239440829446395,"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."}}