{"id":"https://openalex.org/W2314658126","doi":"https://doi.org/10.1109/tsmc.2016.2531681","title":"Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control","display_name":"Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control","publication_year":2016,"publication_date":"2016-03-18","ids":{"openalex":"https://openalex.org/W2314658126","doi":"https://doi.org/10.1109/tsmc.2016.2531681","mag":"2314658126"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2016.2531681","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2016.2531681","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://utoronto.scholaris.ca/bitstreams/fe458931-b349-4b7f-9614-f23f69878c27/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100442268","display_name":"Xi Wang","orcid":"https://orcid.org/0000-0002-6427-8090"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xi Wang","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, Taipa, China","School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, Taipa, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018886883","display_name":"W.M. Wonham","orcid":"https://orcid.org/0000-0002-9918-4481"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Walter Murray Wonham","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100442268"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":6.0795,"has_fulltext":true,"cited_by_count":46,"citation_normalized_percentile":{"value":0.96714,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"47","issue":"7","first_page":"1082","last_page":"1098"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/preemption","display_name":"Preemption","score":0.9040230512619019},{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.8558202385902405},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.7873444557189941},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7200815677642822},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.7059024572372437},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.5801833868026733},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5094547867774963},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.47489967942237854},{"id":"https://openalex.org/keywords/priority-inversion","display_name":"Priority inversion","score":0.47358351945877075},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4463099539279938},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.43464362621307373},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37890762090682983},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37241894006729126},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35166430473327637},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2796138823032379},{"id":"https://openalex.org/keywords/rate-monotonic-scheduling","display_name":"Rate-monotonic scheduling","score":0.2731468677520752},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.25561070442199707},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2404431402683258},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1047549843788147},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10220181941986084}],"concepts":[{"id":"https://openalex.org/C206952183","wikidata":"https://www.wikidata.org/wiki/Q1193100","display_name":"Preemption","level":2,"score":0.9040230512619019},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.8558202385902405},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7873444557189941},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7200815677642822},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.7059024572372437},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.5801833868026733},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5094547867774963},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.47489967942237854},{"id":"https://openalex.org/C172828308","wikidata":"https://www.wikidata.org/wiki/Q520734","display_name":"Priority inversion","level":5,"score":0.47358351945877075},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4463099539279938},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.43464362621307373},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37890762090682983},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37241894006729126},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35166430473327637},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2796138823032379},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.2731468677520752},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.25561070442199707},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2404431402683258},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1047549843788147},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10220181941986084},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tsmc.2016.2531681","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2016.2531681","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},{"id":"pmh:oai:localhost:1807/77608","is_oa":true,"landing_page_url":"http://hdl.handle.net/1807/77608","pdf_url":"https://utoronto.scholaris.ca/bitstreams/fe458931-b349-4b7f-9614-f23f69878c27/download","source":{"id":"https://openalex.org/S4306400261","display_name":"TSpace (University of Toronto)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I185261750","host_organization_name":"University of Toronto","host_organization_lineage":["https://openalex.org/I185261750"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article Post-Print"}],"best_oa_location":{"id":"pmh:oai:localhost:1807/77608","is_oa":true,"landing_page_url":"http://hdl.handle.net/1807/77608","pdf_url":"https://utoronto.scholaris.ca/bitstreams/fe458931-b349-4b7f-9614-f23f69878c27/download","source":{"id":"https://openalex.org/S4306400261","display_name":"TSpace (University of Toronto)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I185261750","host_organization_name":"University of Toronto","host_organization_lineage":["https://openalex.org/I185261750"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article Post-Print"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3341054970","display_name":null,"funder_award_id":"066/2013/A2","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4045105627","display_name":null,"funder_award_id":"066/2013/A2","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G5941766095","display_name":null,"funder_award_id":"61374068","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2314658126.pdf","grobid_xml":"https://content.openalex.org/works/W2314658126.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W194244820","https://openalex.org/W1485093219","https://openalex.org/W1562548608","https://openalex.org/W1751549213","https://openalex.org/W1915570783","https://openalex.org/W1963815056","https://openalex.org/W1965056795","https://openalex.org/W1978545019","https://openalex.org/W1979349468","https://openalex.org/W1993462908","https://openalex.org/W1996763308","https://openalex.org/W2012912569","https://openalex.org/W2022250047","https://openalex.org/W2026048895","https://openalex.org/W2028398328","https://openalex.org/W2034751786","https://openalex.org/W2040262586","https://openalex.org/W2041853864","https://openalex.org/W2048456685","https://openalex.org/W2050837210","https://openalex.org/W2054594691","https://openalex.org/W2059057465","https://openalex.org/W2064207294","https://openalex.org/W2068264613","https://openalex.org/W2072304766","https://openalex.org/W2076665553","https://openalex.org/W2086748818","https://openalex.org/W2093386465","https://openalex.org/W2109488193","https://openalex.org/W2135522804","https://openalex.org/W2161734639","https://openalex.org/W2163338158","https://openalex.org/W2165321755","https://openalex.org/W2169142010","https://openalex.org/W2284540796","https://openalex.org/W4285719527","https://openalex.org/W4302621582","https://openalex.org/W6607920450","https://openalex.org/W6629205730","https://openalex.org/W6642413250"],"related_works":["https://openalex.org/W2097106574","https://openalex.org/W2171342002","https://openalex.org/W4386738165","https://openalex.org/W2598368986","https://openalex.org/W1502721666","https://openalex.org/W2385139534","https://openalex.org/W2357346532","https://openalex.org/W2373399453","https://openalex.org/W2354477941","https://openalex.org/W2314658126"],"abstract_inverted_index":{"This":[0],"paper":[1,45],"presents":[2],"a":[3,91,172],"general":[4],"discrete-event":[5],"system":[6,120],"(DES)-based":[7],"hard":[8],"periodic":[9],"real-time":[10,22,37,161,177],"task":[11,111],"model.":[12],"Based":[13],"on":[14,106],"supervisory":[15],"control":[16,118],"theory":[17],"(SCT),":[18],"an":[19],"optimal":[20],"priority-free":[21],"scheduling":[23,178],"technique":[24],"is":[25,77,97,179],"proposed":[26],"to":[27,54,60,117,121],"process":[28],"all":[29,158],"the":[30,56,65,73,80,89,107,119,127,132,143,147,153,159,176],"tasks":[31],"running":[32],"in":[33,43,115],"uniprocessor":[34],"or":[35],"multiprocessor":[36],"systems":[38],"(RTS).":[39],"The":[40,164],"preemption":[41,93],"relation":[42],"this":[44],"generalizes":[46],"priority-based":[47],"preemption.":[48],"First,":[49],"regular":[50],"languages":[51,66],"are":[52,67,104,139],"utilized":[53],"describe":[55],"processor":[57,75,108],"behavior":[58,76],"related":[59],"each":[61],"task's":[62],"execution.":[63],"Thereafter,":[64],"represented":[68],"by":[69,150,171],"DES":[70,85],"generators.":[71,86],"Finally,":[72,175],"global":[74,144],"generated":[78],"as":[79,146],"synchronous":[81,148],"product":[82],"of":[83,101,131,137],"these":[84],"By":[87],"discarding":[88],"priorities,":[90],"novel":[92],"policy,":[94],"namely":[95],"conditional-preemption,":[96],"developed.":[98],"Two":[99],"sets":[100,136],"conditional-preemption":[102],"specifications":[103,138],"developed,":[105],"level":[109],"and":[110,124],"level,":[112],"respectively.":[113],"Moreover,":[114],"order":[116],"be":[122,168],"nonblocking":[123],"also":[125],"limit":[126],"worst-case":[128],"response":[129],"time":[130],"tasks,":[133],"two":[134],"corresponding":[135],"presented.":[140],"After":[141],"generating":[142],"specification":[145],"product,":[149],"implementing":[151],"SCT":[152],"calculated":[154],"supervisor":[155,165],"can":[156,167],"provide":[157],"safe":[160],"execution":[162],"sequences.":[163],"calculation":[166],"sped":[169],"up":[170],"three-step":[173],"algorithm.":[174],"implemented":[180],"for":[181],"real-world":[182],"examples.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}