{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:00:32Z","timestamp":1729659632994,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/etfa.2016.7733561","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T16:26:20Z","timestamp":1478535980000},"page":"1-8","source":"Crossref","is-referenced-by-count":21,"title":["Reset-based recovery for real-time cyber-physical systems with temporal safety constraints"],"prefix":"10.1109","author":[{"given":"Fardin Abdi Taghi","family":"Abad","sequence":"first","affiliation":[]},{"given":"Renato","family":"Mancuso","sequence":"additional","affiliation":[]},{"given":"Stanley","family":"Bak","sequence":"additional","affiliation":[]},{"given":"Or","family":"Dantsker","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.293"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACW.2003.1210217"},{"key":"ref11","first-page":"3","article-title":"Microreboot — a technique for cheap recovery","author":"candea","year":"0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2005.15"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497656"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1995.466961"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2015.24"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2595578"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.16"},{"year":"0","key":"ref18","article-title":"Power 10 brushless outrunner motor datasheet"},{"key":"ref19","first-page":"127","article-title":"Fundamentals of a motor thermal model and its applications in motor protection","author":"venkataraman","year":"0"},{"year":"0","key":"ref28","article-title":"Fsu2 instruction manual"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"},{"year":"0","key":"ref27","article-title":"Bavarian demon datasheet, 3x\/3xs series"},{"key":"ref3","first-page":"335","article-title":"Evolving dependable real-time systems","volume":"1","author":"sha","year":"0"},{"article-title":"Industrial application of the system-level simplex architecture for real-time embedded system safety","year":"2009","author":"bak","key":"ref6"},{"article-title":"Flight demo video","year":"0","author":"abdi","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.21"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990072"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"ref2","first-page":"20","article-title":"Using simplicity to control complexity","author":"sha","year":"2001","journal-title":"IEEE Software"},{"article-title":"Crash-only software","year":"2003","author":"candea","key":"ref9"},{"key":"ref1","first-page":"440","article-title":"Dependable system upgrade","author":"sha","year":"0"},{"key":"ref20","article-title":"A case study on analytical analysis of the inverted pendulum real-time control system","author":"seto","year":"1999","journal-title":"DTIC Document Tech Rep"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271769"},{"journal-title":"Technical Report Reset-Based Recovery for Real-Time Cyber-Physical Systems with Temporal Safety Constraints","year":"2015","author":"abdi","key":"ref21"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1002\/(SICI)1099-1239(20000415)10:4<301::AID-RNC474>3.0.CO;2-Q","article-title":"A liouvillian systems approach for the trajectory planning-based control of helicopter models","volume":"10","author":"lic\u00e9aga-castrol","year":"2000","journal-title":"Int J Robust and Nonlinear Control"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1111\/j.1934-6093.1999.tb00014.x"},{"year":"0","key":"ref26","article-title":"Ardupilot apm2.6"},{"key":"ref25","volume":"45","author":"raptis","year":"2010","journal-title":"Linear and Nonlinear Control of Small-Scale Unmanned Helicopters"}],"event":{"name":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2016,9,6]]},"location":"Berlin, Germany","end":{"date-parts":[[2016,9,9]]}},"container-title":["2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7593665\/7733490\/07733561.pdf?arnumber=7733561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T23:01:49Z","timestamp":1498345309000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7733561\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/etfa.2016.7733561","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}