{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T05:46:11Z","timestamp":1751348771444},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Control Signal Systems"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf02134011","type":"journal-article","created":{"date-parts":[[2005,9,14]],"date-time":"2005-09-14T14:36:25Z","timestamp":1126708585000},"page":"365-390","source":"Crossref","is-referenced-by-count":30,"title":["Invertibility of Discrete-Event Dynamic Systems"],"prefix":"10.1007","volume":"5","author":[{"given":"C\u00fcneyt M.","family":"\u00d6zveren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan S.","family":"Willsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02134011_CR1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R. Cieslak","year":"1988","unstructured":"R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, Supervisory control of discrete-event processes with partial observations,IEEE Trans. Automat. Control,33 (1988), 249\u2013260.","journal-title":"IEEE Trans. Automat. Control"},{"key":"BF02134011_CR2","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F. Lin","year":"1988","unstructured":"F. Lin and W. M. Wonham, Decentralized supervisory control of disrete-event systems,Inform. Sci.,44 (1988), 199\u2013224.","journal-title":"Inform. Sci."},{"key":"BF02134011_CR3","doi-asserted-by":"crossref","unstructured":"J. S. Ostroff and W. M. Wonham, A temporal logic approach to real time control,Proceedings of the 24th IEEE Conference on Decision and Control, Ft. Lauderdale, FL, 1985, pp. 656\u2013657.","DOI":"10.1109\/CDC.1985.268574"},{"key":"BF02134011_CR4","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"C. M. \u00d6zveren","year":"1990","unstructured":"C. M. \u00d6zveren and A. S. Willsky, Observability of discrete event dynamic systems,IEEE Trans. Automat. Control,35 (1990), 797\u2013806.","journal-title":"IEEE Trans. Automat. Control"},{"key":"BF02134011_CR5","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1109\/9.133186","volume":"36","author":"C. M. \u00d6zveren","year":"1991","unstructured":"C. M. \u00d6zveren and A. S. Willsky, Output stabilizability of discrete event dynamic systems,IEEE Trans. Automat. Control,36 (1991), 925\u2013935.","journal-title":"IEEE Trans. Automat. Control"},{"key":"BF02134011_CR6","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1145\/116825.116855","volume":"38","author":"C. M. \u00d6zveren","year":"1991","unstructured":"C. M. \u00d6zveren, A. S. Willsky, and P. J. Antsaklis, Stability and stabilizability of discrete-event dynamic systems,J. Assoc. Comput. Mach.,38 (1991), 730\u2013752.","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF02134011_CR7","volume-title":"Error-Correcting Codes","author":"W. W. Peterson","year":"1972","unstructured":"W. W. Peterson and E. J. Weldon, Jr.,Error-Correcting Codes, MIT Press, Cambridge, MA, 1972."},{"key":"BF02134011_CR8","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"P. J. Ramadge and W. M. Wonham, Modular feedback logic for discrete-event systems,SIAM J. Control Optim.,25 (1987), 1202\u20131218.","journal-title":"SIAM J. Control Optim."},{"key":"BF02134011_CR9","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete-event processes,SIAM J. Control Optim.,25 (1987), 206\u2013230.","journal-title":"SIAM J. Control Optim."},{"key":"BF02134011_CR10","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1080\/00207178608933613","volume":"44","author":"A. F. Vaz","year":"1986","unstructured":"A. F. Vaz and W. M. Wonham, On supervisor reduction in discrete-event systems,Internat. J. Control,44 (1986), 475\u2013491.","journal-title":"Internat. J. Control"}],"container-title":["Mathematics of Control, Signals, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02134011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02134011\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02134011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:35:54Z","timestamp":1557833754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02134011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF02134011"],"URL":"https:\/\/doi.org\/10.1007\/bf02134011","relation":{},"ISSN":["0932-4194","1435-568X"],"issn-type":[{"value":"0932-4194","type":"print"},{"value":"1435-568X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}