{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:03:52Z","timestamp":1725512632420},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/cdc.2009.5399764","type":"proceedings-article","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T10:27:26Z","timestamp":1265106446000},"page":"51-56","source":"Crossref","is-referenced-by-count":0,"title":["Representations and algorithms for finite-state bisimulations of linear discrete-time control systems"],"prefix":"10.1109","author":[{"given":"Andrew","family":"Lamperski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"193","article-title":"Symbolic model checking without bdds","author":"biere","year":"0","journal-title":"5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)"},{"key":"ref11","article-title":"An extensible SAT-solver","author":"e\u00e9n","year":"2003","journal-title":"SAT 2003"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023733"},{"journal-title":"Mathematical Control Theory Deterministic Finite Dimensional Systems","year":"1998","author":"sontag","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804106"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"ref8","first-page":"351","article-title":"Discrete-state abstractions of nonlinear systems using multi-resolution quantizer","author":"tazaki","year":"0","journal-title":"12th International Conference on Hybrid Systems Computation and Control (HSCC) 2009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430245"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"}],"event":{"name":"2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC)","start":{"date-parts":[[2009,12,15]]},"location":"Shanghai, China","end":{"date-parts":[[2009,12,18]]}},"container-title":["Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5379695\/5399469\/05399764.pdf?arnumber=5399764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:06:48Z","timestamp":1489864008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5399764\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2009.5399764","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}