{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:21:25Z","timestamp":1742941285585,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156427"},{"type":"electronic","value":"9783642156434"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15643-4_6","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T13:39:39Z","timestamp":1284989979000},"page":"52-66","source":"Crossref","is-referenced-by-count":14,"title":["Methods for Knowledge Based Controlling of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Susanne","family":"Graf","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"5643","first-page":"79","volume-title":"CAV 2009","author":"A. Basu","year":"2009","unstructured":"Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority Scheduling of Distributed Systems Based on Model Checking. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. 5643, vol.\u00a05643, pp. 79\u201393. Springer, Heidelberg (2009)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68855-6_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"A. Basu","year":"2008","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed Semantics and Implementation for Systems with Interaction and Priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 116\u2013133. Springer, Heidelberg (2008)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-10003-2_69","volume-title":"Automata, Languages and Programming","author":"E.A. Emerson","year":"1980","unstructured":"Emerson, E.A., Clarke, E.M.: Characterizing Correctness Properties of Parallel Programs using Fixpoints. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 169\u2013181. Springer, Heidelberg (1980)"},{"key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbauch, K.: System Modeling with High-level Petri Nets. Theoretical Computer Science\u00a013, 109\u2013135 (1981)","journal-title":"Theoretical Computer Science"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-540-30101-1_15","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6\u00dfler","year":"2004","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Priority Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 443\u2013466. Springer, Heidelberg (2004)"},{"key":"6_CR7","volume-title":"CAV 2010","author":"S. Graf","year":"2010","unstructured":"Graf, S., Peled, D., Quinton, S.: Achieving Distributed Control Through Model Checking. In: CAV 2010. Springer, Heidelberg (2010)"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.D.: A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communication of the ACM\u00a021, 666\u2013677 (1978)","journal-title":"Communication of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: How to Cook a Temporal Proof System for Your Pet Language. In: POPL 1983, Austin, TX, pp. 141\u2013154 (1983)","key":"6_CR10","DOI":"10.1145\/567067.567082"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1997.2679","volume":"140","author":"R. Meyden van der","year":"1980","unstructured":"van der Meyden, R.: Common Knowledge and Update in Finite Environment. Information and Computation\u00a0140, 115\u2013157 (1980)","journal-title":"Information and Computation"},{"key":"6_CR12","first-page":"746","volume-title":"FOCS 1990, St. Louis, USA","author":"A. Pnueli","year":"1990","unstructured":"Pnueli, A., Rosner, R.: Distributed Reactive Systems Are Hard to Synthesize. In: FOCS 1990, St. Louis, USA, vol.\u00a0II, pp. 746\u2013757. IEEE, Los Alamitos (1990)"},{"doi-asserted-by":"crossref","unstructured":"Queille, J.P., Sifakis, J.: Specification and Verification of Concurrent Systems in CESAR. In: 5th International Symposium on Programming, pp. 337\u2013350 (1981)","key":"6_CR13","DOI":"10.1007\/3-540-11494-7_22"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete-Event Processes. SIAM Journal on Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"9","key":"6_CR15","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"K. Rudie","year":"2000","unstructured":"Rudie, K., Laurie Ricker, S.: Know Means No: Incorporating Knowledge into Discrete-Event Control Systems. IEEE Transactions on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Murray Wonham, W.: Think Globally, Act Locally: Decentralized Supervisory Control. IEEE Transactions on Automatic Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.sysconle.2004.10.002","volume":"54","author":"J.G. Thistle","year":"2005","unstructured":"Thistle, J.G.: Undecidability in Decentralized Supervision. System and Control Letters\u00a054, 503\u2013509 (2005)","journal-title":"System and Control Letters"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Undecidable Problems of Decentralized Observation and Control on Regular Languages. Information Processing Letters\u00a090(1), 21\u201328 (2004)","journal-title":"Information Processing Letters"},{"issue":"3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T.S. Yoo","year":"2002","unstructured":"Yoo, T.S., Lafortune, S.: A General Architecture for Decentralized Supervisory Control of Discrete-Event systems. Discrete Event Dynamic Systems, Theory & Applications\u00a012(3), 335\u2013377 (2002)","journal-title":"Discrete Event Dynamic Systems, Theory & Applications"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15643-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:05:37Z","timestamp":1740524737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15643-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156427","9783642156434"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15643-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}