{"id":"W2133435578","doi":"10.1109/tac.2011.2173420","title":"Optimal Supervisory Control of Probabilistic Discrete Event Systems","year":2011,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Supervisor; Probabilistic logic; Supervisory control; Probabilistic relevance model; Generalization; Supervisory control theory; Event (particle physics); Computer science; Probabilistic CTL; Mathematics; Probabilistic analysis of algorithms; Algorithm; Control (management); Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007964692,0.0003120315,0.0006830643,0.0002987731,0.000148188,0.00007611581,0.001013167,0.0001267794,0.00006665383],"category_scores_gemma":[0.00002607485,0.0002732984,0.0002813023,0.0003819252,0.0000943455,0.0003947004,0.000003488449,0.0001850207,0.00007763398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001344441,"about_ca_system_score_gemma":0.0001590358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000119591,"about_ca_topic_score_gemma":0.000009285402,"domain_scores_codex":[0.9970243,0.0003756355,0.00103914,0.0005001,0.0006072933,0.0004535241],"domain_scores_gemma":[0.9977283,0.0004583055,0.0003033113,0.001144932,0.0001912538,0.0001738555],"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.0001697761,0.0009537458,0.00004123498,0.0006836535,0.0006585063,0.00004084359,0.004103708,0.955313,0.003004827,0.005723198,0.0000395144,0.02926803],"study_design_scores_gemma":[0.002309249,0.0003622774,0.0001164036,0.0002565723,0.0001190712,0.00005016908,0.00008779365,0.9956247,0.0006659168,0.0001211684,0.00001933014,0.0002673181],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01883367,0.000176628,0.9774029,0.00007975326,0.001378169,0.001261658,0.00005009909,0.0004526934,0.0003644727],"genre_scores_gemma":[0.9905456,0.000003851237,0.008827903,0.0000632288,0.00002937567,0.0003895206,3.400708e-7,0.00002760929,0.0001126248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9717119,"threshold_uncertainty_score":0.9999719,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03059477529026439,"score_gpt":0.2376141064684751,"score_spread":0.2070193311782107,"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."}}