{"id":"W2314658126","doi":"10.1109/tsmc.2016.2531681","title":"Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control","year":2016,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics Systems","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Science and Technology Development Fund; National Natural Science Foundation of China","keywords":"Preemption; Uniprocessor system; Supervisor; Computer science; Supervisory control theory; Multiprocessing; Scheduling (production processes); Real-time operating system; Priority inversion; Supervisory control; Real-time computing; Distributed computing; Parallel computing; Embedded system; Control (management); Rate-monotonic scheduling; Dynamic priority scheduling; Operating system; Mathematical optimization; Mathematics","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.00132153,0.0005806607,0.001015034,0.0005544,0.0004216528,0.0004321039,0.001098186,0.000345034,0.00002657978],"category_scores_gemma":[0.00004037236,0.0004633662,0.0002734928,0.0003927457,0.0004047588,0.0005610135,0.00001444135,0.0002924287,0.0001550487],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000285119,"about_ca_system_score_gemma":0.0002537159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000747433,"about_ca_topic_score_gemma":0.00001714406,"domain_scores_codex":[0.9950617,0.0008769091,0.001262484,0.001014138,0.001116635,0.0006681435],"domain_scores_gemma":[0.9958835,0.001055061,0.0005419665,0.001624444,0.000501842,0.0003932343],"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.0007259888,0.001468916,0.001319676,0.003054538,0.00127407,0.000171931,0.00478245,0.7928666,0.1638859,0.02476574,0.0003968076,0.005287381],"study_design_scores_gemma":[0.0102405,0.002417653,0.002040659,0.007287981,0.0002380999,0.0003872383,0.001345792,0.9649099,0.008867409,0.0001646169,0.0003651612,0.001735067],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1857994,0.0003279963,0.8088648,0.0001233155,0.001152961,0.001295115,0.0002724669,0.0002863237,0.001877566],"genre_scores_gemma":[0.9937479,0.00006558142,0.004375936,0.00002704096,0.0001617272,0.0002581053,0.000003638522,0.00006807538,0.001292028],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8079485,"threshold_uncertainty_score":0.9997818,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01607328337765222,"score_gpt":0.2212362122154326,"score_spread":0.2051629288377804,"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."}}