{"id":"W1974828696","doi":"10.1145/1321211.1321257","title":"Sequence-based specification of feedback control systems in Simulink®","year":2007,"lang":"en","type":"article","venue":"Proceedings of CASCON","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Oak Ridge National Laboratory; U.S. Naval Academy; Georgia Institute of Technology","keywords":"Computer science; Finite-state machine; Control engineering; Sequence (biology); State (computer science); Control system; Software; MATLAB; Actuator; Code generation; Embedded system; Programming language; Engineering; Operating system; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002987116,0.0001473243,0.0003809243,0.0004809742,0.00001842823,0.00004992507,0.0007162336,0.0001514775,0.00000121286],"category_scores_gemma":[0.00014713,0.000146888,0.00006337012,0.0007063722,0.00007944571,0.0004769975,0.00003502174,0.000141101,0.000003850103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001435136,"about_ca_system_score_gemma":0.00006208311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001626597,"about_ca_topic_score_gemma":0.000005889373,"domain_scores_codex":[0.9980067,0.00001260022,0.0008876501,0.0003260903,0.0004735467,0.000293435],"domain_scores_gemma":[0.9981229,0.000214317,0.000668212,0.0002097746,0.0007148213,0.00007001801],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00009956251,0.0001182839,0.01285291,0.0007870416,0.0000145744,0.000007745446,0.0009300208,0.0001386715,0.8539354,0.1257866,0.0002010873,0.005128087],"study_design_scores_gemma":[0.001128777,0.000322584,0.003367487,0.0006932169,0.000008220559,0.00001772792,0.000323752,0.04906188,0.9429622,0.001451919,0.0003912185,0.000271041],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4159284,0.000488445,0.5712367,0.0001318841,0.000225708,0.001272165,0.000003853059,0.0002731042,0.01043974],"genre_scores_gemma":[0.9831433,0.000004781735,0.01671096,0.0000326829,0.00005445807,0.00001619207,5.493785e-7,0.00001214281,0.00002494546],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5672149,"threshold_uncertainty_score":0.5989918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03253425295297331,"score_gpt":0.2751299108373689,"score_spread":0.2425956578843956,"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."}}