{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T17:22:35Z","timestamp":1747070555053,"version":"3.37.3"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:00:00Z","timestamp":1414800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:00:00Z","timestamp":1414800000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:00:00Z","timestamp":1414800000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Wingquist Laboratory VINN Excellence Centre within the Area of Advance-Production at Chalmers"},{"DOI":"10.13039\/501100001858","name":"VINNOVA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Swedish Science Foundation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/tcst.2014.2303134","type":"journal-article","created":{"date-parts":[[2014,2,10]],"date-time":"2014-02-10T19:05:02Z","timestamp":1392059102000},"page":"2368-2375","source":"Crossref","is-referenced-by-count":15,"title":["Efficient Symbolic Supervisor Synthesis for Extended Finite Automata"],"prefix":"10.1109","volume":"22","author":[{"given":"Zhennan","family":"Fei","sequence":"first","affiliation":[{"name":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sajed","family":"Miremadi","sequence":"additional","affiliation":[{"name":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[{"name":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[{"name":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.013"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605934"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.1992.4792651"},{"journal-title":"Hierarchical interface-based supervisory control","year":"2002","author":"leduc","key":"ref23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29966-7_11"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042469"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref21","first-page":"22","article-title":"A control software development method using IEC 61499 function blocks, simulation and formal verification","author":"cengic","year":"0","journal-title":"Proc 17th IFAC World Congr"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875441"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196379"},{"journal-title":"The JavaBDD Project Website","year":"2005","author":"whaley","key":"ref19"},{"key":"ref18","first-page":"384","article-title":"Supremica—An integrated environment for verification, synthesis and simulation of discrete event systems","author":"\u00e5kesson","year":"2006","journal-title":"Proc 8th Int Workshop Discrete Event Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2167150"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184677"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5990831"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875030"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/6912797\/06736096.pdf?arnumber=6736096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T22:36:20Z","timestamp":1683066980000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6736096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":24,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2014.2303134","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":[[2014,11]]}}}