{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T17:17:11Z","timestamp":1774113431411,"version":"3.50.1"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":["ieeexplore.ieee.orgieee.org"],"crossmark-restriction":true},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/tac.2011.2161789","type":"journal-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:22:25Z","timestamp":1311193345000},"page":"550-564","update-policy":"https:\/\/doi.org\/10.1109\/crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis"],"prefix":"10.1109","volume":"57","author":[{"given":"Y.","family":"Tazaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Imura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_30"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_41"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434911"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/978-3-540-78929-1_25","volume":"4981","author":"lerda","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5.871307"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/11730637_26","article-title":"A fully automated framework for control of linear systems from LTL specifications","volume":"3927","author":"kloetzer","year":"2006","journal-title":"Proc Hybrid Syst Comput Control (HSCC '01)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0005-1098(98)00176-9","article-title":"Deterministic discrete-event representations of linear continuous-variable systems","volume":"35","author":"lunze","year":"1999","journal-title":"Automatica"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.664160"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/002071799220317"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/11730637_24","article-title":"Simultaneous optimization of continuous control inputs and discrete state waypoints","volume":"3927","author":"imura","year":"2006","journal-title":"Proc 9th Int Workshop Hybrid Syst Comput Control (HSCC 2006)"},{"key":"ref7","first-page":"878","article-title":"Approximate continuous-time optimal control in obstacle avoidance by time\/space discretization of non-convex state constraints","author":"hagenaars","year":"2004","journal-title":"Proc IEEE Conf Contr App"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-48983-5_9","article-title":"A geometric approach to bisimulation and verification of hybrid systems","volume":"1569","author":"broucke","year":"1999","journal-title":"Hybrid Syst Comput Control"},{"key":"ref9","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-49163-5_10","volume":"1567","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems V"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400657"},{"key":"ref22","article-title":"Finite abstractions of discrete-time linear systems and its application to optimal control","author":"tazaki","year":"2008","journal-title":"Proc 17th IFAC World Congr"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1017992615625","article-title":"Variable resolution discretization in optimal control","volume":"49","author":"munos","year":"2001","journal-title":"Mach Learn J"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-642-00602-9_25","volume":"5469","author":"tazaki","year":"2009","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1007\/978-3-540-78929-1_37","volume":"4981","author":"tazaki","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref25","year":"0","journal-title":"GLPK (GNU Linear Programming Kit)"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6157057\/05953487.pdf?arnumber=5953487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:48:08Z","timestamp":1633909688000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953487\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,3]]}},"URL":"https:\/\/doi.org\/10.1109\/tac.2011.2161789","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3]]}}}