{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T13:03:27Z","timestamp":1753275807853},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8618991","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:12:50Z","timestamp":1548288770000},"page":"4032-4039","source":"Crossref","is-referenced-by-count":8,"title":["Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints"],"prefix":"10.1109","author":[{"given":"Liren","family":"Yang","sequence":"first","affiliation":[]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.02.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859229"},{"key":"ref13","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263719"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525584"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.21236\/ADA475519"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0084-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2700333"},{"journal-title":"Gurobi Optimizer Reference Manual","year":"2015","key":"ref8"},{"journal-title":"CVX MATLAB Software for Disciplined Convex Programming","year":"2008","author":"grant","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2018.03.040","article-title":"Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach","author":"harirchi","year":"2018","journal-title":"Automatica"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08618991.pdf?arnumber=8618991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T20:30:00Z","timestamp":1598214600000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8618991\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8618991","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}