{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:27Z","timestamp":1725471147574},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540367499"},{"type":"electronic","value":"9783540367505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11804192_3","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T08:20:46Z","timestamp":1159518046000},"page":"44-63","source":"Crossref","is-referenced-by-count":1,"title":["Control of Modular and Distributed Discrete-Event Systems"],"prefix":"10.1007","author":[{"given":"Jan","family":"Komenda","sequence":"first","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"S.G. Cassandras","year":"1999","unstructured":"Cassandras, S.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Gaudin, B., Marchand, H.: Modular Supervisory Control of a Class of Concurrent Discrete Event Systems. In: Proceedings WODES 2004, Workshop on Discrete-Event Systems, Reims, September 22-24, pp. 181\u2013186 (2004)","DOI":"10.1016\/S1474-6670(17)30742-5"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Komenda, J., van Schuppen, J.H.: Supremal Normal Sublanguages of Large Distributed Discrete-Event Systems. In: Proceedings WODES 2004, Workshop on Discrete-Event Systems, Reims, September 22-24 (2004)","DOI":"10.1016\/S1474-6670(17)30725-5"},{"key":"3_CR4","unstructured":"Komenda, J.: Modular Control of Large Distributed Discrete-Event Systems with Partial Observations. In: Proceedings of the 15th International Conference on Systems Science, Wroclaw, Poland, vol.\u00a0II, pp. 175\u2013184 (September 2004)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Komenda, J., van Schuppen, J.H.: Modular antipermissive control of discrete-event systems. In: Proceedings of IFAC World Congress 2005, Prague (July 2005)","DOI":"10.3182\/20050703-6-CZ-1902.00301"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Komenda, J., van Schuppen, J.H.: Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. In: Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference, Sevilla, pp. 2775\u20132780 (December 2005)","DOI":"10.1109\/CDC.2005.1582583"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Komenda, J., van Schuppen, J.H.: Modular control of discrete-event systems with coalgebra (submitted) (August 2005)","DOI":"10.3182\/20050703-6-CZ-1902.00301"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10626-005-2868-6","volume":"15","author":"J. Komenda","year":"2005","unstructured":"Komenda, J., van Schuppen, J.H.: Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Discrete Event Dynamical Systems: Theory and Applications\u00a015(3), 257\u2013315 (2005)","journal-title":"Discrete Event Dynamical Systems: Theory and Applications"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Komenda, J., van Schuppen, J.H.: Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages. In: Proceedings International Workshop on Discrete Event Systems (WODES) (to appear, 2006)","DOI":"10.1109\/WODES.2006.1678422"},{"key":"3_CR10","unstructured":"Lamouchi, M., Thistle, J.G.: Effective Control Synthesis For Discrete Event Systems Under Partial Observations. In: Proceedings of the IEEE Conference on Decision and Control (2000)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., Wonham, W.M.: On Observability of Discrete-Event Systems. Information Sciences\u00a044, 173\u2013198 (1988)","journal-title":"Information Sciences"},{"key":"3_CR12","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall International, New York (1989)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1109\/FSCS.1990.89597","volume-title":"Proceedings of the 1990 IEEE Symposium on the Foundations of Computer Science","author":"A. Pnueli","year":"1990","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: Pnueli, A., Rosner, R. (eds.) Proceedings of the 1990 IEEE Symposium on the Foundations of Computer Science, pp. 746\u2013757. IEEE, New York (1990)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The Control of Discrete-Event Systems. Proc. IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal Coalgebra: A Theory of Systems. Theoretical Computer Science\u00a0249(1), 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Undecidable Problems of Decentralized Observation and Control. In: Proceedings of the IEEE Conference on Decision and Control (2001)","DOI":"10.1109\/CDC.2001.980822"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Tsitsiklis, J.N.: On the Control of Discrete-Event Dynamical Systems. Mathematics of Control, Signal, and Systems, 95\u2013107 (1989)","DOI":"10.1007\/BF02551817"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"477","DOI":"10.3166\/ejc.8.477-491","volume":"8","author":"K.C. Wong","year":"2002","unstructured":"Wong, K.C., Lee, S.: Structural Decentralized Control of Concurrent Discrete-Event Systems. European Journal of Control\u00a08, 477\u2013491 (2002)","journal-title":"European Journal of Control"},{"key":"3_CR19","unstructured":"Wonham, W.M.: Lecture notes on control of discrete-event systems, University of Toronto, Department ECE, Toronto (2005), http:\/\/www.control.toronto.edu\/people\/profs\/wonham\/wonham.html"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W.M. Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.: On the Supremal Controllable Sublanguage of a Given Language. SIAM J. Control Optim.\u00a025, 637\u2013659 (1987)","journal-title":"SIAM J. Control Optim."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11804192_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T10:55:04Z","timestamp":1555844104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11804192_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540367499","9783540367505"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11804192_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}