{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001072711,0.00116712,0.000699024,0.0006396734,0.0005008245,0.001006104,0.0008820527,0.0008722856,0.002154468],"category_scores_gemma":[0.002538813,0.0006555854,0.0006594958,0.0004453721,0.001220301,0.001233062,0.001477098,0.001123894,0.000463407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006666044,"about_ca_system_score_gemma":0.0009720558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008448766,"about_ca_topic_score_gemma":0.001097607,"domain_scores_codex":[0.9992105,0.0002208638,0.00007051622,0.0001554696,0.0002448167,0.00009785951],"domain_scores_gemma":[0.9991106,0.0004430307,0.0001399426,0.0001198788,0.0001377063,0.00004882425],"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.00009128184,0.00005120515,0.0001227918,0.0001256114,0.00002772974,0.00006273512,0.000108307,0.786028,0.01077388,0.1665406,0.0003987297,0.03566919],"study_design_scores_gemma":[0.00004372669,0.00009005448,0.00003000375,0.00002595051,0.00001328746,0.00001700764,0.00002568185,0.9124655,0.009416285,0.07475031,0.003109181,0.00001302911],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01740838,0.0001296673,0.9780216,0.00007575213,0.00003292763,0.00005841503,0.00003111637,0.0003062647,0.0039358],"genre_scores_gemma":[0.6746707,0.0004214582,0.3212995,0.0001066906,0.00002782695,0.0004760294,0.0001287929,0.0001508648,0.002718099],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002154468,"threshold_uncertainty_score":0.007207394,"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."}}