{"id":"W3126632993","doi":"10.1109/epec48502.2020.9320092","title":"Event Tree Reliability Analysis of Electrical Power Generation Network using Formal Techniques","year":2020,"lang":"en","type":"article","venue":"2020 IEEE Electric Power and Energy Conference (EPEC)","topic":"Smart Grid Security and Resilience","field":"Engineering","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Reliability (semiconductor); Reliability engineering; Toolbox; Monte Carlo method; Wind power; Formal verification; Electric power system; Power (physics); Algorithm; Engineering; 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.0001872117,0.0002452184,0.0004859228,0.0001613573,0.0001104402,0.00004391808,0.0001981572,0.0001897351,0.00008169272],"category_scores_gemma":[0.0000435335,0.0002307354,0.0001716076,0.001949619,0.000043065,0.0002289932,0.00003458386,0.0002558243,0.000001059726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006363008,"about_ca_system_score_gemma":0.0000884077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006886152,"about_ca_topic_score_gemma":0.00005029805,"domain_scores_codex":[0.9983335,0.00007156422,0.0004536168,0.000371758,0.0002801874,0.0004894165],"domain_scores_gemma":[0.9993454,0.00005787938,0.0000794095,0.0002142351,0.0001110299,0.0001920581],"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.0002790188,0.0002469211,0.00511435,0.00007581279,0.001731032,0.00004626202,0.001956276,0.5049652,0.4242969,0.01923642,0.007584891,0.03446692],"study_design_scores_gemma":[0.0001437516,0.0002744399,0.002382779,0.000009535966,0.000266558,0.000005694813,0.00001377239,0.9437866,0.05042851,0.0001230834,0.002240032,0.0003252577],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6999965,0.001239282,0.2962942,0.0001147566,0.0002719545,0.00009612555,0.000007828741,0.0002230743,0.001756282],"genre_scores_gemma":[0.9980887,0.0007333187,0.0007245105,0.0001690305,0.0002211584,0.00001175571,0.00001590532,0.00001788068,0.00001773582],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4388214,"threshold_uncertainty_score":0.9409115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01175624936159281,"score_gpt":0.2166348780307245,"score_spread":0.2048786286691317,"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."}}