{"id":"W2168637331","doi":"10.1109/mcs.2007.284509","title":"Implementation of stabilizing control laws - How many controller blocks are neede for a universally good implementation?","year":2007,"lang":"en","type":"article","venue":"IEEE Control Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Implementation; Conjecture; Controller (irrigation); Computer science; Block (permutation group theory); Control (management); Mathematics; Algorithm; Discrete mathematics; Programming language; Artificial intelligence; Combinatorics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003551933,0.0002889604,0.000672907,0.0002912931,0.0002075179,0.0002309335,0.0007497898,0.0001302565,0.000007194083],"category_scores_gemma":[0.00007405392,0.0002832235,0.000214598,0.0003550908,0.0000584294,0.0008603726,0.00002965185,0.0001212392,0.000003565854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002861317,"about_ca_system_score_gemma":0.0001337257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004592965,"about_ca_topic_score_gemma":0.0004098183,"domain_scores_codex":[0.9969692,0.0003417224,0.0009887776,0.0005190746,0.0005322766,0.0006489875],"domain_scores_gemma":[0.9965249,0.000704231,0.001315044,0.0005804907,0.0007224061,0.0001529274],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001527044,0.0003972191,0.08132843,0.0008518922,0.001812926,0.00002616607,0.006995426,0.006455817,0.3045619,0.5376195,0.002948328,0.05547532],"study_design_scores_gemma":[0.116939,0.00316886,0.07325161,0.0003298852,0.0008467014,0.00009018504,0.05117319,0.6720628,0.06081381,0.002291213,0.01661127,0.002421571],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03442603,0.0002065724,0.9594314,0.0004371581,0.001297499,0.00372749,0.0001741209,0.0001472757,0.0001524312],"genre_scores_gemma":[0.9806799,0.000002962625,0.01845503,0.0001594506,0.0002697627,0.0003099625,0.000008216353,0.00002857984,0.00008614175],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9462538,"threshold_uncertainty_score":0.999962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02365833860827348,"score_gpt":0.319291851540167,"score_spread":0.2956335129318935,"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."}}