{"id":"W2090120682","doi":"10.1109/cacsd.2013.6663474","title":"A mixed approach to rigorous development of control designs","year":2013,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Component (thermodynamics); Computer science; Notation; Control (management); Controller (irrigation); Cruise control; Modal; Component-based software engineering; Control engineering; Development (topology); Software development; Software; Control system; Software engineering; Engineering; Programming language; Artificial intelligence; 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.001173767,0.0002335062,0.0003900322,0.0001916235,0.00005235236,0.0001139355,0.002119401,0.0002064008,0.00001263791],"category_scores_gemma":[0.0001177723,0.0002009269,0.00007300275,0.0002026709,0.00002966139,0.0001448304,0.00117466,0.0002379874,0.0001263302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001198662,"about_ca_system_score_gemma":0.0003410006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004827089,"about_ca_topic_score_gemma":0.000001655378,"domain_scores_codex":[0.9979028,0.0002097793,0.0005989501,0.0006169767,0.0004016495,0.0002698886],"domain_scores_gemma":[0.9980165,0.00006492397,0.0002731527,0.001257583,0.000252853,0.0001349836],"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.00002155589,0.0005100041,0.0000722207,0.0004440323,0.000187766,7.641568e-7,0.007768054,0.007810188,0.003464595,0.5741895,0.002324022,0.4032072],"study_design_scores_gemma":[0.0009068575,0.0001391303,0.0100909,0.0001582678,0.00003424667,0.00001289595,0.0001331159,0.8735742,0.09239496,0.01576166,0.005347305,0.001446447],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003962542,0.00002640752,0.9798726,0.00005509428,0.0005667451,0.001141041,0.000001670823,0.0001690352,0.01420486],"genre_scores_gemma":[0.1279271,9.193018e-7,0.8711289,0.000129204,0.0000235687,0.0004730499,0.000003769669,0.00001070081,0.0003027321],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.865764,"threshold_uncertainty_score":0.8193561,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1287705707072082,"score_gpt":0.3008884567431703,"score_spread":0.1721178860359621,"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."}}