{"id":"W2546447209","doi":"10.1109/ccece.2016.7726653","title":"Computational procedures for robust nonblocking supervisory control","year":2016,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Supervisory control; Discrete event dynamic system; Computer science; Bounded function; Event (particle physics); State (computer science); Robust control; Discrete event simulation; Control (management); Mathematical optimization; Discrete time and continuous time; Algorithm; Control theory (sociology); Distributed computing; Control system; Theoretical computer science; Discrete system; Mathematics; Engineering; Simulation; 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.00263226,0.0009273987,0.000799141,0.0007135182,0.001065621,0.001251472,0.002397064,0.0009470874,0.005041162],"category_scores_gemma":[0.009148147,0.0005511829,0.001295183,0.0004287174,0.001891526,0.001544217,0.002637974,0.002607409,0.0008413374],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001356351,"about_ca_system_score_gemma":0.00221295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001373726,"about_ca_topic_score_gemma":0.00176139,"domain_scores_codex":[0.9978116,0.0008145772,0.00009854964,0.000386613,0.000709247,0.0001793496],"domain_scores_gemma":[0.9959053,0.00286342,0.0002173614,0.0005708888,0.0003768858,0.00006605408],"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.0001773995,0.0000862946,0.00023421,0.0002376051,0.00004602782,0.0001183318,0.0003066629,0.3707625,0.01077614,0.5334955,0.0008528249,0.08290652],"study_design_scores_gemma":[0.00002710943,0.00004558514,0.0000694765,0.00003381825,0.00001356632,0.00003408226,0.00003902054,0.8438403,0.006901378,0.1462794,0.002697304,0.0000189878],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001522198,0.00001143661,0.997333,0.00002383221,0.000003457378,0.00002842081,0.00000878763,0.00011341,0.0009554151],"genre_scores_gemma":[0.1758216,0.0000902745,0.8208684,0.00007830315,0.00001871528,0.0005485319,0.0001628958,0.0002227945,0.002188403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005041162,"threshold_uncertainty_score":0.01686436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04580959503642446,"score_gpt":0.2530848924186946,"score_spread":0.2072752973822702,"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."}}