{"id":"W2011184400","doi":"10.3182/20140514-3-fr-4046.00073","title":"A Framework for Supervisory Control of Probabilistic Discrete Event Systems","year":2014,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Probabilistic logic; Supervisory control; Event (particle physics); Markov decision process; Probabilistic relevance model; Probabilistic CTL; Markov chain; Control (management); Measure (data warehouse); Mathematics; Similarity (geometry); Computer science; Markov process; Theoretical computer science; Mathematical optimization; Probabilistic analysis of algorithms; Artificial intelligence; Machine learning; Data mining; Statistics","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.001258374,0.0002442297,0.000547856,0.0001475306,0.0001336018,0.0002445599,0.001251867,0.0001634746,0.000001763452],"category_scores_gemma":[0.001297357,0.0002179961,0.0001631217,0.0003516451,0.00007714133,0.0005035999,0.0001714909,0.0001545474,0.00001047583],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008115953,"about_ca_system_score_gemma":0.00006491162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000255595,"about_ca_topic_score_gemma":7.852849e-7,"domain_scores_codex":[0.9977115,0.00003090898,0.00067435,0.0006041838,0.0004907611,0.0004883097],"domain_scores_gemma":[0.9980972,0.0004237174,0.000377921,0.0004009085,0.000566645,0.0001335448],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003886428,0.00007487236,0.004896162,0.001796318,0.00007994493,4.311365e-7,0.001937695,0.002956669,0.001618417,0.9805166,0.0006858853,0.005398099],"study_design_scores_gemma":[0.0005855283,0.0002511913,0.0002442926,0.0006128009,0.00002909439,0.00001354853,0.0001482553,0.9550439,0.0002929081,0.03998892,0.002497168,0.0002923914],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0363261,0.0005976986,0.9602786,0.0003099076,0.0007504816,0.0010222,0.00001317307,0.0002408603,0.0004609906],"genre_scores_gemma":[0.9244633,0.000004529591,0.07467764,0.00006824669,0.0002662459,0.0003535783,9.636982e-7,0.00002694549,0.0001385625],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9520872,"threshold_uncertainty_score":0.8889624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02549161442273919,"score_gpt":0.259274075027449,"score_spread":0.2337824606047098,"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."}}