{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003375291,0.0001088063,0.0001423986,0.00009241021,0.0001188049,0.00009548434,0.0006278962,0.00004527466,0.00001406874],"category_scores_gemma":[0.0001429605,0.00006982647,0.0000644653,0.0001271845,0.00002262316,0.000421785,0.0000817754,0.00002708645,0.00003362084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004777387,"about_ca_system_score_gemma":0.0001384874,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003595152,"about_ca_topic_score_gemma":0.000006358676,"domain_scores_codex":[0.9988652,0.00002836131,0.0002462704,0.0003475573,0.000245886,0.0002667264],"domain_scores_gemma":[0.9988314,0.0005745894,0.00005797081,0.0002565002,0.0002147306,0.00006482719],"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.00005780978,0.0001657994,0.006065226,0.0002102482,0.0001419494,0.000009288004,0.0007744178,0.3533347,0.005031536,0.4804147,0.01660679,0.1371876],"study_design_scores_gemma":[0.001337471,0.00003815179,0.000316898,0.00007512041,0.000003399745,0.00002236978,0.0000105272,0.9894683,0.0002577012,0.007309319,0.00098585,0.0001748446],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002522625,0.00007890939,0.9933808,0.002147942,0.0002692725,0.000289938,0.000005974091,0.0002593417,0.001045142],"genre_scores_gemma":[0.7185931,0.000001026075,0.2803679,0.0004970745,0.0001034096,0.00005086473,5.207983e-7,0.000007849448,0.0003782525],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7160705,"threshold_uncertainty_score":0.2847441,"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."}}