{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:06:11Z","timestamp":1761581171245,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/allerton.2013.6736631","type":"proceedings-article","created":{"date-parts":[[2014,2,13]],"date-time":"2014-02-13T17:46:12Z","timestamp":1392313572000},"page":"973-980","source":"Crossref","is-referenced-by-count":8,"title":["A model checking framework for linear time invariant switching systems using structural systems analysis"],"prefix":"10.1109","author":[{"given":"Guilherme","family":"Ramos","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Pequito","sequence":"additional","affiliation":[]},{"given":"A. Pedro","family":"Aguiar","sequence":"additional","affiliation":[]},{"given":"Jaime","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Soummya","family":"Kar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"Structural hybrid systems","author":"ramos","year":"2013","journal-title":"MSc Thesis Instituto Superior Tecnico"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.4.12.1286-1293"},{"key":"16","article-title":"Integrating small scale distributed generation into a deregulated market: Control strategies and price feedback","author":"cardell","year":"1997","journal-title":"Tech Rep"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"13"},{"journal-title":"Hybrid Dynamical Systems Modeling Stability and Robustness","year":"2012","author":"teel","key":"14"},{"key":"11","article-title":"Minimum robust sensor placement for large scale linear timeinvariant systems: A structured systems approach","author":"liu","year":"2013","journal-title":"2nd IFAC Workshop Distributed Estimation and Control in Networked Systems (NecSys)"},{"key":"12","article-title":"A framework for structural input\/ output and control configuration selection of large-scale systems","author":"pequito","year":"2013","journal-title":"Submitted to IEEE Transactions on Automatic Control"},{"key":"3","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.23919\/ACC.2004.1386733","article-title":"Reachability analysis of hybrid control systems using reduced-order models","volume":"2","author":"han","year":"2004","journal-title":"American Control Conference 2004 Proceedings of the 2004"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807930.002"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2489247.2489248"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580796"},{"journal-title":"The Minimal Controllability Problem","year":"2013","author":"olshevsky","key":"6"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"5"},{"journal-title":"Computing Reachable Sets of Hybrid Systems Using A Combination of Zonotopes and Polytopes","year":"2009","author":"althoff","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048026"},{"key":"8","first-page":"1703","article-title":"Structural controllability of switched linear systems","volume":"1106","author":"liu","year":"2011","journal-title":"CoRR"}],"event":{"name":"2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton)","start":{"date-parts":[[2013,10,2]]},"location":"Monticello, IL","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6725831\/6736491\/06736631.pdf?arnumber=6736631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:30:36Z","timestamp":1565181036000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6736631\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/allerton.2013.6736631","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}