{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:21:22Z","timestamp":1740133282645,"version":"3.37.3"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["NSF-CNS-1239222","NSF-ECCS-1253488","NSF-CNS-1446288"],"award-info":[{"award-number":["NSF-CNS-1239222","NSF-ECCS-1253488","NSF-CNS-1446288"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/tcst.2017.2723877","type":"journal-article","created":{"date-parts":[[2017,7,26]],"date-time":"2017-07-26T18:46:20Z","timestamp":1501094780000},"page":"1635-1645","source":"Crossref","is-referenced-by-count":21,"title":["Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7199-6525","authenticated-orcid":false,"given":"Bo","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.24"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-642-31424-7_25","article-title":"Assume-guarantee abstraction refinement for probabilistic systems","author":"komuravelli","year":"2012","journal-title":"Computer Aided Verification"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.01.038"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.01.022"},{"key":"ref31","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":"ref30","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/732137"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1090\/crmm\/023"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.12.020"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2010999"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040212"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2015558"},{"journal-title":"Counterexample-guided abstraction refinement","year":"2017","author":"zhang","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2013.2248339"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1109\/TCST.2008.2004346","article-title":"Optimal stabilizing gain selection for networked control systems with time delays and packet losses","volume":"17","author":"li","year":"2009","journal-title":"IEEE Trans Control Syst Technol"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/49.840210"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426060"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2014.6871071"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LCOMM.2005.1496592"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2009.2014956"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-45605-8_11","article-title":"Probabilistic model checking of the IEEE 802.11 wireless local area network protocol","author":"kwiatkowska","year":"2002","journal-title":"Process Algebra and Probabilistic Methods Performance Modeling and Verification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844177"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2012.6195488"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2189211"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/87.998034"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887290"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2063150"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/87.987076"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.899155"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/00207170701598478"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887288"},{"key":"ref20","first-page":"1691","article-title":"Analytical modeling and optimization of duty-cycles in preamble-based IEEE 802.15.4 wireless sensor networks","volume":"19","author":"fischione","year":"2013","journal-title":"IEEE\/ACM Trans Netw"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MOBHOC.2009.5337007"},{"article-title":"Real-time control systems with delays","year":"1998","author":"nilsson","key":"ref21"},{"journal-title":"Permissive supervisor synthesis for Markov decision processes through learning","year":"2017","author":"wu","key":"ref42"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/11814764_12","article-title":"Formal verification and simulation for performance analysis for probabilistic broadcast protocols","author":"fehnker","year":"2006","journal-title":"Ad-Hoc Mobile and Wireless Networks"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526535"},{"article-title":"Formal methods for the analysis of wireless network protocols","year":"2011","author":"fruth","key":"ref23"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref26"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref25"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/87\/8425800\/7993094-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/8425800\/07993094.pdf?arnumber=7993094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:49:36Z","timestamp":1649443776000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7993094\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":42,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2017.2723877","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"type":"print","value":"1063-6536"},{"type":"electronic","value":"1558-0865"},{"type":"electronic","value":"2374-0159"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}