{"id":"W2076758153","doi":"10.1016/j.matcom.2005.11.009","title":"Grid automata and supervisory control of dense real-time discrete event systems","year":2005,"lang":"en","type":"article","venue":"Mathematics and Computers in Simulation","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Supervisory control; Automaton; Computer science; Controllability; Generalization; Timed automaton; Context (archaeology); Supervisory control theory; Event (particle physics); Grid; State space; Transition system; State (computer science); Theoretical computer science; Granularity; Discrete event dynamic system; Automata theory; Distributed computing; Mathematics; Control (management); Algorithm; Discrete system; Applied mathematics; Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.0004614127,0.0003212491,0.0006946831,0.0003361984,0.000373617,0.0009138084,0.0007924202,0.0004314299,0.002277338],"category_scores_gemma":[0.002260112,0.0002220193,0.0003767787,0.0004110215,0.0013225,0.001089419,0.0008789875,0.0007981833,0.000180196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006331155,"about_ca_system_score_gemma":0.0007505016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005766515,"about_ca_topic_score_gemma":0.004932178,"domain_scores_codex":[0.9996772,0.00009578429,0.00002213051,0.00007065392,0.00008685253,0.00004732762],"domain_scores_gemma":[0.9986229,0.0007887843,0.0001758286,0.0001602007,0.0001857722,0.00006649521],"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.0001609092,0.00003207288,0.0005673009,0.00006671531,0.00002960457,0.0001486111,0.000180404,0.6844323,0.002630113,0.2927923,0.000736345,0.01822331],"study_design_scores_gemma":[0.00002991674,0.00001981223,0.0001503861,0.000006846034,0.000006560934,0.00001993765,0.00002469441,0.8360486,0.0006186236,0.1622738,0.0007943963,0.000006372084],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07086344,0.0003289487,0.921525,0.0003184249,0.0001212073,0.00002707966,0.0001095713,0.000606916,0.006099481],"genre_scores_gemma":[0.9684103,0.0002326589,0.02904797,0.0000408253,0.00002991138,0.00006154896,0.00007609362,0.00003569921,0.002065107],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005766515,"threshold_uncertainty_score":0.01146591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01972517259454367,"score_gpt":0.2533816509360215,"score_spread":0.2336564783414778,"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."}}