{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:26:09Z","timestamp":1729661169511,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7171015","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T17:26:01Z","timestamp":1438277161000},"page":"1929-1934","source":"Crossref","is-referenced-by-count":6,"title":["Learning-based design of fault-tolerant cooperative multi-agent systems"],"prefix":"10.1109","author":[{"given":"Jin","family":"Dai","sequence":"first","affiliation":[]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385014300029"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/j.automatica.2011.01.007","article-title":"Active fault tolerant control of disrete event systems using online diagnostics","volume":"47","author":"paoli","year":"2011","journal-title":"Automatica"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582703"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929388"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.078"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040356"},{"key":"ref8","first-page":"48","article-title":"Automatic deployment of distributed teams of robots from temporal logic motion specifications","volume":"53","author":"kloetzer","year":"2008","journal-title":"IEEE Trans Autom Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2011.631149"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1007\/11513988_52","article-title":"Symbolic compositional verification by learning assumptions","volume":"3576","author":"alur","year":"2005","journal-title":"Computer Aided Verification"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"1510","DOI":"10.1016\/j.automatica.2010.06.011","article-title":"Reliable supervisory control for general architecture of decentralized discrete event systems","volume":"46","author":"liu","year":"2010","journal-title":"Automatica"}],"event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07171015.pdf?arnumber=7171015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T12:44:31Z","timestamp":1498221871000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7171015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7171015","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}