{"id":"W1577803140","doi":"10.1109/mwscas.1993.343043","title":"Supervisory control of probabilistic discrete event systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Probabilistic logic; Class (philosophy); Supervisory control; Event (particle physics); Theoretical computer science; Computer science; Computation; Control (management); Discrete mathematics; Algorithm; Mathematics; 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.001251027,0.0004553689,0.000544337,0.0002575758,0.000418207,0.001075498,0.0009473875,0.00056141,0.001684407],"category_scores_gemma":[0.003724754,0.0002295627,0.000479555,0.0002891077,0.001221437,0.001142223,0.001209234,0.001122101,0.000191502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005425039,"about_ca_system_score_gemma":0.001084058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001654093,"about_ca_topic_score_gemma":0.001203611,"domain_scores_codex":[0.9991071,0.0002030799,0.00005862299,0.0002371197,0.0003140424,0.00008005785],"domain_scores_gemma":[0.998126,0.001227267,0.0002227407,0.0001476404,0.0002058768,0.0000704798],"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.0001140646,0.00004637461,0.0005662805,0.0002311096,0.00003600172,0.0002567518,0.0002644054,0.7211723,0.007529561,0.2192832,0.001093465,0.04940654],"study_design_scores_gemma":[0.00002156092,0.00003924602,0.0001076674,0.00001154584,0.000007241219,0.00003662209,0.00001996069,0.9257551,0.001837299,0.07001509,0.002140676,0.000007980579],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01498215,0.0002628594,0.9812481,0.0001869651,0.00005674924,0.00003128033,0.0000347303,0.000342954,0.002854165],"genre_scores_gemma":[0.9258769,0.0004796964,0.07026901,0.00009451758,0.00009183824,0.0001588153,0.0001136947,0.00004833691,0.002867311],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001684407,"threshold_uncertainty_score":0.006616116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04064466481814433,"score_gpt":0.2329930105969263,"score_spread":0.1923483457787819,"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."}}