{"id":"W1576231019","doi":"10.1109/cdc.2002.1184363","title":"Effective synthesis of optimal controllers using bisimulations","year":2003,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Optimal control; Zeno's paradoxes; Computer science; Constant (computer programming); Dynamic programming; Control theory (sociology); Control (management); Mathematical optimization; Mathematics; Algorithm; Artificial intelligence","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.00008180868,0.00008478736,0.0001866458,0.00008074778,0.00002756211,0.000006149668,0.00003214824,0.00004253749,0.00003823822],"category_scores_gemma":[0.0001790241,0.00008283203,0.00004635964,0.0001479889,0.0000138006,0.0001179873,0.000002693509,0.00003282604,0.000004213829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006200436,"about_ca_system_score_gemma":0.000007200804,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006754045,"about_ca_topic_score_gemma":0.000001735749,"domain_scores_codex":[0.999522,0.00003925882,0.0001799468,0.00007625182,0.00006867034,0.0001139001],"domain_scores_gemma":[0.999499,0.0002751326,0.00003251213,0.000113136,0.00005188604,0.0000283962],"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.000004360694,0.000004845044,0.0001639672,0.00001223607,0.00005006635,2.747796e-7,0.00002501994,0.9891062,0.008510319,0.001571935,0.000003872312,0.0005469442],"study_design_scores_gemma":[0.0004379839,0.0000074552,0.00008670594,0.0000162893,0.00002774997,0.000001637615,0.00005338381,0.9820329,0.01712661,0.00004255516,0.00007917011,0.00008758438],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04542889,0.0001017746,0.9402283,0.000002159241,0.0001058652,0.0003432722,0.000003512026,0.0001333499,0.0136529],"genre_scores_gemma":[0.9643548,0.000002389242,0.03555244,0.000002640151,0.00001143819,0.00002825125,4.207061e-7,0.00002066604,0.0000269733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9189259,"threshold_uncertainty_score":0.3377792,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005708312097105444,"score_gpt":0.2149595320943067,"score_spread":0.2092512199972013,"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."}}