{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:29:14Z","timestamp":1730341754192,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431178","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"page":"1430-1437","source":"Crossref","is-referenced-by-count":0,"title":["An Online Algorithm for Optimizing Invariant Conditions for Procedural Nonlinear Constrained Hybrid Systems"],"prefix":"10.23919","author":[{"given":"Anil","family":"Yildiz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. Kemal","family":"Ure","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gokhan","family":"Inalhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"590","article-title":"Generating polynomial invariants for hybrid systems","volume":"3414","author":"rod?guez-carbonell","year":"2005","journal-title":"HSCC"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0046-1"},{"key":"ref12","first-page":"1","article-title":"Modeling and verifying hybrid dynamic systems using checkmate","volume":"4","author":"silva","year":"2000","journal-title":"Proceedings of 4th International Conference on Automation of Mixed Processes"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/6.2018-1867"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/7.4.308"},{"journal-title":"A physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes","year":"1985","author":"sorensen","key":"ref16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.871300"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1994.411706"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282478"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.250509"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.827981"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038660"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_6"},{"key":"ref1","article-title":"Hybrid modelling and automation of air traffic controller decision process: Separation assurance","author":"baspinar","year":"2014","journal-title":"Sixth International Conference on Research in Air Transportation ICRAT"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755961"}],"event":{"name":"2018 Annual American Control Conference (ACC)","start":{"date-parts":[[2018,6,27]]},"location":"Milwaukee, WI","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431178.pdf?arnumber=8431178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:04:10Z","timestamp":1598245450000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431178\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431178","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}