{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:16:01Z","timestamp":1729674961579,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7040212","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:53:59Z","timestamp":1424202839000},"page":"5266-5271","source":"Crossref","is-referenced-by-count":5,"title":["Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol"],"prefix":"10.1109","author":[{"given":"Bo","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(01)00369-3"},{"article-title":"Real-time control systems with delays","year":"1998","author":"nilsson","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MOBHOC.2009.5337007"},{"article-title":"Formal methods for the analysis of wireless network protocols","year":"2011","author":"fruth","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11814764_12"},{"journal-title":"Model checking 1999","year":"0","author":"clarke","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2012.6195488"},{"journal-title":"Probabilistic Model Checking of the IEEE 802 11 Wireless Local Area Network Protocol","year":"2002","author":"kwiatkowska","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887290"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844177"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967744"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2015543"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/49.840210"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.832203"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887288"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426060"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929379"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00046-9"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"1243","DOI":"10.1016\/j.automatica.2006.12.020","article-title":"Stability robustness of networked control systems with respect to packet loss","volume":"43","year":"2007","journal-title":"Automatica"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_18"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0005-2"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07040212.pdf?arnumber=7040212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T01:03:35Z","timestamp":1566349415000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7040212\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7040212","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}