{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:48:28Z","timestamp":1761662908390},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1109\/coase.2010.5584659","type":"proceedings-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T18:03:24Z","timestamp":1285783404000},"source":"Crossref","is-referenced-by-count":7,"title":["Symbolic approach to nonblocking and safe control of Extended Finite Automata"],"prefix":"10.1109","author":[{"given":"L","family":"Ouedraogo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K","family":"Akesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582126"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1109\/ACC.2001.945847","article-title":"Safety control of discrete event systems using finite state machines with parameters","author":"chen","year":"2001","journal-title":"Proc of American Control Conf"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605944"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/00207720802299077"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2004.829432"},{"key":"ref7","article-title":"Supervisory control applied to automata extended with variables - revised","author":"sk\u00f6ldstam","year":"2008","journal-title":"Department of Signals and Systems Chalmers University of Technology Tech Rep R001\/2008"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.250512"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/CCA.2000.897591","article-title":"Modeling of discrete event systems using finite state machines with parameters","author":"chen","year":"2000","journal-title":"Proc of the 2000 IEEE Int Conf on Control Applications"}],"event":{"name":"2010 IEEE International Conference on Automation Science and Engineering (CASE 2010)","location":"Toronto, ON","start":{"date-parts":[[2010,8,21]]},"end":{"date-parts":[[2010,8,24]]}},"container-title":["2010 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570123\/5583939\/05584659.pdf?arnumber=5584659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:36:00Z","timestamp":1497882960000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5584659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/coase.2010.5584659","relation":{},"subject":[],"published":{"date-parts":[[2010,8]]}}}