{"id":"W2142570643","doi":"10.1109/tac.2009.2024376","title":"Probabilistic Supervisory Control of Probabilistic Discrete Event Systems","year":2009,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Supervisor; Supervisory control; Probabilistic logic; Generalization; Probabilistic CTL; Event (particle physics); Probabilistic relevance model; Computer science; Supervisory control theory; Computation; Control (management); Probabilistic analysis of algorithms; Mathematics; 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.00140843,0.0006083478,0.0007013686,0.0003264153,0.0004705559,0.001091649,0.001238873,0.0005253087,0.001271975],"category_scores_gemma":[0.005109803,0.0003258724,0.0004755476,0.0003840559,0.001231861,0.001070412,0.00127541,0.001056936,0.0001792461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005150815,"about_ca_system_score_gemma":0.001043562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00193246,"about_ca_topic_score_gemma":0.001475727,"domain_scores_codex":[0.9986935,0.0003144895,0.00007892407,0.0003136894,0.0004627455,0.0001366253],"domain_scores_gemma":[0.997426,0.001610644,0.000379361,0.0001765414,0.000321307,0.00008617566],"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.0001536286,0.00005094476,0.0004632091,0.000161448,0.00003441728,0.0002080673,0.0001562688,0.8710376,0.005236962,0.07913729,0.0006856996,0.04267449],"study_design_scores_gemma":[0.00002523966,0.00004839435,0.0001037855,0.000007518577,0.000008568016,0.00003160323,0.00001094319,0.9669034,0.001355327,0.03058726,0.0009093694,0.000008642852],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02000007,0.0003023517,0.9762645,0.0001697523,0.00004987953,0.00003802561,0.00004008319,0.0004772713,0.00265814],"genre_scores_gemma":[0.9547516,0.0003260605,0.04322903,0.00006135255,0.00006553355,0.0001068963,0.0000697774,0.00003337876,0.001356314],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00193246,"threshold_uncertainty_score":0.007448554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01937560508312284,"score_gpt":0.2438522378991833,"score_spread":0.2244766328160605,"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."}}