{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:36Z","timestamp":1760202636745,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:36:49Z","timestamp":1330277809000},"page":"279-292","source":"Crossref","is-referenced-by-count":8,"title":["Supervisory control of finite state machines"],"prefix":"10.1007","author":[{"given":"A.","family":"Aziz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Balarin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. K.","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. D.","family":"DiBenedetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Saldanha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","volume-title":"Technical Report UCB\/ERL M94\/96","author":"A. Aziz","year":"1994","unstructured":"Adnan Aziz and Robert K. Brayton. Synthesizing interacting finite state machines. Technical Report UCB\/ERL M94\/96, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, December 1994."},{"issue":"7","key":"23_CR2","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S. Balemi","year":"1993","unstructured":"S. Balemi, G. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040\u20131059, July 1993.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"23_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J. R. Buchi","year":"1969","unstructured":"J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, 138:295\u2013311, April 1969.","journal-title":"Transactions of the American Mathematical Society"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"J.R. Burch, D.L. Dill, E. Wolf, and G. DeMicheli. Modeling hierarcical combinational circuits. In Digest of Technical Papers of the 1993 IEEE International Conference on CAD, pages 612\u2013617, November 1993.","DOI":"10.1109\/ICCAD.1993.580149"},{"key":"23_CR5","unstructured":"M.D. DiBenedetto, A. Saldanha, and A. Sangiovanni-Vincentelli. Model matching for finite state machines. In Proceedings of the IEEE Conference on Decision and Control, December 1994."},{"key":"23_CR6","unstructured":"M.D. DiBenedetto, A. Saldanha, and A. Sangiovanni-Vincentelli. Strong model matching for finite state machines. In Proc. of Euorpean Control Conference, September 1995."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"C.H. Golaszewski and R.P. Kurshan. Task-driven supervisory control of discrete event systems. In Edmund M. Clarke and Robert P. Kurshan, editors, Proceedings of the Workshop on Computer-Aided Verification, volume 531 of LNCS, pages 282\u2013291. Springer-Verlag, June 1990.","DOI":"10.1007\/BFb0023742"},{"key":"23_CR8","unstructured":"J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, languages and Computation. Addison Wesley, 1979."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"O.H. Jensen, J.T. Lang, C. Jeppesen, and K.G. Larsen. Model construction for implicit specifications in modal logic. Lecture Notes in Computer Science, 715, 1993.","DOI":"10.1007\/3-540-57208-2_18"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"B. Jonsson and K.G. Larsen. On the complexity of equation solving in process algebra. Lecture Notes in Computer Science, 493, 1991. In Proceedings of TAPSOET'91.","DOI":"10.1007\/3-540-53982-4_21"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"T. Kam, T. Villa, R. Brayton, and A. Sangiovanni-Vincentelli. A fully implicit algorithm for exact state minimization. In Proceedings of the 31th ACM\/IEEE Design Automation Conference, pages 684\u2013690, June 1994.","DOI":"10.1145\/196244.196615"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"J. Parrow. Submodule construction as equation solving in CCS. Theoretical Computer Science, 68, 1989.","DOI":"10.1016\/0304-3975(89)90128-X"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Amir Pneuli and Roni Rosner. On the synthesis of a reactive module. In Proc. Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75293"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"M.O. Rabin. Automata on infinite trees an Church's problem, volume 13 of Regional Conference Series in Mathematics. American Mathematical Society, 1972.","DOI":"10.1090\/cbms\/013"},{"issue":"1","key":"23_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. Ramadge","year":"1989","unstructured":"P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81\u201398, January 1989.","journal-title":"Proceedings of the IEEE"},{"key":"23_CR16","series-title":"UCB\/ERL Mem. No. M94\/32","volume-title":"PhD thesis","author":"Y. Watanabe","year":"1994","unstructured":"Yosinori Watanabe. Logic Optimization of Interacting Components in Synchonous Digital System. PhD thesis, University of California, Berkeley, 1994. UCB\/ERL Mem. No. M94\/32."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi and D.L. Dill. Synthesizing processes and schedulers from temporal specifications. In Edmund M. Clarke and Robert P. Kurshan, editors, Proceedings of the Workshop on Computer-Aided Verification, volume 531 of LNCS, pages 272\u2013281. Springer-Verlag, June 1990.","DOI":"10.1007\/BFb0023741"},{"issue":"3","key":"23_CR18","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. Wonham","year":"1987","unstructured":"W. Wonham and P. Ramadge. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization, 25(3):637\u2013659, May 1987.","journal-title":"SIAM Journal of Control and Optimization"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:51:41Z","timestamp":1742597501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}