{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:03:13Z","timestamp":1729663393898,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/icca.2014.6871032","type":"proceedings-article","created":{"date-parts":[[2014,8,18]],"date-time":"2014-08-18T20:57:54Z","timestamp":1408395474000},"page":"851-856","source":"Crossref","is-referenced-by-count":1,"title":["Distributed switched supervisory control to achieve almost sure safety for a class of interconnected networked systems"],"prefix":"10.1109","author":[{"given":"Bin","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"1999","volume":"2","author":"isidori","year":"1999","journal-title":"Nonlinear Control Systems"},{"year":"1967","author":"kushner","journal-title":"Stochastic Stability and Control","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/TAC.2004.831187"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/j.automatica.2004.02.017"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1016\/j.sbspro.2012.06.1098"},{"key":"1","first-page":"195","article-title":"Smart cars on smart roads: Problems of control,\" automatic control","volume":"38","author":"varaiya","year":"1993","journal-title":"IEEE Transactions on"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1145\/2566468.2566473"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1145\/2461446.2461453"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/JSAC.2007.071002"},{"key":"5","first-page":"1415","article-title":"A framework for worst-case and stochastic safety verification using barrier certificates,\" automatic control","volume":"52","author":"prajna","year":"2007","journal-title":"IEEE Transactions on"},{"key":"4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/37.887448","article-title":"Platoons of underwater vehicles","volume":"20","author":"stilwell","year":"2000","journal-title":"Control Systems IEEE"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/25.350282"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/90.234858"}],"event":{"name":"2014 11th IEEE International Conference on Control & Automation (ICCA)","start":{"date-parts":[[2014,6,18]]},"location":"Taichung, Taiwan","end":{"date-parts":[[2014,6,20]]}},"container-title":["11th IEEE International Conference on Control &amp; Automation (ICCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6867216\/6870875\/06871032.pdf?arnumber=6871032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:26:10Z","timestamp":1602689170000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6871032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icca.2014.6871032","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}