{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T14:08:16Z","timestamp":1777385296028,"version":"3.51.4"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/coase.2017.8256222","type":"proceedings-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:11:01Z","timestamp":1516212661000},"page":"926-931","source":"Crossref","is-referenced-by-count":3,"title":["Time optimal synthesis based upon sequential abstraction and maximizing parallelism"],"prefix":"10.1109","author":[{"given":"Simon","family":"Ware","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605966"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824795"},{"key":"ref12","first-page":"39","volume":"16","author":"su","year":"2006","journal-title":"Hierarchical fault diagnosis for discrete-event systems under global consistency ” Discrete Event Dynamic Systems"},{"key":"ref13","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref14","author":"hopcroft","year":"2001","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref15","first-page":"2326","volume":"47","author":"su","year":"2011","journal-title":"String execution time for finite languages Max is easy min is hard ” Automatica"},{"key":"ref16","first-page":"529561","article-title":"Canonical regular expressions and minimal state graphs for definite events","author":"brzozowski","year":"1963","journal-title":"Proceedings of the Symposium on Mathematical Theory of Automata"},{"key":"ref17","author":"christofides","year":"1975","journal-title":"Graph Theory An Algorithmic Approach (Computer Science and Applied Mathematics)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.393"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042342"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2157391"},{"key":"ref3","first-page":"1","article-title":"Time optimal synthesis based upon sequential abstraction and its application to cluster tools","volume":"pp","author":"ware","year":"2016","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref6","first-page":"1","article-title":"Optimal one-wafer cyclic scheduling of hybrid multirobot cluster tools with tree topology","volume":"pp","author":"yang","year":"2017","journal-title":"IEEE Transactions on Systems Man and Cybernetics Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2318679"},{"key":"ref8","author":"pinedo","year":"2008","journal-title":"Scheduling Theory Algorithms and Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2342099"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"wonham","year":"1987","journal-title":"On the supremal controllable sublanguage of a given language ” SIAM Journal on Control and Optimization"},{"key":"ref1","first-page":"206","volume":"25","author":"ramadge","year":"1987","journal-title":"Supervisory control of a class of discrete event processes ” SIAM Journal on Control and Optimization"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2016.7743520"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"1914","DOI":"10.1137\/070695526","volume":"48","author":"flordal","year":"2009","journal-title":"Compositianal verification in supervisory control ” SIAM Journal on Control and Optimization"}],"event":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)","location":"Xi'an","start":{"date-parts":[[2017,8,20]]},"end":{"date-parts":[[2017,8,23]]}},"container-title":["2017 13th IEEE Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8244402\/8256062\/08256222.pdf?arnumber=8256222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:32:40Z","timestamp":1570613560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8256222\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/coase.2017.8256222","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}