{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:15:49Z","timestamp":1762521349890},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T00:00:00Z","timestamp":1285891200000},"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,10]]},"DOI":"10.1109\/tac.2010.2044258","type":"journal-article","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T20:59:41Z","timestamp":1267563581000},"page":"2282-2297","source":"Crossref","is-referenced-by-count":28,"title":["Realization Theory for Linear Hybrid Systems"],"prefix":"10.1109","volume":"55","author":[{"given":"Mih\u00e1ly","family":"Petreczky","sequence":"first","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02581-9"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0042025","volume":"13","author":"sontag","year":"1979","journal-title":"Ser Lecture Notes in Control and Information Sciences"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69959-7"},{"key":"ref32","author":"berstel","year":"1984","journal-title":"Rational Series and Their Languages"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1979.1084646"},{"key":"ref36","author":"jakubczyk","year":"1986","journal-title":"Algeb & Geom Methods in Nonlin Contr Theory"},{"key":"ref35","author":"eilenberg","year":"1974","journal-title":"Automata Languages and Machines"},{"key":"ref34","author":"gcseg","year":"1972","journal-title":"Algebraic Theory of Automata"},{"key":"ref10","article-title":"Reduction of affine systems on polytopes","author":"habets","year":"2002","journal-title":"Proc 15th Int Symp Math Theory Networks Syst"},{"key":"ref40","first-page":"197","article-title":"matrices de hankel","author":"fliess","year":"1973","journal-title":"J Math Pures Appl"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.903079"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6430"},{"key":"ref14","author":"willems","year":"1998","journal-title":"An Introduction to Mathematical Systems Theory A Behavioral Approach"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0304-3975(94)00146-A","volume":"138","author":"grossman","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434509"},{"key":"ref17","first-page":"1295","article-title":"hybrid formal power series and their application to realization theory of hybrid systems","author":"petreczky","year":"2006","journal-title":"Proc 17th Int Symp Math Theory Networks Syst"},{"key":"ref18","author":"petreczky","year":"2008","journal-title":"Realization Theory for Linear Hybrid Systems Part I Existence of a Realization Centrum Voor Wiskunde en Informatica (CWI)"},{"key":"ref19","author":"petreczky","year":"2008","journal-title":"Realization Theory for Linear Hybrid Systems Part II Span-Reachability Observability and Minimality Centrum Voor Wiskunde en Informatica (CWI)"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"asarin","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271926"},{"key":"ref27","author":"collins","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref3","volume":"138","author":"henzinger","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/1-84628-131-8","author":"sun","year":"2005","journal-title":"Switched Linear SystemsControl and Design"},{"key":"ref29","first-page":"4","author":"alur","year":"2003","journal-title":"Hybrid Systems Computation and Control Ser LNCS 2623"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582236"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.04.006"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","author":"van der schaft","year":"2000","journal-title":"An Introduction to Hybrid Dynamical Systems"},{"key":"ref9","author":"petreczky","year":"2005","journal-title":"Realization Theory of Linear and Bilinear Switched Systems A Formal Power Series Approach CWI"},{"key":"ref1","author":"petreczky","year":"2006","journal-title":"Realization Theory of Hybrid Systems"},{"key":"ref46","first-page":"103","volume":"3414","author":"babaali","year":"2005","journal-title":"Hybrid Systems Computation and Control 2005 ser In Lecture Notes in Computer Science 2005"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00224-8"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-7053-6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428599"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0374-9"},{"key":"ref21","first-page":"354","volume":"3414","author":"juloski","year":"2005","journal-title":"HSCC-05 ser LNCS"},{"key":"ref42","author":"dieudonn","year":"1973","journal-title":"Infinitesimal Calculus"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_29"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1973.1100424"},{"key":"ref23","author":"juloski","year":"2004","journal-title":"Observer design and identification methods for hybrid systems Theory and experiments"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0024-3795(96)00030-4","volume":"256","author":"van den hof","year":"1997","journal-title":"Linear Algebra and Applications"},{"key":"ref26","author":"vidal","year":"2003","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0957-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583140"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5592241\/05422618.pdf?arnumber=5422618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T17:51:46Z","timestamp":1640281906000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5422618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":47,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2010.2044258","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10]]}}}