乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T07:05:28Z","timestamp":1717052728034},"reference-count":31,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":2091,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1016\/j.tcs.2007.07.049","type":"journal-article","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T11:14:53Z","timestamp":1188558893000},"page":"199-226","source":"Crossref","is-referenced-by-count":14,"title":["Control of discrete-event systems with modular or distributed structure"],"prefix":"10.1016","volume":"388","author":[{"given":"Jan","family":"Komenda","sequence":"first","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2007.07.049_b1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0167-6911(90)90004-E","article-title":"Formulas for calculating supremal controllable and normal sublanguages","volume":"15","author":"Brandt","year":"1990","journal-title":"Systems & Control Letters"},{"key":"10.1016\/j.tcs.2007.07.049_b2","series-title":"Introduction to Discrete Event Systems","author":"Cassandras","year":"1999"},{"key":"10.1016\/j.tcs.2007.07.049_b3","unstructured":"B. Gaudin, H. Marchand, Modular supervisory control of a class of concurrent discrete event systems, in: Proceedings WODES\u201904, Workshop on Discrete-Event Systems, Reims, 22\u201324 September, 2004, pp. 181\u2013186"},{"key":"10.1016\/j.tcs.2007.07.049_b4","doi-asserted-by":"crossref","unstructured":"J. Komenda, J.H. van Schuppen, Supremal normal sublanguages of large distributed discrete-event systems, in: Proceedings WODES\u201904, Workshop on Discrete-Event Systems, Reims, 22\u201324 September, 2004","DOI":"10.1016\/S1474-6670(17)30725-5"},{"key":"10.1016\/j.tcs.2007.07.049_b5","unstructured":"J. Komenda, Modular control of large distributed discrete-event systems with partial observations, in: Proceedings of the 15th International Conference on Systems Science, vol. II, Wroclaw, Poland, September 2004, pp. 175\u2013184"},{"key":"10.1016\/j.tcs.2007.07.049_b6","doi-asserted-by":"crossref","unstructured":"J. Komenda, J.H. van Schuppen, 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":"10.1016\/j.tcs.2007.07.049_b7","doi-asserted-by":"crossref","unstructured":"J. Komenda, J.H. van Schuppen, 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, December 2005, pp. 2775\u20132780","DOI":"10.1109\/CDC.2005.1582583"},{"key":"10.1016\/j.tcs.2007.07.049_b8","doi-asserted-by":"crossref","unstructured":"J. Komenda, J.H. van Schuppen, B. Gaudin, H. Marchand, Modular supervisory control with general indecomposable specification languages, in: Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference, Sevilla, 12-15.12, 2005","DOI":"10.1109\/CDC.2005.1582700"},{"key":"10.1016\/j.tcs.2007.07.049_b9","doi-asserted-by":"crossref","unstructured":"J. Komenda, J.H. van Schuppen, Modular control of discrete-event systems with coalgebra, Accepted for publication in IEEE Transactions on Automatic Control, to appear in April 2008 issue","DOI":"10.1109\/TAC.2007.915164"},{"issue":"3","key":"10.1016\/j.tcs.2007.07.049_b10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s10626-005-2868-6","article-title":"Control of discrete-event systems with partial observations using coalgebra and coinduction","volume":"15","author":"Komenda","year":"2005","journal-title":"Discrete Event Dynamical Systems: Theory and Applications"},{"key":"10.1016\/j.tcs.2007.07.049_b11","series-title":"Proceedings of 4th Symposium on Formal Methods in Components and Objects, FMCO","article-title":"Control of modular and distributed discrete-event systems","volume":"vol. 4111","author":"Komenda","year":"2006"},{"key":"10.1016\/j.tcs.2007.07.049_b12","series-title":"Proceedings of the 8th International Workshop on Discrete Event Systems, WODES","first-page":"143","article-title":"Optimal solutions of modular supervisory control problems with indecomposable specification languages","author":"Komenda","year":"2006"},{"key":"10.1016\/j.tcs.2007.07.049_b13","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0167-6911(91)90061-I","article-title":"On controllability and normality of discrete event dynamical systems","volume":"17","author":"Kumar","year":"1991","journal-title":"Systems & Control Letters"},{"key":"10.1016\/j.tcs.2007.07.049_b14","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0304-3975(00)00307-8","article-title":"Branching time controllers for discrete event systems","volume":"274","author":"Madhusudan","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2007.07.049_b15","unstructured":"M. Lamouchi, J.G. Thistle, Effective control synthesis for discrete event systems under partial observations, in: Proceedings of the IEEE Conference on Decision and Control, 2000"},{"key":"10.1016\/j.tcs.2007.07.049_b16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","article-title":"On observability of discrete-event systems","volume":"44","author":"Lin","year":"1988","journal-title":"Information Sciences"},{"key":"10.1016\/j.tcs.2007.07.049_b17","series-title":"Proceedings of the 1990 IEEE Symposium on the Foundations of Computer Science","first-page":"746","article-title":"Distributed reactive systems are hard to synthesize","author":"Pnueli","year":"1990"},{"key":"10.1016\/j.tcs.2007.07.049_b18","unstructured":"K. Rohloff, S. Lafortune, The control and verification of similar agents operating in a broadcast network environment, in: Proceedings CDC 2003, Hawaii, USA"},{"key":"10.1016\/j.tcs.2007.07.049_b19","unstructured":"K. Rohloff, S. Lafortune, Recent results on computational issues in supervisory control, in: Proceedings of the ATPN Workshop on Discrete Event Systems Control, Eindhoven, The Netherlands, June 2003, pp. 15\u201335"},{"key":"10.1016\/j.tcs.2007.07.049_b20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete-event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/j.tcs.2007.07.049_b21","unstructured":"J.J.M.M. Rutten, Coalgebra, concurrency, and control, Research Report CWI, SEN-R9921, Amsterdam, November 1999. Available also at: http:\/\/www.cwi.nl\/~janr"},{"issue":"1","key":"10.1016\/j.tcs.2007.07.049_b22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: A theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2007.07.049_b23","doi-asserted-by":"crossref","unstructured":"S. Tripakis, Undecidable problems of decentralized observation and control, in: Proceedings of the IEEE Conference on Decision and Control, 2001","DOI":"10.1109\/.2001.980822"},{"key":"10.1016\/j.tcs.2007.07.049_b24","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02551817","article-title":"On the control of discrete-event dynamical systems","author":"Tsitsiklis","year":"1989","journal-title":"Mathematics of Control, Signal, and Systems"},{"key":"10.1016\/j.tcs.2007.07.049_b25","doi-asserted-by":"crossref","first-page":"477","DOI":"10.3166\/ejc.8.477-491","article-title":"Structural decentralized control of concurrent discrete-event systems","volume":"8","author":"Wong","year":"2002","journal-title":"European Journal of Control"},{"issue":"1","key":"10.1016\/j.tcs.2007.07.049_b26","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","article-title":"Games for synthesis of controlers with partial observation","volume":"303","author":"Walukiewicz","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2007.07.049_b27","unstructured":"W.M. Wonham, 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":"10.1016\/j.tcs.2007.07.049_b28","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1080\/00207179108934202","article-title":"Supervisory control of concurrent discrete-event systems","volume":"54","author":"Willner","year":"1991","journal-title":"International Journal of Control"},{"key":"10.1016\/j.tcs.2007.07.049_b29","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","article-title":"On the supremal controllable sublanguage of a given language","volume":"25","author":"Wonham","year":"1987","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.tcs.2007.07.049_b30","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","article-title":"Modular supervisory control of discrete-event processes","volume":"1","author":"Wonham","year":"1988","journal-title":"Mathematics of Control, Signal and Systems"},{"key":"10.1016\/j.tcs.2007.07.049_b31","unstructured":"K.C. Wong, On the complexity of projections of discrete-event systems, in: Proc. 4th Int. Workshop Discrete Event Syst, WODES, 1998, pp. 201\u2013206"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397507006196?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397507006196?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:48:09Z","timestamp":1684021689000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397507006196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":31,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["S0304397507006196"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2007.07.049","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}