{"id":"W1497378850","doi":"10.1007/11730637_12","title":"Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Algorithm; Computation; Optimal control; Computer science; Schedule; State (computer science); Sequence (biology); Computational complexity theory; Mathematical optimization; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009960614,0.001174925,0.001270137,0.0007098127,0.0004629805,0.001397149,0.001441475,0.001029592,0.005955951],"category_scores_gemma":[0.003016863,0.0008124413,0.0006117988,0.001272688,0.001035596,0.002278593,0.002010991,0.002193064,0.001558849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007889884,"about_ca_system_score_gemma":0.000752873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00269452,"about_ca_topic_score_gemma":0.002380722,"domain_scores_codex":[0.9996324,0.0001208286,0.00001836554,0.00005624926,0.0001365647,0.00003563],"domain_scores_gemma":[0.9993605,0.0004075689,0.00003755461,0.00007833169,0.00009816136,0.00001796782],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002147326,0.00004766594,0.0002267105,0.0001893426,0.00004625937,0.00001952253,0.000134433,0.5970684,0.00234327,0.2044473,0.008557516,0.186705],"study_design_scores_gemma":[0.00002543963,0.00001464727,0.00005042059,0.00001082199,0.000007725658,0.000009752272,0.00001201098,0.9331211,0.0007025544,0.0634685,0.002568754,0.00000815373],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001489565,0.0003185599,0.9965533,0.00005152929,0.00003179336,0.00001107189,0.00002829756,0.000184712,0.001331251],"genre_scores_gemma":[0.1902995,0.00109453,0.8001043,0.00008378481,0.0001194428,0.0002718999,0.0002350794,0.0004047043,0.007386625],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005955951,"threshold_uncertainty_score":0.0199247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01078126350263497,"score_gpt":0.2359246302987853,"score_spread":0.2251433667961504,"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."}}