{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:58:17Z","timestamp":1729652297131,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6761098","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"7615-7620","source":"Crossref","is-referenced-by-count":4,"title":["Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems"],"prefix":"10.1109","author":[{"given":"Jasen","family":"Markovski","sequence":"first","affiliation":[]},{"family":"Rong Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Demo Models and Model Tranformation Tools","year":"2013","author":"markovski","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7946(03)80431-5"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2011.18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.1993.343043"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1002\/9783527622771.ch3"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027674"},{"key":"11","volume":"1 2","author":"howard","year":"1971","journal-title":"Dynamic Probabilistic Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758208"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2012.24"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_2"},{"key":"24","first-page":"1","article-title":"Model-based engineering of supervisory controllers using CIF","volume":"21","author":"schiffelers","year":"2009","journal-title":"Electronic Communications of the EASST"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","author":"baeten","year":"2002","journal-title":"Process Algebra with Timing"},{"key":"2","article-title":"Process algebra: Equational theories of communicating processes","volume":"50","author":"baeten","year":"2010","journal-title":"Cambridge Tracts in Theoretical Computer Science"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"journal-title":"Introduction to Discrete Event Systems","year":"2004","author":"cassandras","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8141-3_38"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00253-8"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5990831"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/9.746254"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_18"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06761098.pdf?arnumber=6761098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:35:25Z","timestamp":1498109725000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6761098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6761098","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}