{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:19:14Z","timestamp":1730204354616,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8618915","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"1560-1565","source":"Crossref","is-referenced-by-count":0,"title":["Verification of Eventuality Properties for Discrete-time Affine Systems"],"prefix":"10.1109","author":[{"given":"Xiaoying","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185652"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"Hybrid Automata An Algorithmic Approach to the Specification and Verification of Hybrid Systems","year":"1993","author":"alur","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-00-02597-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/0116101"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971262"},{"key":"ref16","first-page":"1747","volume":"35","author":"blanchini","year":"1999","journal-title":"Set Invariance in Control"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(88)90065-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90114-H"},{"journal-title":"Fixed Point Theorems No 66 in Cambridge Tracts in Mathematics and Mathematical Physics","year":"1974","author":"smart","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461378"},{"key":"ref3","first-page":"95","article-title":"Language-guided controller synthesis for discrete-time linear systems","author":"gol","year":"2012","journal-title":"HSCC ‘13"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-540-27813-9_6","article-title":"Termination of linear programs","author":"tiwari","year":"2004","journal-title":"Computer-Aided Verification (CAV)"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24622-0_20","article-title":"A complete method for the synthesis of linear ranking functions","author":"podelski","year":"2004","journal-title":"Verification Model Checking and Abstract Interpretation"},{"journal-title":"Computing controlled invariant sets for hybrid systems with applications to model-predictive control","year":"2018","author":"legat","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2714840"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.06.009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"}],"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\/08618915.pdf?arnumber=8618915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:41:20Z","timestamp":1598229680000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8618915\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8618915","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}