{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T01:44:02Z","timestamp":1648777442019},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,2,1]],"date-time":"1994-02-01T00:00:00Z","timestamp":760060800000},"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":[[1994,2]]},"DOI":"10.1007\/bf01516008","type":"journal-article","created":{"date-parts":[[2005,4,21]],"date-time":"2005-04-21T08:41:02Z","timestamp":1114072862000},"page":"5-22","source":"Crossref","is-referenced-by-count":2,"title":["Supervisory control using augmented languages in discrete event systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Toshimitsu","family":"Ushio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","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. 1991a. Dealing with blocking in supervisory control of discrete-event systems,IEEE Trans. Automat. Control AC-36, pp. 724?735.","journal-title":"IEEE Trans. Automat. Control AC"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0167-6911(91)90035-D","volume":"17","author":"E. Chen","year":"1991","unstructured":"Chen, E., and Lafortune, S. 1991b. On nonconflicting languages that arise in supervisory control of discrete event systems,Systems Control Lett. 17, pp. 105?113.","journal-title":"Systems Control Lett."},{"key":"CR3","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."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/9.52291","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. Control AC-35, pp. 398?405.","journal-title":"IEEE Trans. Automat. Control AC"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/9.8645","volume":"34","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J. 1989. Some tractable supervisory control problems for discrete-event systems modeled by B\u00fcchi automata,IEEE Trans. Automat. Control AC-34, pp. 10?19.","journal-title":"IEEE Trans. Automat. Control AC"},{"key":"CR6","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, pp. 206?230.","journal-title":"SIAM J. Control Optim."},{"key":"CR7","first-page":"265","volume":"5","author":"T. Ushio","year":"1989","unstructured":"Ushio, T. 1989. On controllability of controlled Petri nets,Control-Theory Adv. Technol. 5, pp. 265?275.","journal-title":"Control-Theory Adv. Technol."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Ushio, T. 1990. On the existence of finite state supervisors in discrete-event systems,Proc. 29th IEEE CDC, pp. 2857?2860.","DOI":"10.1109\/CDC.1990.203302"},{"key":"CR9","unstructured":"Ushio, T. 1992. The augmented language and its application in supervisory control. InRecent Advances in Mathematical Theory of Systems, Control, Networks and Signal Processing II (H. Kimura and S. Kodama, eds.), pp. 43?48."},{"key":"CR10","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, pp. 637?659.","journal-title":"SIAM J. Control Optim."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W.M. Wonham","year":"1988","unstructured":"Wonham, W.M., and Ramadge, R.J. 1988. Modular supervisory control of discrete-event systems,Math. Control Signals Systems 1, pp. 13?30.","journal-title":"Math. Control Signals Systems"}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01516008\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01516008.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01516008\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01516008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T12:51:36Z","timestamp":1556887896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01516008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,2]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,2]]}},"alternative-id":["BF01516008"],"URL":"https:\/\/doi.org\/10.1007\/bf01516008","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,2]]}}}