{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001645241,0.0009431604,0.001160196,0.0007516333,0.0008014094,0.001948203,0.002204679,0.001112155,0.003560348],"category_scores_gemma":[0.002338885,0.0006393638,0.001631157,0.0007454132,0.00152048,0.001962256,0.001935675,0.002438341,0.0008116439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007709482,"about_ca_system_score_gemma":0.001920865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002806912,"about_ca_topic_score_gemma":0.003498062,"domain_scores_codex":[0.9989905,0.0002411962,0.0000746396,0.0002182907,0.0003684314,0.0001069459],"domain_scores_gemma":[0.9991929,0.0003947819,0.00007255235,0.0001239564,0.0001343807,0.00008142614],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005852074,0.00004720165,0.0001438605,0.0001406799,0.00005612909,0.000252228,0.00016955,0.2626382,0.003819232,0.6930041,0.001570142,0.03810015],"study_design_scores_gemma":[0.00003366239,0.00006800321,0.00009545334,0.00004179751,0.00003492079,0.00007685114,0.0000260099,0.6888341,0.001060918,0.2975971,0.01210695,0.00002430867],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007616275,0.0001662102,0.9975634,0.00007112217,0.00004236155,0.00001920473,0.0000271385,0.0002200934,0.001128933],"genre_scores_gemma":[0.2876273,0.00120277,0.7032481,0.0001759676,0.0004037728,0.0004394495,0.000258377,0.0002031233,0.006441158],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003560348,"threshold_uncertainty_score":0.0119105,"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."}}