{"id":"W4385588175","doi":"10.1007/978-3-030-97940-9_81","title":"Reliability Analysis of Smart Grids Using Formal Methods","year":2023,"lang":"en","type":"book-chapter","venue":"","topic":"Smart Grid Security and Resilience","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Reliability engineering; Reliability (semiconductor); Computer science; Reliability block diagram; Renewable energy; Wind power; Smart grid; Electric power system; Fault tree analysis; Power (physics); Engineering; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006652056,0.0002582211,0.0007073896,0.0005558837,0.00004683269,0.00001255825,0.0002192104,0.0003819209,0.0005156384],"category_scores_gemma":[0.00004405045,0.0002314237,0.0005232226,0.0003167271,0.0001035529,0.0001117315,0.0001084358,0.0003399533,0.00002573521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006946767,"about_ca_system_score_gemma":0.00002741374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006884531,"about_ca_topic_score_gemma":0.0001084496,"domain_scores_codex":[0.9987081,0.00001973194,0.0005077992,0.0002627054,0.0002479931,0.0002537147],"domain_scores_gemma":[0.9990255,0.0002265263,0.00007062355,0.0005211703,0.00008048952,0.00007564627],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000341221,0.00002626392,0.0003898757,0.00128892,0.006642275,0.00002524499,0.0006560316,0.8823399,0.001661491,0.09447572,0.001415964,0.01104419],"study_design_scores_gemma":[0.0001385297,0.00005199701,0.001687267,0.0001403244,0.003762249,0.000003861966,0.00004300973,0.9492208,0.002268079,0.005475073,0.03634853,0.0008603261],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.005801047,0.0004771347,0.1826293,0.00001194714,0.002518203,0.0003356081,0.0001590225,0.0009058535,0.8071619],"genre_scores_gemma":[0.06460762,0.002733928,0.2092964,0.0001207147,0.001152124,0.00002729149,0.0003581465,0.0006286198,0.7210752],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08900064,"threshold_uncertainty_score":0.9437184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03459852696066998,"score_gpt":0.2973736411667987,"score_spread":0.2627751142061288,"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."}}