{"id":"https://openalex.org/W2554640547","doi":"https://doi.org/10.1109/etfa.2016.7733561","title":"Reset-based recovery for real-time cyber-physical systems with temporal safety constraints","display_name":"Reset-based recovery for real-time cyber-physical systems with temporal safety constraints","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2554640547","doi":"https://doi.org/10.1109/etfa.2016.7733561","mag":"2554640547"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2016.7733561","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2016.7733561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","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/A5085864006","display_name":"Fardin Abdi Taghi Abad","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Fardin Abdi Taghi Abad","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035353750","display_name":"Renato Mancuso","orcid":"https://orcid.org/0000-0003-3558-5216"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Renato Mancuso","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["United States Air Force Research Lab, Rome, USA"],"affiliations":[{"raw_affiliation_string":"United States Air Force Research Lab, Rome, USA","institution_ids":["https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002908190","display_name":"Or D. Dantsker","orcid":"https://orcid.org/0000-0002-2214-1985"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Or Dantsker","raw_affiliation_strings":["Department of Aerospace Engineering, University of Illinois at Urbana-Champaign, Urbana, USA"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering, University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060442004","display_name":"Marco Caccamo","orcid":"https://orcid.org/0000-0003-2328-044X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Caccamo","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5085864006"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":4.73,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.95401542,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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.9993000030517578,"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.9991000294685364,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/reset","display_name":"Reset (finance)","score":0.7576942443847656},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7572057247161865},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7025130987167358},{"id":"https://openalex.org/keywords/simplex","display_name":"Simplex","score":0.6898223161697388},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6065806150436401},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5677313804626465},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5440816283226013},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.539788544178009},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4984242916107178},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.47528067231178284},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.45545119047164917},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.41709062457084656},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09837532043457031},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09502503275871277}],"concepts":[{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.7576942443847656},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7572057247161865},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7025130987167358},{"id":"https://openalex.org/C62438384","wikidata":"https://www.wikidata.org/wiki/Q331350","display_name":"Simplex","level":2,"score":0.6898223161697388},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6065806150436401},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5677313804626465},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5440816283226013},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.539788544178009},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4984242916107178},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.47528067231178284},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.45545119047164917},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.41709062457084656},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09837532043457031},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09502503275871277},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2016.7733561","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2016.7733561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W120748129","https://openalex.org/W305431326","https://openalex.org/W582650034","https://openalex.org/W656663589","https://openalex.org/W1575788175","https://openalex.org/W1859752500","https://openalex.org/W1874259713","https://openalex.org/W1988807707","https://openalex.org/W2019624342","https://openalex.org/W2057847320","https://openalex.org/W2065207989","https://openalex.org/W2084597192","https://openalex.org/W2107635250","https://openalex.org/W2109192777","https://openalex.org/W2119010426","https://openalex.org/W2129555535","https://openalex.org/W2135410595","https://openalex.org/W2139394161","https://openalex.org/W2140991542","https://openalex.org/W2154867660","https://openalex.org/W2156093990","https://openalex.org/W2157806180","https://openalex.org/W2161056315","https://openalex.org/W2222929526","https://openalex.org/W2501010230","https://openalex.org/W2505511177","https://openalex.org/W4253802526","https://openalex.org/W6604832245","https://openalex.org/W6610770441","https://openalex.org/W6616994017","https://openalex.org/W6639125064","https://openalex.org/W6680335595","https://openalex.org/W6680888524","https://openalex.org/W6683146447"],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2393495588","https://openalex.org/W96259911","https://openalex.org/W2168225754","https://openalex.org/W4385608460","https://openalex.org/W2370772865","https://openalex.org/W1528611913","https://openalex.org/W2000034628","https://openalex.org/W2387487224","https://openalex.org/W2005262299"],"abstract_inverted_index":{"In":[0,23,76],"traditional":[1],"computing":[2],"systems,":[3,29],"software":[4,58,98],"problems":[5],"are":[6],"often":[7],"resolved":[8],"by":[9],"platform":[10],"restarts.":[11],"This":[12],"approach,":[13],"however,":[14],"cannot":[15],"be":[16,84],"na\u00efvely":[17],"used":[18,85],"in":[19,25,54,86,106,121,142],"cyber-physical":[20],"systems":[21],"(CPS).":[22],"fact,":[24],"this":[26,77],"class":[27],"of":[28,44,56,63,97,109,123,168],"ensuring":[30],"safety":[31,53,118,137,147],"strictly":[32],"depends":[33],"on":[34,155],"the":[35,45,61,103,166,169,174],"ability":[36],"to":[37,51,92,132],"respect":[38],"hard":[39],"real-time":[40],"constraints.":[41],"Several":[42],"adaptations":[43],"Simplex":[46,104],"architecture":[47,105],"have":[48],"been":[49,73],"proposed":[50,170],"guarantee":[52],"spite":[55,122],"misbehaving":[57],"components.":[59],"However,":[60],"problem":[62],"performing":[64],"recovery":[65,171],"into":[66],"a":[67,95,107,129,151,156],"fully":[68],"operational":[69],"state":[70],"has":[71],"not":[72,134],"extensively":[74],"addressed.":[75],"work,":[78],"we":[79,112,127,164],"discuss":[80],"how":[81],"resets":[82],"can":[83],"CPS":[87],"as":[88,139],"an":[89],"effective":[90],"strategy":[91,172],"recover":[93],"from":[94],"variety":[96],"faults.":[99],"Our":[100],"work":[101],"extends":[102],"number":[108],"directions.":[110],"First,":[111],"provide":[113],"sufficient":[114],"conditions":[115],"under":[116,173],"which":[117],"is":[119],"guaranteed":[120],"fault-induced":[124],"resets.":[125],"Second,":[126],"introduce":[128],"novel":[130],"technique":[131],"express":[133],"only":[135],"state-dependent":[136],"constraints,":[138],"typically":[140],"done":[141],"Simplex,":[143],"but":[144],"also":[145],"time-dependent":[146],"properties.":[148],"Finally,":[149],"through":[150],"proof-of-concept":[152],"minimal":[153],"implementation":[154],"small":[157],"R/C":[158],"helicopter":[159],"and":[160],"simulation-based":[161],"system":[162],"modeling,":[163],"show":[165],"effectiveness":[167],"assumed":[175],"fault":[176],"model.":[177]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}