{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002523354,0.0006612492,0.0004890658,0.0005475364,0.000344865,0.001714429,0.00132593,0.0006206843,0.001916681],"category_scores_gemma":[0.002903526,0.0004063886,0.001078349,0.0004722655,0.001719806,0.002361194,0.001159924,0.001556962,0.0003223465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008431379,"about_ca_system_score_gemma":0.001826298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002717703,"about_ca_topic_score_gemma":0.002414976,"domain_scores_codex":[0.9984824,0.0003655814,0.0001766295,0.0002574907,0.0005475986,0.0001702075],"domain_scores_gemma":[0.9984906,0.0007551869,0.0002358713,0.0001934777,0.0002401349,0.00008475516],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007778059,0.00008934434,0.0005113993,0.0002415572,0.00005177293,0.0003980777,0.0004762415,0.3346394,0.009017652,0.62085,0.001008934,0.03263781],"study_design_scores_gemma":[0.00007447917,0.00009193933,0.0001359159,0.0000618611,0.00004008943,0.00009169267,0.00006083185,0.7802211,0.005610601,0.2032774,0.01030605,0.00002807732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005657742,0.0002317451,0.9909862,0.000141878,0.0001024389,0.00005138496,0.00004256921,0.000281264,0.002504765],"genre_scores_gemma":[0.4958004,0.00109829,0.4988576,0.0001744179,0.0002526061,0.0003305086,0.0002038463,0.0001409584,0.003141233],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002717703,"threshold_uncertainty_score":0.01334488,"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."}}