{"id":"W1516346439","doi":"10.1109/cdc.1993.325595","title":"Modular supervisory control of timed discrete-event systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Correctness; Modular design; Event (particle physics); Supervisor; Computer science; Supervisory control theory; Task (project management); Control (management); Software; Forcing (mathematics); Programming language; Theoretical computer science; Artificial intelligence; Mathematics; Engineering; Systems 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008589251,0.0004598456,0.0004338521,0.0003299476,0.0002920715,0.0007147449,0.000703073,0.0002743139,0.001314229],"category_scores_gemma":[0.001691839,0.0002206991,0.0005156851,0.0002120861,0.0009033345,0.0006643812,0.001033795,0.0005936691,0.0001961954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004031438,"about_ca_system_score_gemma":0.0006032409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008754935,"about_ca_topic_score_gemma":0.0009536303,"domain_scores_codex":[0.9994124,0.0001365307,0.00004492014,0.0001463134,0.0001710762,0.00008871011],"domain_scores_gemma":[0.9991947,0.0003478312,0.0001340121,0.0001232288,0.0001134954,0.00008672496],"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.000426219,0.00009358883,0.0008446415,0.0002426401,0.00006809714,0.0003991907,0.0004795051,0.6760021,0.06550281,0.1512141,0.0009759689,0.1037512],"study_design_scores_gemma":[0.0000734483,0.0001299278,0.0002753955,0.00001485057,0.00002642349,0.00004453497,0.00001816593,0.9449244,0.01033249,0.04137002,0.00277366,0.00001667571],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03342191,0.0001815325,0.9629257,0.00007271302,0.00004760403,0.00004559691,0.00003211327,0.0008527956,0.002420098],"genre_scores_gemma":[0.9124368,0.0001966018,0.08545708,0.00003716994,0.00004977048,0.0001218229,0.00007044916,0.00004416836,0.001586125],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001314229,"threshold_uncertainty_score":0.00454247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03391703224365101,"score_gpt":0.2248582867285746,"score_spread":0.1909412544849236,"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."}}