{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:26:34Z","timestamp":1730341594683,"version":"3.28.0"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.23919\/acc.2019.8814630","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T23:42:46Z","timestamp":1574725366000},"page":"1181-1188","source":"Crossref","is-referenced-by-count":8,"title":["Secure Control under Partial Observability with Temporal Logic Constraints"],"prefix":"10.23919","author":[{"given":"Bhaskar","family":"Ramasubramanian","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Clark","sequence":"additional","affiliation":[]},{"given":"Linda","family":"Bushnell","sequence":"additional","affiliation":[]},{"given":"Radha","family":"Poovendran","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"issue":"1","key":"ref1","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"Baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"key":"ref2","volume-title":"Dynamic Programming and Optimal Control","volume":"I and II","author":"Bertsekas","year":"2015"},{"volume-title":"Markov decision processes: Discrete stochastic dynamic programming","year":"2014","author":"Puterman","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8040"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tej.2017.02.006"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75462-8_6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/00396338.2011.555586"},{"volume-title":"Probabilistic robotics","year":"2005","author":"Thrun","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1996.571080"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref19","first-page":"727","article-title":"A heuristic variable grid solution method for POMDPs","volume-title":"AAAI\/IAAI","author":"Brafman"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2008.IV.009"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6858909"},{"volume-title":"Formal methods for control synthesis in partially observed environments: Application to autonomous robotic manipulation","year":"2014","author":"Sharan","key":"ref22"},{"article-title":"Secure control under LTL constraints","volume-title":"Proceedings of the American Control Conference","author":"Niu","key":"ref23"},{"volume-title":"Markov chains and stochastic stability","year":"2012","author":"Meyn","key":"ref24"},{"key":"ref25","first-page":"113","article-title":"Synthesis of hierarchical finite-state controllers for POMDPs","volume-title":"ICAPS","author":"Hansen"},{"journal-title":"Under review","article-title":"Optimal secure control with LTL constraints","author":"Niu","key":"ref26"},{"volume-title":"Policy-gradient algorithms for POMDPs","year":"2003","author":"Aberdeen","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref30","first-page":"3372","article-title":"Robust control of uncertain MDPs with LTL specifications","volume-title":"Proceedings of the Conference on Decision and Control","author":"Wolff"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2518639"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1287\/opre.21.5.1071"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2382559.2382563"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426524"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1070.0279"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0164-2"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54830-7_16"},{"key":"ref40","first-page":"709","article-title":"Dynamic programming for partially observable stochastic games","volume-title":"AAAI","volume":"4","author":"Hansen"},{"key":"ref41","first-page":"52","article-title":"Bounded policy iteration for decentralized POMDPs","volume-title":"International Joint Conference on Artificial Intelligence","author":"Bernstein"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/11564096_38"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-009-9103-z"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28929-8"}],"event":{"name":"2019 American Control Conference (ACC)","start":{"date-parts":[[2019,7,10]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2019,7,12]]}},"container-title":["2019 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8789884\/8814292\/08814630.pdf?arnumber=8814630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:30:24Z","timestamp":1706056224000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8814630\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":44,"URL":"https:\/\/doi.org\/10.23919\/acc.2019.8814630","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}