{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:33:34Z","timestamp":1736573614083,"version":"3.32.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,23]]},"DOI":"10.1109\/sies62473.2024.10768029","type":"proceedings-article","created":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T18:53:44Z","timestamp":1733252024000},"page":"85-92","source":"Crossref","is-referenced-by-count":0,"title":["Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution"],"prefix":"10.1109","author":[{"given":"Yao","family":"Chen","sequence":"first","affiliation":[{"name":"The Hong Kong Polytechnic University,Department of Computing,Hong Kong,SAR,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xueli","family":"Fan","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University,Department of Computing,Hong Kong,SAR,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qixin","family":"Wang","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University,Department of Computing,Hong Kong,SAR,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Guan","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University,Department of Computing,Hong Kong,SAR,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuai","family":"Li","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University,Department of Computing,Hong Kong,SAR,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zili","family":"Shao","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University,Department of Computing,Hong Kong,SAR,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Modern Control Theory (3rd Ed.).","year":"1991","author":"Brogan","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.50"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2015.2406812"},{"volume-title":"Principles of Model Checking.","year":"2008","author":"Baier","key":"ref4"},{"volume-title":"An introduction to numerical analysis (2nd ed.).","year":"1989","author":"Atkinson","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/1034050"},{"journal-title":"Feedback Control of Dynamic Systems (7th Ed.). Pearson","year":"2014","author":"Franklin","key":"ref7"},{"volume-title":"Applied Nonlinear Control.","year":"1991","author":"Slotine","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"volume-title":"Interval analysis.","year":"1966","author":"Moore","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/5.259428"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"ref13","first-page":"41","article-title":"L1 simplex: fault-tolerant control of cyber-physical systems","volume-title":"Proc. of ACM\/ IEEE ICCPS\u201913","author":"Wang"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.21"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2723871"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/9.29425"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719376","author":"Hovakimyan","year":"2010","journal-title":"L1Adaptive Control Theory: Guaranteed Robustness with Fast Adaptation. SIAM"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.03.002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.29007\/1kq2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2361595"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.011"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1016\/j.entcs.2006.02.006","article-title":"Run-time checking of dynamic properties","volume-title":"Proc. of RV\u201905","author":"Sokolsky"}],"event":{"name":"2024 IEEE 14th International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2024,10,23]]},"location":"Chengdu, China","end":{"date-parts":[[2024,10,25]]}},"container-title":["2024 IEEE 14th International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10767891\/10767903\/10768029.pdf?arnumber=10768029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T19:55:03Z","timestamp":1736538903000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10768029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sies62473.2024.10768029","relation":{},"subject":[],"published":{"date-parts":[[2024,10,23]]}}}