{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T06:51:18Z","timestamp":1772693478071,"version":"3.50.1"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1109\/tac.2009.2034922","type":"journal-article","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T20:59:07Z","timestamp":1259787547000},"page":"116-126","source":"Crossref","is-referenced-by-count":276,"title":["Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems"],"prefix":"10.1109","volume":"55","author":[{"given":"A.","family":"Girard","sequence":"first","affiliation":[]},{"given":"G.","family":"Pola","sequence":"additional","affiliation":[]},{"given":"P.","family":"Tabuada","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00055-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"ref12","author":"khalil","year":"1996","journal-title":"Nonlinear Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211516"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582235"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.12.012"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_33"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582864"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-540-31954-2_12","article-title":"on the stabilisation of switching electrical power converters","volume":"lncs 3414","author":"buisson","year":"2005","journal-title":"Proc Hybrid Systems Comput Contr"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/B978-008044613-4.50058-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"},{"key":"ref5","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876946"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_15"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0036-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5379206\/05342460.pdf?arnumber=5342460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:00:31Z","timestamp":1633914031000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5342460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":22,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2009.2034922","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}