{"id":"https://openalex.org/W4413194603","doi":"https://doi.org/10.1145/3760528","title":"A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems","display_name":"A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems","publication_year":2025,"publication_date":"2025-08-12","ids":{"openalex":"https://openalex.org/W4413194603","doi":"https://doi.org/10.1145/3760528"},"language":"en","primary_location":{"id":"doi:10.1145/3760528","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3760528","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-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/A5026459714","display_name":"Debasish Banerjee","orcid":null},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"education","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Debarpita Banerjee","raw_affiliation_strings":["Computer and Communication Sciences Division, Indian Statistical Institute","Computer and Communication Sciences Division, Indian Statistical Institute, Kolkata-700108, India"],"affiliations":[{"raw_affiliation_string":"Computer and Communication Sciences Division, Indian Statistical Institute","institution_ids":["https://openalex.org/I6498739"]},{"raw_affiliation_string":"Computer and Communication Sciences Division, Indian Statistical Institute, Kolkata-700108, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065269963","display_name":"Parasara Sridhar Duggirala","orcid":"https://orcid.org/0000-0002-8871-0298"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Parasara Sridhar Duggirala","raw_affiliation_strings":["Computer Science, University of North Carolina at Chapel Hill College of Arts and Sciences","Computer Science, University of North Carolina at Chapel Hill College of Arts and Sciences, Chapel Hill, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science, University of North Carolina at Chapel Hill College of Arts and Sciences","institution_ids":["https://openalex.org/I114027177"]},{"raw_affiliation_string":"Computer Science, University of North Carolina at Chapel Hill College of Arts and Sciences, Chapel Hill, United States","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069623823","display_name":"B. K. Ghosh","orcid":"https://orcid.org/0000-0002-1371-2803"},"institutions":[{"id":"https://openalex.org/I2800507078","display_name":"University of Alabama System","ror":"https://ror.org/051fvmk98","country_code":"US","type":"education","lineage":["https://openalex.org/I2800507078"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bineet Ghosh","raw_affiliation_strings":["Computer Science, The University of Alabama System","Computer Science, The University of Alabama System, Tuscaloosa, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science, The University of Alabama System","institution_ids":["https://openalex.org/I2800507078"]},{"raw_affiliation_string":"Computer Science, The University of Alabama System, Tuscaloosa, United States","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091709950","display_name":"Sumana Ghosh","orcid":"https://orcid.org/0000-0002-5999-3313"},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"education","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sumana Ghosh","raw_affiliation_strings":["Computer and Communication Sciences Division, Indian Statistical Institute","Computer and Communication Sciences Division, Indian Statistical Institute, Kolkata-700108, India"],"affiliations":[{"raw_affiliation_string":"Computer and Communication Sciences Division, Indian Statistical Institute","institution_ids":["https://openalex.org/I6498739"]},{"raw_affiliation_string":"Computer and Communication Sciences Division, Indian Statistical Institute, Kolkata-700108, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5026459714"],"corresponding_institution_ids":["https://openalex.org/I6498739"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27093781,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"5s","first_page":"1","last_page":"26"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9850999712944031,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.972100019454956,"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/schedule","display_name":"Schedule","score":0.5847035646438599},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.459231972694397},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4501414895057678},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1462155282497406},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09667149186134338}],"concepts":[{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5847035646438599},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.459231972694397},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4501414895057678},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1462155282497406},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09667149186134338}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3760528","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3760528","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W2133620399","https://openalex.org/W2292163614","https://openalex.org/W2570060561","https://openalex.org/W2610014485","https://openalex.org/W2759883963","https://openalex.org/W2760380815","https://openalex.org/W2950443172","https://openalex.org/W2996020468","https://openalex.org/W3005927325","https://openalex.org/W3128159658","https://openalex.org/W3149800928","https://openalex.org/W4285156715","https://openalex.org/W4291653317","https://openalex.org/W4312199003","https://openalex.org/W4364302722","https://openalex.org/W4393614387"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Real-time":[0],"scheduling":[1],"of":[2,48,70,82,93,159,212,258,266],"multiple":[3],"control":[4,53,83,119,122,161,168,177,202,238],"tasks":[5,37,84],"in":[6,60,76,216,262,280],"a":[7,19,42,52,97,101,126,132,150,217],"weakly":[8,133,151,236],"hard":[9,134,152,237],"setting":[10],"is":[11,29,224],"an":[12,180],"emerging":[13],"research":[14,71],"direction,":[15],"as":[16,270,272],"it":[17],"offers":[18],"more":[20],"flexible":[21],"and":[22,109,121,128,144,170,204,232],"feasible":[23],"environment":[24],"for":[25,32,45,131,179,235],"task":[26,54,135,239],"scheduling.":[27],"This":[28],"especially":[30],"pertinent":[31],"resource-constrained":[33],"embedded":[34],"applications":[35],"where":[36,146],"are":[38],"allowed":[39],"to":[40,124,228],"miss":[41],"few":[43],"deadlines":[44],"prudent":[46],"sharing":[47],"computational":[49],"resources.":[50],"However,":[51,91],"missing":[55],"its":[56,274,278],"deadline":[57],"could":[58],"result":[59],"the":[61,77,80,87,107,156,185,198,208,214,225,256,259,267],"system":[62],"being":[63],"unsafe":[64],"or":[65,89,100],"unstable.":[66],"A":[67],"significant":[68],"amount":[69],"efforts":[72],"have":[73],"been":[74],"reported":[75],"literature":[78],"addressing":[79],"schedulability":[81,233],"while":[85,206],"preserving":[86],"stability":[88,110,120,158,166,203],"safety.":[90],"all":[92,213],"them":[94],"focus":[95],"on":[96],"stable":[98,129],"schedule":[99,130,199],"safe":[102,127],"schedule,":[103],"but":[104],"not":[105],"both":[106,118],"safety":[108,123,169,178,205],"aspects":[111],"together.":[112],"In":[113,137,252],"this":[114,223],"work,":[115],"we":[116,139,147,164,196,254],"ensure":[117],"generate":[125],"system.":[136],"particular,":[138],"gradually":[140],"endorse":[141],"stability,":[142,230],"safety,":[143,231],"schedulability,":[145],"first":[148,226],"synthesize":[149,197],"constraint":[153],"that":[154,175,200],"preserves":[155],"desired":[157],"each":[160],"task.":[162],"Next,":[163],"correlate":[165],"with":[167,264],"establish":[171],"some":[172,265],"mathematical":[173],"results":[174],"guarantee":[176],"unbounded":[181],"time":[182,211],"horizon,":[183],"unlike":[184],"existing":[186],"methods.":[187],"Finally,":[188],"by":[189],"leveraging":[190],"Satisfiability":[191],"Modulo":[192],"Theories":[193],"(SMT)":[194],",":[195],"ensures":[201],"minimizing":[207],"worst-case":[209],"response":[210],"tasks,":[215],"time-efficient":[218],"way.":[219],"To":[220],"our":[221,243],"knowledge,":[222],"work":[227],"address":[229],"together":[234],"systems.":[240],"We":[241],"validate":[242],"method":[244,261],"through":[245],"extensive":[246],"experiments":[247],"using":[248],"standard":[249],"automotive":[250],"benchmarks.":[251],"addition,":[253],"demonstrate":[255],"efficiency":[257],"proposed":[260],"comparison":[263],"state-of-the-art":[268],"techniques,":[269],"well":[271],"highlight":[273],"scalability,":[275],"thereby":[276],"establishing":[277],"applicability":[279],"real-world":[281],"scenarios.":[282]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}