{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:25:04Z","timestamp":1762521904714,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/iccps.2016.7479119","type":"proceedings-article","created":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T20:26:54Z","timestamp":1464294414000},"page":"1-10","source":"Crossref","is-referenced-by-count":21,"title":["SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks"],"prefix":"10.1109","author":[{"given":"Yasser","family":"Shoukry","sequence":"first","affiliation":[]},{"given":"Michelle","family":"Chong","sequence":"additional","affiliation":[]},{"given":"Masashi","family":"Wakaiki","sequence":"additional","affiliation":[]},{"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]},{"given":"Joao P.","family":"Hespanha","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach","author":"shoukry","year":"2014","journal-title":"ArXiv e-prints"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2015.7282993"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2014.2364709"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2010.936020"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2011.2161300"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171925"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536637"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(00)00341-1"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","article-title":"The Sat4j library, release 2.2","volume":"7","author":"berre","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2303233"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171098"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266831"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2015.2492159","article-title":"Event-triggered state observers for sparse sensor noise\/attacks","author":"shoukry","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843720"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653666"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ChiCC.2015.7260376"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.037"}],"event":{"name":"2016 ACM\/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","start":{"date-parts":[[2016,4,11]]},"location":"Vienna, Austria","end":{"date-parts":[[2016,4,14]]}},"container-title":["2016 ACM\/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7478773\/7479059\/07479119.pdf?arnumber=7479119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T05:54:24Z","timestamp":1600667664000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7479119\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iccps.2016.7479119","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}