{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:26:15Z","timestamp":1762521975544},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7799120","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"5539-5544","source":"Crossref","is-referenced-by-count":6,"title":["Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach"],"prefix":"10.1109","author":[{"given":"Marc","family":"Jungers","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Fiacchini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1080\/00207170600645974"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(95)90006-3"},{"key":"ref12","first-page":"2655","article-title":"Stability of switched systems with average dwell-time","author":"hespanha","year":"1999","journal-title":"Proceedings of 38th IEEE Conference on Decision and Control"},{"journal-title":"On feedback stabilization of linear switched systems via switching signal control","year":"2016","author":"jungers","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2013.08.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895924"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","article-title":"Switching in Systems and Control","author":"liberzon","year":"2003","journal-title":"Systems and Control Foundations and Applications"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2012009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2005.04.043"},{"key":"ref19","article-title":"Deciding the boundedness and dead-beat stability of constrained switching systems","author":"philippe","year":"2016","journal-title":"Nonlinear Analysis Hybrid Systems"},{"journal-title":"Graph Theory","year":"2000","author":"diestel","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/9781118639856"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2014.6862224"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.09.038"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2450871"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.804474"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810591"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"journal-title":"Graph Theory","year":"2008","author":"ruohonen","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(81)90008-0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2012.09.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00167-8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.07.018"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040240"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07799120.pdf?arnumber=7799120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T05:40:17Z","timestamp":1568698817000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7799120\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7799120","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}