{"id":"W2012006165","doi":"10.1080/0020717031000088210","title":"A method for the modular synthesis of controllers for timed discrete-event systems","year":2003,"lang":"en","type":"article","venue":"International Journal of Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada","funders":"","keywords":"Modular design; Computer science; Predicate (mathematical logic); State space; Supervisory control; Computation; Control theory (sociology); Invariant (physics); Control engineering; Theoretical computer science; Algorithm; Mathematics; Control (management); Programming language; Artificial intelligence; Engineering","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.003669683,0.0001242664,0.0004490506,0.0001865254,0.00006003764,0.000130081,0.001461592,0.00005105439,0.000002996752],"category_scores_gemma":[0.001712787,0.00007983775,0.0004551945,0.00007966027,0.00002505841,0.0002579137,0.00002585073,0.00008588638,6.94933e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001122426,"about_ca_system_score_gemma":0.0001830217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009307949,"about_ca_topic_score_gemma":9.443505e-7,"domain_scores_codex":[0.9978224,0.0002585679,0.0009035505,0.0001498988,0.0006834859,0.0001820684],"domain_scores_gemma":[0.992079,0.005082936,0.001066545,0.0002417761,0.001466962,0.00006282583],"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.0008305419,0.0001215275,0.0000880106,0.00004909633,0.003096915,0.00001263092,0.0003199445,0.7742403,0.007183539,0.1861683,0.001063828,0.02682538],"study_design_scores_gemma":[0.00380957,0.0001162864,0.0000196687,0.0001370018,0.0001060836,0.000131439,0.00007596535,0.9800667,0.001806687,0.002409959,0.0112313,0.00008930555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002792909,0.001371828,0.9930589,0.002287325,0.002228116,0.0006147244,0.00004092255,0.000008126019,0.0001107424],"genre_scores_gemma":[0.9224613,0.0000147656,0.07690848,0.0001378171,0.0002728052,0.0001206749,2.25094e-7,0.00001103063,0.00007287026],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.922182,"threshold_uncertainty_score":0.3255689,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01698347292885335,"score_gpt":0.3106320720172421,"score_spread":0.2936485990883888,"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."}}