{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:41:34Z","timestamp":1729658494959,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8263906","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"1782-1787","source":"Crossref","is-referenced-by-count":8,"title":["Formal methods for adaptive control of dynamical systems"],"prefix":"10.1109","author":[{"given":"Sadra","family":"Sadraddini","sequence":"first","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525467"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.036"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2015.2411285"},{"journal-title":"Verification and Control of Hybrid Systems","year":"2008","author":"tabuada","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref15","article-title":"Automata, logics, and infinite games: a guide to current research","volume":"2500","author":"thomas","year":"2002","journal-title":"Springer Science & Business Media"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525292"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883846"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.21236\/ADA623517"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799279"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00342-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/acs.684"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2015.12.003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2212516"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315586"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.880617"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.539424"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2272885"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.022"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526117"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.027"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.05.002"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586912"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040368"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2017,12,12]]},"location":"Melbourne, Australia","end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08263906.pdf?arnumber=8263906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T14:29:15Z","timestamp":1570631355000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8263906\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8263906","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}