{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:11:38Z","timestamp":1729631498777,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/test.2016.7805861","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T22:22:46Z","timestamp":1483654966000},"page":"1-10","source":"Crossref","is-referenced-by-count":12,"title":["Efficient cross-layer concurrent error detection in nonlinear control systems using mapped predictive check states"],"prefix":"10.1109","author":[{"given":"Suvadeep","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhijit","family":"Chatterjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob A.","family":"Abraham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/b137654"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2015.28"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2024716.2024718","article-title":"The gem5 simulator","volume":"39","author":"binkert","year":"2011","journal-title":"SIGARCH Comput Archit News"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2009636"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1985.1085649"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2007.895604"},{"key":"ref36","first-page":"4045","article-title":"Swing-up control of an inverted pendulum by energy-based methods","volume":"6","author":"yoshida","year":"1999","journal-title":"American Control Conference 1999 Proceedings of the 1999"},{"key":"ref35","first-page":"768","article-title":"Swing-up controller design for inverted pendulum by using energy control method based on lyapunov function","author":"maeba","year":"2010","journal-title":"Modelling Identification and Control (ICMIC) the 2010 International Conference on"},{"year":"0","key":"ref34","article-title":"Pin - a dynamic binary instrumentation tool"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855962"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2004587"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.277"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/92.974895"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/12.644296"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229832"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2016.7483362"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2013.6604062"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2014.19"},{"key":"ref19","first-page":"4802","article-title":"Fundamental limitations and differences of robust and adaptive control","volume":"6","author":"wang","year":"2001","journal-title":"American Control Conference 2001 Proceedings of the 2001"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/aic.10035"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2011.03.013"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426269"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2241251"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/12.4606"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5990849"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676475"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/12.237720"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/12.54836"},{"key":"ref2","first-page":"414","article-title":"Reliability study on technology trends beyond 20nm","author":"amat","year":"2013","journal-title":"Proceedings of the 20th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2013 MIXDES"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/92.238422"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2016.7420396"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2017099"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657685"},{"key":"ref21","first-page":"768","article-title":"Swing-up controller design for inverted pendulum by using energy control method based on lyapunov function","author":"maeba","year":"2010","journal-title":"The 2010 International Conference on Modelling Identification and Control (ICMIC)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/9.661064"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2002.1035218"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884960"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.879196"}],"event":{"name":"2016 IEEE International Test Conference (ITC)","start":{"date-parts":[[2016,11,15]]},"location":"Fort Worth, TX, USA","end":{"date-parts":[[2016,11,17]]}},"container-title":["2016 IEEE International Test Conference (ITC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7794484\/7805805\/07805861.pdf?arnumber=7805861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T06:07:11Z","timestamp":1568700431000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7805861\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/test.2016.7805861","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}