{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:50:17Z","timestamp":1778914217158,"version":"3.51.4"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"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":[[2017,10]]},"DOI":"10.1109\/tac.2017.2694559","type":"journal-article","created":{"date-parts":[[2017,4,17]],"date-time":"2017-04-17T18:10:05Z","timestamp":1492452605000},"page":"5357-5364","source":"Crossref","is-referenced-by-count":14,"title":["Linearizing Discrete-Time Hybrid Systems"],"prefix":"10.1109","volume":"62","author":[{"given":"Vadim","family":"Alimguzhin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Mari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Melatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2108350"},{"key":"ref38","year":"2009","journal-title":"Verification and Control of Hybrid Systems A Symbolic Approach"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434911"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00061-4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580583"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2011.02.002"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.09.026"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314891"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760370"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"Phaver: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"frehse","year":"2008","journal-title":"Int J Softw Tools Technol Transf"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.649708"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.858689"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.02.001"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2168874"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-007-9312-z"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_53"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_14"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2559934"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32943-2_19"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380398"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971392"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","article-title":"Pessoa: A tool for embedded controller synthesis","author":"mazo","year":"2010","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_9"},{"key":"ref7","article-title":"Hybrid Toolbox","author":"bemporad","year":"2004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426260"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161190"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(00)00342-3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63165-8_213"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03199-5","author":"horst","year":"1996","journal-title":"Global Optimization Deterministic Approaches"},{"key":"ref21","first-page":"1","article-title":"The embedded systems design challenge","author":"henzinger","year":"2006","journal-title":"Proc 14th Int'l Conf Formal Methods"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562137"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/9.273337"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_20"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8049551\/07902199.pdf?arnumber=7902199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:23:46Z","timestamp":1642004626000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7902199\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":42,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2017.2694559","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10]]}}}