{"id":"W2140628553","doi":"10.1109/tac.2006.876806","title":"Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Automaton; Supervisory control theory; Computer science; Timed automaton; Supervisory control; Scheduling (production processes); Automata theory; Discrete event simulation; Discrete event dynamic system; Discrete time and continuous time; Real-time computing; Distributed computing; Discrete system; Theoretical computer science; Control (management); Algorithm; Mathematical optimization; Mathematics; Simulation","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001223057,0.0003847542,0.000856523,0.0005184996,0.0003473943,0.0002140328,0.0007696699,0.0001747242,0.00001702539],"category_scores_gemma":[0.00001537073,0.0003739041,0.000370018,0.0005937699,0.0000699619,0.0006167822,0.000003635076,0.0002118471,0.00002844756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003256381,"about_ca_system_score_gemma":0.0003179836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007006296,"about_ca_topic_score_gemma":0.00001707748,"domain_scores_codex":[0.9962113,0.0004384485,0.001376419,0.0005281206,0.000833357,0.0006123366],"domain_scores_gemma":[0.9974124,0.000719688,0.0005040059,0.001003055,0.0002250166,0.0001357776],"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.00002960093,0.000167016,0.00003665556,0.0002346333,0.0000879306,0.000009871297,0.0001122217,0.9586019,0.03760416,0.0005226631,0.000002321915,0.002591049],"study_design_scores_gemma":[0.003460705,0.000125813,0.00005655023,0.0006294409,0.0001393509,0.00003091921,0.00004035941,0.9917771,0.003316354,0.00006174546,0.00001184024,0.0003498375],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09785346,0.0001687942,0.8993365,0.0001042159,0.0008021548,0.0009868337,0.00004676422,0.0005687959,0.0001324578],"genre_scores_gemma":[0.9635563,0.000002611547,0.0361301,0.00005425844,0.0000759152,0.0001002067,0.000001432717,0.00004061142,0.00003853408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8657029,"threshold_uncertainty_score":0.9998713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0195890290713519,"score_gpt":0.251096496363769,"score_spread":0.2315074672924171,"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."}}