{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:33:12Z","timestamp":1725499992557},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4434977","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T21:06:38Z","timestamp":1201554398000},"page":"3399-3404","source":"Crossref","is-referenced-by-count":1,"title":["Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times"],"prefix":"10.1109","author":[{"given":"S.","family":"Xu","sequence":"first","affiliation":[]},{"given":"R.","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"journal-title":"Techniques for automatic verification of real-time systems","year":"1991","author":"alur","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/9.376081"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2217-1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657691"},{"key":"8","article-title":"the input-output control of real-time discrete event systems","author":"wong-toi","year":"1992","journal-title":"Proc 13th IEEE Real-Time Systems Symp"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","start":{"date-parts":[[2007,12,12]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04434977.pdf?arnumber=4434977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T19:14:25Z","timestamp":1489691665000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4434977\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4434977","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}