{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:14:17Z","timestamp":1753888457911},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1995,4,1]],"date-time":"1995-04-01T00:00:00Z","timestamp":796694400000},"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,4]]},"DOI":"10.1007\/bf01439041","type":"journal-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T12:08:17Z","timestamp":1113307697000},"page":"219-241","source":"Crossref","is-referenced-by-count":9,"title":["Distributed inversion in timed discrete event systems"],"prefix":"10.1007","volume":"5","author":[{"given":"Yongseok","family":"Park","sequence":"first","affiliation":[]},{"given":"Edwin K. P.","family":"Chong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"CR1","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S. Balemi","year":"1993","unstructured":"Balemi, S., Hoffman, G. J., Gyugyi, P., Wong-Toi, H., and Franklin, G. F. 1993. Supervisory control of a rapid thermal multiprocessor.IEEE Trans. Autom. Control 38(7): 1040?1059.","journal-title":"IEEE Trans. Autom. Control"},{"key":"CR2","volume-title":"Discrete Event Systems: Modeling and Performance Analysis","author":"C. G. Cassandras","year":"1993","unstructured":"Cassandras, C. G. 1993.Discrete Event Systems: Modeling and Performance Analysis. Homewood, IL: Richard D. Irwin, Inc., and Aksen Assoc., Inc."},{"issue":"10","key":"CR3","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1109\/9.35272","volume":"34","author":"C. G. Cassandras","year":"1989","unstructured":"Cassandras, C. G., and Strickland, S. 1989b. Observable augmented systems for sensitivity analysis of Markov and semi-Markov processes.IEEE Trans. Autom. Control 34(10): 1026?1037.","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"CR4","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/9.8651","volume":"34","author":"C. G. Cassandras","year":"1989","unstructured":"Cassandras, C. G., and Strickland, S. 1989a. On line sensitivity analysis of Markov chains.IEEE Trans. Autom. Control 34(1): 76?86.","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/5.21070","volume":"77","author":"C. G. Cassandras","year":"1989","unstructured":"Cassandras C. G., and Strickland, S. 1989c. Sample path properties of timed discrete event systems.Proc. of the IEEE 77(1): 59?71.","journal-title":"Proc. of the IEEE"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Chong, E. K. P. 1993. On the construction of sample paths of discrete event systems in parallel.Proc. of 32nd Conf. Decision and Control, San Antonio, TX, pp. 2205?2210.","DOI":"10.1109\/CDC.1993.325591"},{"issue":"3","key":"CR7","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R. Cieslak","year":"1988","unstructured":"Cieslak, R., Desclaux, C., Fawaz, A., and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations.IEEE Trans. Autom. Control 33(3): 249?260.","journal-title":"IEEE Trans. Autom. Control"},{"key":"CR8","volume-title":"Gradient Estimation via Perturbation Analysis","author":"P. Glasserman","year":"1991","unstructured":"Glasserman, P. 1991.Gradient Estimation via Perturbation Analysis. Norwell, MA: Kluwer Academic Publishers."},{"issue":"4","key":"CR9","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/37.56284","volume":"10","author":"M. Heymann","year":"1990","unstructured":"Heymann, M. 1990. Concurrency and discrete event control.IEEE Control System Magazine 10(4): 103?112.","journal-title":"IEEE Control System Magazine"},{"key":"CR10","volume-title":"Perturbation Analysis of Discrete Event Dynamic Systems","author":"Y.-C. Ho","year":"1991","unstructured":"Ho, Y.-C., and Cao, X.-R. 1991.Perturbation Analysis of Discrete Event Dynamic Systems. Norwell, MA: Kluwer Academic Publishers."},{"issue":"4","key":"CR11","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. Autom. Control 35(4): 398?405.","journal-title":"IEEE Trans. Autom. Control"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Lafortune, S., and Chen, E. 1991. A relational algebraic approach to the representation and analysis of discrete event systems.Proc. of 1991 American Control Conference, Boston, MA.","DOI":"10.23919\/ACC.1991.4791933"},{"issue":"12","key":"CR13","doi-asserted-by":"crossref","first-page":"1330","DOI":"10.1109\/9.61009","volume":"35","author":"F. Lin","year":"1990","unstructured":"Lin, F., and Wonham, W. 1990. Decentralized control and coordination of discrete event systems with partial observation.IEEE Trans. Autom. Control 35(12): 1330?1337.","journal-title":"IEEE Trans. Autom. Control"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF02134011","volume":"5","author":"C. M. \u00d6zveren","year":"1992","unstructured":"\u00d6zveren, C. M., and Willsky, A. S. 1992. Invertibility of discrete-event dynamic systems.Mathematics of Control, Signals, and Systems 5: 365?390.","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Park, Y., and Chong, E. K. P. 1993d. Inversion of timed Petri nets.Proc. of 8th IEEE International Symposium on Intelligent Control, Chicago, IL, pp. 285?290.","DOI":"10.1109\/ISIC.1993.397699"},{"key":"CR16","unstructured":"Park, Y., and Chong, E. K. P. 1993b. On the eventual invertibility of discrete event systems and its applications.Proc. of 32nd Conf. Decision and Control, San Antonio, TX, pp. 680?685."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Park, Y., and Chong, E. K. P. 1993e. On the eventual invertibility of timed Petri nets.Proc. of 36th IEEE Midwest Symposium on Circuits and Systems, Detroit, MI.","DOI":"10.1109\/MWSCAS.1993.343041"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Park, Y., and Chong, E. K. P. 1993a. Structural sensitivity analysis of discrete event systems by inversion.Proc. of 1993 American Control Conference, San Francisco, CA, pp. 1214?1218.","DOI":"10.23919\/ACC.1993.4793061"},{"key":"CR19","unstructured":"Park, Y., and Chong, E. K. P. 1994. Sensor assignment for invertibility in interruptive timed discrete event systems.Proc. of 9th IEEE International Symposium on Intelligent Control, Columbus, OH, pp. 213?218."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Ramadge, P. 1986. Observability of discrete event systems.Proc. of 25th Conf. Decision and Control, Athens, Greece, pp. 1108?1112.","DOI":"10.1109\/CDC.1986.267551"},{"issue":"1","key":"CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. Ramadge","year":"1989","unstructured":"Ramadge, P., and Wonham, W. 1989. The control of discrete event systems.Proc. of the IEEE 77(1): 81?98.","journal-title":"Proc. of the IEEE"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Williams, K., Andersland, M., Gannon, J., Lumpp, J., and Casavant, T. 1993. Perturbation tracking.Proc. of 32nd Conf. Decision and Control, San Antonio, TX, pp. 674?679.","DOI":"10.1109\/CDC.1993.325063"}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439041.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01439041\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T18:01:36Z","timestamp":1556820096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01439041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4]]},"references-count":22,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1995,4]]}},"alternative-id":["BF01439041"],"URL":"https:\/\/doi.org\/10.1007\/bf01439041","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,4]]}}}