{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:45Z","timestamp":1762521705127},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/tcst.2014.2335052","type":"journal-article","created":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T18:56:39Z","timestamp":1407524199000},"page":"584-597","source":"Crossref","is-referenced-by-count":9,"title":["Symbolic Supervisory Control of Timed Discrete Event Systems"],"prefix":"10.1109","volume":"23","author":[{"given":"Sajed","family":"Miremadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhennan Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-008-1555-9"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/3-540-58867-1_46","volume":"891","author":"lewerentz","year":"1995","journal-title":"Formal Development of Reactive Systems—Case Study Production Cell (Lecture Notes in Computer Science)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042342"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059025"},{"key":"ref10","article-title":"Timed state tree structures: Supervisory control and fault diagnosis","author":"saadatpoor","year":"2009"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814101"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref14","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":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.013"},{"key":"ref16","first-page":"131","article-title":"Solving two supervisory control benchmark problems using supremica","author":"miremadi","year":"2008","journal-title":"Proc 9th Int Workshop Discrete Event Syst"},{"key":"ref17","first-page":"106","article-title":"Efficient symbolic supervisory synthesis and guard generation: Evaluating partitioning techniques for the state-space exploration","author":"fei","year":"2011","journal-title":"Proc 3rd Int Conf Agents Artif Intell"},{"key":"ref18","article-title":"A structural approach to operational semantics","author":"plotkin","year":"1981"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2167150"},{"key":"ref27","first-page":"66","article-title":"Efficient on-the-fly algorithms for the analysis of timed games","author":"cassez","year":"2005","journal-title":"Proc 16th Int'l Conf Concurrency Theory"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref6","first-page":"9494","article-title":"Planning transport sequences for flexible manufacturing systems","author":"magnusson","year":"2011","journal-title":"Proc 18th Int Fed Accountants (IFAC) World Congr"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2146249"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584141"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"2359","DOI":"10.1109\/ACC.1997.609097","article-title":"Maximally permissive state feedback logic for controlled time Petri nets","volume":"4","author":"haoxun","year":"1997","journal-title":"Proc Amer Control Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.52290"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2282895"},{"key":"ref9","first-page":"8","article-title":"The modeling and supervisory control of timed DES","author":"brandin","year":"1998","journal-title":"Proc 4th Int Workshop Discrete Event Syst (WODES)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref24","article-title":"An introduction to binary decision diagrams","author":"andersen","year":"1999"},{"key":"ref23","first-page":"119","article-title":"STSLib and its application to two benchmarks","author":"ma","year":"2008","journal-title":"Proc Workshop Discrete Event Syst (WODES)"},{"key":"ref26","first-page":"90","article-title":"Automatic synthesis of robust and optimal controllers—An industrial case study","author":"cassez","year":"2009","journal-title":"Proc 12th Int Conf Hybrid Syst Comput Control"},{"key":"ref25","year":"2014","journal-title":"JavaBDD"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/7042235\/06874534.pdf?arnumber=6874534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:41:00Z","timestamp":1642005660000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6874534\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":35,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2014.2335052","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3]]}}}