{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T02:01:54Z","timestamp":1772762514767,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1023\/a:1008301317459","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"377-429","source":"Crossref","is-referenced-by-count":66,"title":["Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines"],"prefix":"10.1007","volume":"8","author":[{"given":"George","family":"Barrett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"184721_CR1","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A. 1994. Finite Transition Systems. NJ: Prentice Hall."},{"key":"184721_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J. C. M., and Weijland, W. P. 1990. Process algebra. Cambridge Tracts in Theoretical Computer Science 18.","DOI":"10.1017\/CBO9780511624193"},{"key":"184721_CR3","volume-title":"Proc. of 34th Annual Allerton Conference on Communication, Control and Computing","author":"G. Barrett","year":"1996","unstructured":"Barrett, G., and Lafortune, S. 1996. A bisimulation approach to the supervisory control of discrete event systems. Proc. of 34th Annual Allerton Conference on Communication, Control and Computing. Allerton Park, IL."},{"key":"184721_CR4","first-page":"2337","volume-title":"Proc. 1997 American Control Conf.","author":"G. Barrett","year":"1997","unstructured":"Barrett, G., and Lafortune, S. 1997. Using bisimulation to solve discrete event control problems. Proc. 1997 American Control Conf. Albuquerque, NM, pp. 2337-2341."},{"key":"184721_CR5","doi-asserted-by":"crossref","unstructured":"Bloom, B., Istrail, S., and Meyer, A. 1988. Bisimulation can't be traced: Preliminary report. Proc. of 15th Annual SIGACT-SIGPLAN Symposium on Principles of Programming Languages.","DOI":"10.1145\/73560.73580"},{"key":"184721_CR6","doi-asserted-by":"crossref","unstructured":"Cassandras, C., Lafortune, S., and Olsder, G. 1995. Introduction to the modelling, control and optimization of discrete event systems. Trends in Control. A European Perspective. A. Isidori, ed., Springer-Verlag, pp. 217- 291.","DOI":"10.1007\/978-1-4471-3061-1_9"},{"key":"184721_CR7","first-page":"3117","volume-title":"Proc. of 33rd Conf. Decision and Control","author":"M. D. DiBenedetto","year":"1994","unstructured":"DiBenedetto, M. D., Saldanha, A., and Sangiovanni-Vincentelli, A. 1994. Model matching for finite state machines. Proc. of 33rd Conf. Decision and Control. Lake Buena Vista, FL. pp. 3117-3124."},{"key":"184721_CR8","unstructured":"DiBenedetto, M. D., Saldanha, A., and Sangiovanni-Vincentelli, A. 1995. Strong model matching for finite state machines. Proc. of 3rd European Control Conference. Rome, Italy, pp. 2027-2034."},{"key":"184721_CR9","first-page":"422","volume-title":"Proc. of 34rd Conf. Decision and Control","author":"M. D. DiBenedetto","year":"1995","unstructured":"DiBenedetto, M. D., Saldanha, A., and Sangiovanni-Vincentelli, A. 1995. Strong model matching for finite state machines with non-deterministic reference model. Proc. of 34rd Conf. Decision and Control. New Orleans, LA. pp. 422-426."},{"key":"184721_CR10","unstructured":"DiBenedetto, M. D., Saldanha, A., and Sangiovanni-Vincentelli, A. 1996. Model matching for finite state machines. Cadence Berkeley Laboratories Technical Report."},{"key":"184721_CR11","unstructured":"Fabian, M. 1995. On object oriented nondeterministic supervisory control. Ph.D. thesis, Chalmers University of Technology."},{"key":"184721_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"J. Fernandez","year":"1990","unstructured":"Fernandez, J. 1990. An implementation of an efficient algorithm for bisimulation equivalence. Sci. Comput. Programming 13: 219-236.","journal-title":"Sci. Comput. Programming"},{"key":"184721_CR13","unstructured":"Fernandez, J. 1996. Personal communications."},{"key":"184721_CR14","doi-asserted-by":"publisher","first-page":"2398","DOI":"10.1109\/9.362854","volume":"39","author":"N. B. Hadj-Alouane","year":"1994","unstructured":"Hadj-Alouane, N. B., Lafortune, S., and Lin, F. 1994. Variable lookahead supervisory control with state information. IEEE Trans. Automat. Contr. 39-12: 2398-2410.","journal-title":"IEEE Trans. Automat. Contr."},{"key":"184721_CR15","volume-title":"Introduction to Digital Logic Design","author":"J. P. Hayes","year":"1993","unstructured":"Hayes, J. P. 1993. Introduction to Digital Logic Design. Reading, MA: Addison-Wesley."},{"key":"184721_CR16","unstructured":"Heymann, M., and Lin, F. 1996. Discrete event control of nondeterministic systems. Tech. Report # CIS 9601, Department of Computer Science Technion, Israel Institute of Technology."},{"key":"184721_CR17","volume-title":"Tech. Report NASA Memorandum 102848","author":"M. Heymann","year":"1991","unstructured":"Heymann, M., and Meyer, G. 1991. An algebra of discrete event processes. Tech. Report NASA Memorandum 102848. NASA, Ames Research Center, Moffett Field, CA."},{"key":"184721_CR18","doi-asserted-by":"crossref","unstructured":"Inan, K. 1994. Nondeterministic supervision under partial observation. 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems. G. Cohen and J. Quadrat, eds., Springer-Verlag, pp. 39- 48.","DOI":"10.1007\/BFb0033530"},{"key":"184721_CR19","volume-title":"Switching and Finite Automata Theory","author":"Z. Kohavi","year":"1978","unstructured":"Kohavi, Z. 1978. Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill.","edition":"2nd ed."},{"key":"184721_CR20","doi-asserted-by":"crossref","unstructured":"Kumar, R., Garg, V., and Marcus, S. I. On controllability and normality of discrete-event dynamical systems. Syst. Contr. Lett. 17: 157-168.","DOI":"10.1016\/0167-6911(91)90061-I"},{"key":"184721_CR21","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/9.566659","volume":"42","author":"A. Overkamp","year":"1997","unstructured":"Overkamp, A. 1997. Supervisory control using failure semantics and partial specifications. IEEE Trans. Automat. Contr. 42-4: 498-510.","journal-title":"IEEE Trans. Automat. Contr."},{"key":"184721_CR22","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"Paige, R., and Tarjan, R. 1987. Three partition refinement algorithms. SIAM J. Comput. 16-6: 973-989.","journal-title":"SIAM J. Comput."},{"key":"184721_CR23","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25-1: 206-230.","journal-title":"SIAM J. Control Optim."},{"key":"184721_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proc. of the IEEE 77-1: 81-98.","journal-title":"Proc. of the IEEE"},{"key":"184721_CR25","unstructured":"Sangiovanni-Vincentelli, A. 1995. Personal communications."},{"key":"184721_CR26","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1137\/S0363012992239600","volume":"33","author":"M. Shayman","year":"1995","unstructured":"Shayman, M., and Kumar, R. 1995. Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models. SIAM J. Control Optim. 33-2: 469-497.","journal-title":"SIAM J. Control Optim."},{"key":"184721_CR27","unstructured":"Thistle, J. G., Malham\u00e9, R. P., Hoang, H. H., and Lafortune, S. 1995. Blocking, modularity, and feature interactions in distributed systems. Preprint."},{"key":"184721_CR28","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"Wonham, W. M., and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25-3: 637-659.","journal-title":"SIAM J. Control Optim."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008301317459.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008301317459\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008301317459.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:51:42Z","timestamp":1753761102000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008301317459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["184721"],"URL":"https:\/\/doi.org\/10.1023\/a:1008301317459","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}