{"id":"W4406727843","doi":"10.1109/tac.2025.3532541","title":"Secure-by-Construction Synthesis for Control Systems","year":2025,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Control system; Control (management); Control engineering; Engineering; Artificial intelligence; Electrical engineering","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.001304547,0.0009075553,0.0005115201,0.0004045274,0.000474195,0.0008582731,0.0005735149,0.000743631,0.002389698],"category_scores_gemma":[0.003011768,0.0003100912,0.0006832994,0.0002421202,0.001403132,0.0008316229,0.001183505,0.001112655,0.0003782192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001031505,"about_ca_system_score_gemma":0.001189203,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001186229,"about_ca_topic_score_gemma":0.001283615,"domain_scores_codex":[0.9991723,0.0002215386,0.00004669677,0.0001395549,0.0003167879,0.0001031168],"domain_scores_gemma":[0.9988486,0.0007208528,0.0001171412,0.0001453275,0.0001433013,0.0000248533],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007224152,0.00003714982,0.0002181838,0.000188173,0.00002190093,0.0001023536,0.0001830831,0.7600096,0.01783246,0.1799902,0.0005242125,0.04082044],"study_design_scores_gemma":[0.00002438165,0.0001129739,0.00004048173,0.00002194383,0.00001032404,0.00002801679,0.00001754537,0.9510847,0.009275185,0.03729298,0.00208192,0.000009574927],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008325616,0.00007255245,0.9885284,0.00006206166,0.00001797807,0.00006592017,0.00001639875,0.0002187472,0.002692322],"genre_scores_gemma":[0.72569,0.000185957,0.2714287,0.00006101499,0.00002468494,0.0003242879,0.00006359712,0.0000976489,0.002124215],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002389698,"threshold_uncertainty_score":0.007994354,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007847604476005406,"score_gpt":0.2381252819033386,"score_spread":0.2302776774273332,"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."}}