{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:52:58Z","timestamp":1729626778132,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1109\/iccps.2011.25","type":"proceedings-article","created":{"date-parts":[[2011,7,13]],"date-time":"2011-07-13T15:59:01Z","timestamp":1310572741000},"page":"3-12","source":"Crossref","is-referenced-by-count":52,"title":["Sandboxing Controllers for Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Stanley","family":"Bak","sequence":"first","affiliation":[]},{"given":"Karthik","family":"Manamcheri","sequence":"additional","affiliation":[]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"A verification framework for hybrid systems","year":"2007","author":"mitra","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","article-title":"Approximate reachability analysis of piecewise-linear dynamical systems","volume":"1790","author":"asarin","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref12","first-page":"460","article-title":"Hytech: A model checker for hybrid systems","volume":"1254","author":"henzinger","year":"1997","journal-title":"Computer Aided Verification (CAV ’97)"},{"key":"ref13","first-page":"431","article-title":"UPPAAL in 1995","author":"bengtsson","year":"1996","journal-title":"Tools and Algorithms for Construction and Analysis of Systems (TACAS)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"journal-title":"Proceedings of the 22nd International Conference on Computer Aided Verification","article-title":"Pessoa: A tool for embedded controller synthesis","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2217-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_36"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.27"},{"key":"ref27","article-title":"Switching controllers based on neural network estimates of stability regions and controller performance","author":"ferreira","year":"1999","journal-title":"Lecture Notes on Computer Science Special Issue Hybrid Systems VI"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"ref6","article-title":"A new class of decidable hybrid systems","author":"lafferriere","year":"0","journal-title":"HSCC ’99 Proceedings of the Second International Workshop on Hybrid Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"journal-title":"The Theory of Timed I\/O Automata ser Synthesis Lectures on Computer Science","year":"2005","author":"kaynar","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536634"},{"key":"ref20","article-title":"Alternating refinement relations","author":"alur","year":"0","journal-title":"Proceedings of the 8th International Conference on Concurrence Theory"},{"key":"ref22","article-title":"Approximation metrics for discrete and continuous systems","author":"girard","year":"2005","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref24","first-page":"76","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","volume":"1569","author":"chutinan","year":"1999","journal-title":"LNCS"},{"key":"ref23","first-page":"98","article-title":"A new tool for verifying computer controlled systems","author":"kapinski","year":"0","journal-title":"IEEE Conference on Computer-Aided Control System Design"},{"article-title":"Case study: Development of a baseline controller for automatic landing of an f-16 aircraft using linear matrix inequalities (lmis)","year":"0","author":"seto","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"}],"event":{"name":"2011 IEEE\/ACM International Conference on Cyber-Physical Systems (ICCPS)","start":{"date-parts":[[2011,4,12]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2011,4,14]]}},"container-title":["2011 IEEE\/ACM Second International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5945014\/5945403\/05945416.pdf?arnumber=5945416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T23:41:06Z","timestamp":1560382866000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5945416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iccps.2011.25","relation":{},"subject":[],"published":{"date-parts":[[2011,4]]}}}