{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:43:39Z","timestamp":1761662619528},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4434071","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T16:06:38Z","timestamp":1201536398000},"page":"3727-3732","source":"Crossref","is-referenced-by-count":7,"title":["Approximate hierarchies of linear control systems"],"prefix":"10.1109","author":[{"given":"Antoine","family":"Girard","sequence":"first","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0068-7"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.11.008"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_41"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2003.09.013"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/9.863598"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012999350213"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377051"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_18"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"7","first-page":"399","article-title":"linear matrix equations with applications to the regulator problem","author":"hautus","year":"1983","journal-title":"Outils et Mode?les Mathe?matiques pour l'Automatique"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.03.045"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.01.019"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"9"},{"key":"8","article-title":"yalmip : a toolbox for modeling and optimization in matlab","author":"lo?fberg","year":"2004","journal-title":"Proceedings of the CACSD Conference"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","start":{"date-parts":[[2007,12,12]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04434071.pdf?arnumber=4434071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:16:18Z","timestamp":1489684578000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4434071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4434071","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}