{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:33:50Z","timestamp":1729676030322,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6161343","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"8020-8025","source":"Crossref","is-referenced-by-count":2,"title":["Finite-state simulations and bisimulations for discrete-time piecewise affine systems"],"prefix":"10.1109","author":[{"given":"Sanam","family":"Mirzazad-Barijough","sequence":"first","affiliation":[]},{"given":"Ji-Woong","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717481"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023733"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400925"},{"key":"14","first-page":"916","article-title":"On stability characterization of discrete-time piecewise linear systems","author":"mirzazad-barijough","year":"2010","journal-title":"Proc Amer Control Conf"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00142-5"},{"key":"12","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1007\/978-3-540-78929-1_50","article-title":"Separation in stability analysis of piecewise linear systems in discrete time","volume":"4981","author":"lee","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2098971"},{"key":"20","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-540-70583-3_12","article-title":"STORMED hybrid systems","volume":"5126","author":"vladimerou","year":"2008","journal-title":"Automata Languages and Programming"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"23","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TAC.2009.2012966","article-title":"Detectability and stabilizability of discrete-time switched linear systems","volume":"54","author":"lee","year":"2009","journal-title":"IEEE Trans Autom Control"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895924"},{"key":"25","article-title":"STORMED hybrid systems","author":"vladimerou","year":"2008","journal-title":"University of Illinois at Urbana-Champaign Tech Rep"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36801-9","author":"johansson","year":"2003","journal-title":"Piecewise linear control systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/9.948467"},{"key":"6","first-page":"324","article-title":"Hybrid automata with finite bisimulations","volume":"944","author":"henzinger","year":"1995","journal-title":"Automata Languages and Programming"},{"key":"5","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/S0005-1098(98)00175-7","article-title":"Complexity of stability and controllability of elementary hybrid systems","volume":"35","author":"blondel","year":"1999","journal-title":"Automatica"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.871309"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"8","article-title":"Model checking discrete time piecewise affine systems: Application to gene networks","author":"yordanov","year":"2007","journal-title":"Eur Control Conf"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06161343.pdf?arnumber=6161343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T01:56:27Z","timestamp":1561427787000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6161343\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6161343","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}