{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004122281,0.0003791123,0.0003591351,0.0002081554,0.0002346545,0.0003899755,0.0006481888,0.0002243306,0.000806205],"category_scores_gemma":[0.0007598712,0.0001502447,0.0003387163,0.0001841105,0.0004454332,0.0004003416,0.0003087051,0.0004318688,0.0001111936],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004605868,"about_ca_system_score_gemma":0.000859579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002260769,"about_ca_topic_score_gemma":0.001827963,"domain_scores_codex":[0.9996201,0.00008642026,0.00002378253,0.00008355825,0.0001364645,0.00004966784],"domain_scores_gemma":[0.9997084,0.00011367,0.00005330383,0.00003804527,0.00006428205,0.00002239834],"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.000154912,0.00006018452,0.0004711198,0.00008908108,0.00001594483,0.0001290526,0.0001002124,0.918566,0.01769083,0.03282816,0.0004887736,0.02940576],"study_design_scores_gemma":[0.00001100635,0.00004058547,0.00007454147,0.000001789447,0.000003561703,0.00001153689,0.000003818032,0.9952214,0.001822585,0.002476182,0.0003294735,0.000003446901],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04937492,0.0001247263,0.9470921,0.00004944718,0.00002933031,0.00004319,0.00003083826,0.0002681655,0.002987296],"genre_scores_gemma":[0.9392653,0.0001013016,0.05894859,0.00001998823,0.00001547531,0.00007961084,0.00006412933,0.00002791921,0.001477641],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002260769,"threshold_uncertainty_score":0.004495144,"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."}}