{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:39:51Z","timestamp":1649147991484},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1007\/bf01438606","type":"journal-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T11:45:42Z","timestamp":1113306342000},"page":"33-57","source":"Crossref","is-referenced-by-count":1,"title":["Stabilization and blocking in state feedback control of discrete event systems"],"prefix":"10.1007","volume":"5","author":[{"given":"Shigemasa","family":"Takai","sequence":"first","affiliation":[]},{"given":"Toshimitsu","family":"Ushio","sequence":"additional","affiliation":[]},{"given":"Shinzo","family":"Kodama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"CR1","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1080\/00207179008934118","volume":"51","author":"Y. Brave","year":"1990","unstructured":"Brave, Y., and Heymann, M. 1990. Stabilization of discrete-event processes.Int. J. Control, 51(5): 1101?1117.","journal-title":"Int. J. Control"},{"issue":"6","key":"CR2","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1109\/9.86945","volume":"36","author":"E. Chen","year":"1991","unstructured":"Chen, E., and Lafortune, S. 1991. Dealing, with blocking in supervisory control of discrete-event systems.IEEE Trans. Automat. Contr., 36(6): 724?735.","journal-title":"IEEE Trans. Automat. Contr."},{"key":"CR3","volume-title":"A Discipline of Programing","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W. 1976.A Discipline of Programing. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., and Scholten, C.S. 1990.Predicate Calculus and Program Semantics New York: Springer-Verlag."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Garg, V.K., and Kumar, R. 1992. A state-variable approach for controlling discrete event systems with infinite states.Proc. 1992 ACC, pp. 2809?2813.","DOI":"10.23919\/ACC.1992.4792655"},{"key":"CR6","volume-title":"Introduction to Automata Theory, Language, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., and Ullman, J.D. 1979.Introduction to Automata Theory, Language, and Computation. Reading, MA: Addison-Wesley."},{"issue":"2","key":"CR7","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R. Kumar","year":"1993","unstructured":"Kumar, R., Garg, V.K., and Marcus, S.I. 1993a. Predicates and predicate transformers for supervisory control of discrete event dynamical systems.IEEE Trans. Automat. Contr., 38(2): 232?247","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"5","key":"CR8","doi-asserted-by":"crossref","first-page":"1294","DOI":"10.1137\/0331061","volume":"31","author":"R. Kumar","year":"1993","unstructured":"Kumar, R., Garg, V.K., and Marcus, S.I. 1993b. Language stability and stabilizability of discrete event dynamical systems.SIAM J. Contr. Optimiz., 31(5): 1294?1320.","journal-title":"SIAM J. Contr. Optimiz."},{"issue":"4","key":"CR9","first-page":"724","volume":"35","author":"S. Lafortune","year":"1990","unstructured":"Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control.IEEE Trans. Automat. Contr. 35(4): 724?735.","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01797143","volume":"1","author":"S. Lafortune","year":"1991","unstructured":"Lafortune, S., and Lin, F. 1991. On tolerable and desirable behaviors in supervisory control of discrete event systems.Discrete Event Dynamic Systems: Theory and Applications, 1(1): 61?92.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"CR11","unstructured":"Li, Y., and Wonham, W.M. 1988. Controllability and observability in the state feedback control of discrete-event systems.Proc. 27th IEEE CDC, pp. 203?208."},{"issue":"8","key":"CR12","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1109\/9.233154","volume":"38","author":"Y. Li","year":"1993","unstructured":"Li, Y., and Wonham, W.M. 1993. Control of vector discrete-event systems I-The base model.IEEE Trans. Automat. Contr., 38(8): 1214?1227.","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"1","key":"CR13","first-page":"19","volume":"7","author":"F. Lin","year":"1991","unstructured":"Lin, F., and Wonham, W.M. 1991. Verification of nonblocking in decentralized supervision.Control-Theory Adv. Technol., 7(1): 19?29.","journal-title":"Control-Theory Adv. Technol."},{"issue":"8","key":"CR14","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1109\/9.133186","volume":"36","author":"C.M. \u00d6zveren","year":"1991","unstructured":"\u00d6zveren, C.M., and Willsky, A.S. 1991. Output stabilizability of discrete event dynamic systems.IEEE Trans. Automat. Contr., 36(8): 925?935.","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"3","key":"CR15","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1145\/116825.116855","volume":"38","author":"C.M. \u00d6zveren","year":"1991","unstructured":"\u00d6zveren, C.M., Willsky, A.S., and Antsaklis, P.J. 1991. Stability and stabilizability of discrete event dynamic systems.J. ACM, 38(3): 730?752.","journal-title":"J. ACM"},{"issue":"1","key":"CR16","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. 1987a. Supervisory control of a class of discrete-event processes.SIAM J. Contr. Optimiz., 25(1): 206?230.","journal-title":"SIAM J. Contr. Optimiz."},{"issue":"5","key":"CR17","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., and Wonham, W.M. 1987b. Modular feedback logic for discrete event systems.SIAM J. Contr. Optimiz., 25(5): 1202?1218.","journal-title":"SIAM J. Contr. Optimiz."},{"issue":"1","key":"CR18","doi-asserted-by":"crossref","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. IEEE, 77(1): 81?98.","journal-title":"Proc. IEEE"}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01438606.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01438606\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01438606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T18:01:41Z","timestamp":1556820101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01438606"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["BF01438606"],"URL":"https:\/\/doi.org\/10.1007\/bf01438606","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}