{"id":"https://openalex.org/W2902394457","doi":"https://doi.org/10.23919/ecc.2018.8550369","title":"Exact Task Completion Time Aware Real-Time Scheduling Based on Supervisory Control Theory of Timed DES","display_name":"Exact Task Completion Time Aware Real-Time Scheduling Based on Supervisory Control Theory of Timed DES","publication_year":2018,"publication_date":"2018-06-01","ids":{"openalex":"https://openalex.org/W2902394457","doi":"https://doi.org/10.23919/ecc.2018.8550369","mag":"2902394457"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2018.8550369","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2018.8550369","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053055736","display_name":"Rajesh Devaraj","orcid":"https://orcid.org/0000-0002-4481-102X"},"institutions":[{"id":"https://openalex.org/I1317621060","display_name":"Indian Institute of Technology Guwahati","ror":"https://ror.org/0022nd079","country_code":"IN","type":"education","lineage":["https://openalex.org/I1317621060"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rajesh Devaraj","raw_affiliation_strings":["Department of CSE, Indian Institute of Technology Guwahati, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of CSE, Indian Institute of Technology Guwahati, India","institution_ids":["https://openalex.org/I1317621060"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100716392","display_name":"Arnab Sarkar","orcid":"https://orcid.org/0000-0002-5930-2180"},"institutions":[{"id":"https://openalex.org/I1317621060","display_name":"Indian Institute of Technology Guwahati","ror":"https://ror.org/0022nd079","country_code":"IN","type":"education","lineage":["https://openalex.org/I1317621060"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arnab Sarkar","raw_affiliation_strings":["Department of CSE, Indian Institute of Technology Guwahati, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of CSE, Indian Institute of Technology Guwahati, India","institution_ids":["https://openalex.org/I1317621060"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052215348","display_name":"Santosh Biswas","orcid":"https://orcid.org/0000-0003-3020-4154"},"institutions":[{"id":"https://openalex.org/I1317621060","display_name":"Indian Institute of Technology Guwahati","ror":"https://ror.org/0022nd079","country_code":"IN","type":"education","lineage":["https://openalex.org/I1317621060"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Santosh Biswas","raw_affiliation_strings":["Department of CSE, Indian Institute of Technology Guwahati, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of CSE, Indian Institute of Technology Guwahati, India","institution_ids":["https://openalex.org/I1317621060"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7126,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72300415,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"50","issue":null,"first_page":"1908","last_page":"1913"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"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.9995999932289124,"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.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8527859449386597},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8072071075439453},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.666670560836792},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6573203802108765},{"id":"https://openalex.org/keywords/provisioning","display_name":"Provisioning","score":0.5598379373550415},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.5413496494293213},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.5398399829864502},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.46584853529930115},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4540747404098511},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.4455926716327667},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.42175206542015076},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.37103158235549927},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.33682236075401306},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13465136289596558},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.12124088406562805},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1204855740070343},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1030072271823883},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.0950639545917511}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8527859449386597},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8072071075439453},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.666670560836792},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6573203802108765},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.5598379373550415},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.5413496494293213},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.5398399829864502},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.46584853529930115},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4540747404098511},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.4455926716327667},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.42175206542015076},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37103158235549927},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.33682236075401306},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13465136289596558},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.12124088406562805},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1204855740070343},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1030072271823883},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0950639545917511},{"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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc.2018.8550369","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2018.8550369","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/1","display_name":"No poverty","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1562548608","https://openalex.org/W2047870913","https://openalex.org/W2076285066","https://openalex.org/W2137784941","https://openalex.org/W2140628553","https://openalex.org/W2154148696","https://openalex.org/W2170091282","https://openalex.org/W2171399120","https://openalex.org/W2284540796","https://openalex.org/W2314658126","https://openalex.org/W2343873169","https://openalex.org/W2522880003","https://openalex.org/W2607135713","https://openalex.org/W2735274272","https://openalex.org/W2766522820","https://openalex.org/W3161476343","https://openalex.org/W6698698497"],"related_works":["https://openalex.org/W2382992246","https://openalex.org/W2162712621","https://openalex.org/W4238590755","https://openalex.org/W2098906570","https://openalex.org/W2172083724","https://openalex.org/W2971012351","https://openalex.org/W2358241609","https://openalex.org/W2169597155","https://openalex.org/W2135155064","https://openalex.org/W2538183885"],"abstract_inverted_index":{"Real-time":[0],"scheduling":[1,57],"strategies":[2,26],"for":[3,22,38,66,112],"safety-critical":[4],"applications":[5],"are":[6,64],"primarily":[7],"focused":[8],"towards":[9],"ensuring":[10],"correctness,":[11],"both":[12],"functional":[13],"and":[14,126,170],"temporal.":[15],"However,":[16],"in":[17,42,86,154],"order":[18],"to":[19,28,82,130,138,156,172],"guarantee":[20],"deadlines":[21],"critical":[23,67],"tasks,":[24,39],"such":[25],"tend":[27],"assume":[29],"very":[30,84],"conservative":[31],"Worst":[32],"Case":[33],"Execution":[34],"Time":[35],"(WCET)":[36],"estimates":[37],"thus":[40],"resulting":[41],"poor":[43],"resource":[44],"utilization.":[45],"One":[46],"way":[47],"of":[48,56,101,107,122,135,140,146,150,176],"improving":[49],"this":[50,93],"situation":[51],"is":[52],"through":[53],"the":[54,128,173],"evolution":[55],"mechanisms":[58],"that":[59],"can":[60,117],"reclaim":[61],"resources":[62,79,151],"which":[63,116,158],"provisioned":[65],"functionalities":[68],"at":[69,75,124,152],"design":[70],"time,":[71],"but":[72],"remain":[73],"unused":[74],"run-time.":[76],"Such":[77],"reclaimed":[78],"may":[80],"prove":[81],"be":[83,131],"useful":[85],"executing":[87],"lower":[88],"criticality":[89],"besteffort":[90],"tasks.":[91,141],"In":[92],"work,":[94],"we":[95],"present":[96],"a":[97,147],"Supervisory":[98],"Control":[99],"Theory":[100],"Timed":[102],"Discrete":[103],"Event":[104],"Systems":[105],"(SCT":[106],"TDES)":[108],"based":[109],"formal":[110],"mechanism":[111],"synthesizing":[113],"non-preemptive":[114],"schedulers":[115],"recognize":[118],"exact":[119],"completion":[120],"times":[121],"tasks":[123],"runtime":[125],"allow":[127],"processor":[129],"immediately":[132],"relinquished":[133],"instead":[134],"waiting":[136],"up":[137],"WCETs":[139],"This":[142],"approach":[143],"allows":[144],"reclamation":[145],"higher":[148],"amount":[149],"run-time":[153],"comparison":[155],"models":[157],"consider":[159],"worst-case":[160],"execution":[161],"time":[162],"only.":[163],"Conducted":[164],"experiments":[165],"have":[166],"shown":[167],"promising":[168],"results":[169],"indicate":[171],"practical":[174],"efficacy":[175],"our":[177],"approach.":[178]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}