{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:13:28Z","timestamp":1729638808981,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/cacsd.2013.6663475","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T21:54:11Z","timestamp":1385589251000},"page":"13-18","source":"Crossref","is-referenced-by-count":1,"title":["Characterizing feedback signal drop patterns in formal verification of networked control systems"],"prefix":"10.1109","author":[{"given":"Dip","family":"Goswami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Purandar","family":"Bhaduri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjoy K.","family":"Mitter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/DATE.2003.1253607"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/MEMCOD.2004.1459815"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1093\/imamat\/69.3.271"},{"key":"23","article-title":"Interface-based design","author":"de alfaro","year":"2004","journal-title":"NATO Science Series"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/87.481765"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1007\/3-540-45449-7_11"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/ASPDAC.2013.6509631"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/2228360.2228484"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/RTAS.2008.13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/978-3-540-71493-4_46"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/DELTA.2011.22"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/2039370.2039394"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/RTSS.2005.21"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/TAC.2011.2163864"},{"key":"20","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"STTT"},{"key":"2","first-page":"8499","article-title":"Stability of networked control systems","volume":"21","author":"zhang","year":"2001","journal-title":"Automatica"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/87.998034"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/SIES.2010.5551383"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/TAC.2004.831187"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/TAC.2010.2057951"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/ACC.2009.5160461"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/TAC.2011.2163873"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/ASPDAC.2011.5722188"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/TAC.2004.831102"}],"event":{"name":"2013 IEEE Conference on Computer Aided Control System Design (CACSD)","start":{"date-parts":[[2013,8,28]]},"location":"Hyderabad, India","end":{"date-parts":[[2013,8,30]]}},"container-title":["2013 IEEE Conference on Computer Aided Control System Design (CACSD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648483\/6663471\/06663475.pdf?arnumber=6663475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:16:39Z","timestamp":1498101399000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6663475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cacsd.2013.6663475","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}