{"id":"W2112951648","doi":"10.1109/wodes.2006.382510","title":"Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Controllability; Supervisor; Supervisory control; Algorithm; Predicate (mathematical logic); Set (abstract data type); Theoretical computer science; Fixed point; Interface (matter); Programming language; Control (management); Mathematics; Artificial intelligence; Applied mathematics; Parallel computing","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.001038431,0.0003960893,0.0003954006,0.0003804184,0.0003254014,0.0007681084,0.0008121955,0.000453582,0.001469125],"category_scores_gemma":[0.002177391,0.000239421,0.0005123775,0.0002989236,0.001139711,0.0005160572,0.0005464439,0.0006728602,0.0001636743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001145214,"about_ca_system_score_gemma":0.001736485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004405426,"about_ca_topic_score_gemma":0.004105591,"domain_scores_codex":[0.9990558,0.0002129112,0.00006048262,0.0001334029,0.0004026359,0.0001346936],"domain_scores_gemma":[0.9987965,0.000713427,0.0001527299,0.0001250715,0.0001810396,0.00003114275],"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.00009598864,0.00004509516,0.0004921666,0.0001482694,0.00001544014,0.0001064307,0.0001568934,0.8576841,0.03174427,0.08016319,0.0004214566,0.0289267],"study_design_scores_gemma":[0.00002340312,0.00003608559,0.00007995364,0.000008560263,0.000006556081,0.000006626552,0.00001035018,0.9778224,0.01347854,0.007863139,0.0006587515,0.000005689784],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05118031,0.00003696842,0.9447659,0.00005632766,0.00001285783,0.00005533641,0.00009230818,0.001353706,0.002446359],"genre_scores_gemma":[0.7328309,0.00006034095,0.265648,0.00003164051,0.000006952985,0.0001837734,0.0001555057,0.00008545057,0.0009973168],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004405426,"threshold_uncertainty_score":0.008759618,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01959294313369705,"score_gpt":0.2260742003147206,"score_spread":0.2064812571810235,"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."}}