{"id":"W4295308437","doi":"10.1109/tac.2022.3205867","title":"A worst-case approach to safety and reference tracking for cyber-physical systems under network attacks","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Cyber-physical system; Reachability; Computer science; Controller (irrigation); Control theory (sociology); Voronoi diagram; Exploit; State space; Mathematics; Control (management); 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.003420163,0.001886447,0.001123966,0.001089605,0.0009035066,0.003016369,0.002267348,0.001800367,0.00299773],"category_scores_gemma":[0.00774664,0.0005898291,0.001737324,0.0006912085,0.002725924,0.002748223,0.002467975,0.002610768,0.0004224698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001858874,"about_ca_system_score_gemma":0.001356775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00173237,"about_ca_topic_score_gemma":0.001412305,"domain_scores_codex":[0.9968666,0.0010051,0.0001370858,0.0007989067,0.0008569984,0.000335134],"domain_scores_gemma":[0.9963583,0.002134098,0.0004128896,0.0003887624,0.0005546015,0.000151315],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007165332,0.00003903462,0.0002406591,0.0001292715,0.00005141001,0.0001898761,0.0001104583,0.8589401,0.002427594,0.1253791,0.0006698071,0.01175103],"study_design_scores_gemma":[0.000004817322,0.00006289396,0.00005796556,0.00001408082,0.00001798052,0.00004686241,0.00001941642,0.9553007,0.000984385,0.04272569,0.0007550544,0.00001016202],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003026606,0.000207707,0.9935877,0.0001723932,0.00003809495,0.00001637498,0.00001603313,0.0000498503,0.002885234],"genre_scores_gemma":[0.8446515,0.000892378,0.146085,0.0002983552,0.0003723231,0.0002379182,0.0001359283,0.0001509266,0.007175654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003420163,"threshold_uncertainty_score":0.01808774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0185204069278364,"score_gpt":0.2394861699842881,"score_spread":0.2209657630564517,"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."}}