Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems

  • Paul Gastin
  • Benjamin Lerman
  • Marc Zeitoun
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3328)


This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recently introduced is that, instead of having a local  view, strategies and controllers are able to use a more accurate memory, based on their causal  view. Our main result states that using the causal view makes the control synthesis problem decidable for series-parallel systems for all recognizable winning conditions on finite behaviors, while this problem with local view was proved undecidable even for reachability conditions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bernet, J., Janin, D., Walukiewicz, I.: Private communication (2004)Google Scholar
  2. 2.
    Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Trans. Amer. Math. Soc. 138, 295–311 (1969)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Cori, R., Métivier, Y., Zielonka, W.: Asynchronous mappings and asynchronous cellular automata. Inform. and Comput. 106, 159–202 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Diekert, V., Rozenberg, G.: The Book of Traces. World Scientific, Singapore (1995)CrossRefGoogle Scholar
  5. 5.
    Ebinger, W., Muscholl, A.: Logical definability on infinite traces. Theoret. Comput. Sci. 154(1), 67–84 (1996); Conference version in ICALP 1993zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Gastin, P., Lerman, B., Zeitoun, M.: Distributed games and distributed control for asynchronous systems. In: Farach-Colton, M. (ed.) LATIN 2004. LNCS, vol. 2976, pp. 455–465. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    Kupferman, O., Vardi, M.Y.: Synthesizing distributed systems. In: LICS 2001, pp. 389–398. Computer Society Press, Los Alamitos (2001)Google Scholar
  8. 8.
    Madhusudan, P., Thiagarajan, P.S.: Distributed controller synthesis for local specifications. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, p. 396. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Madhusudan, P., Thiagarajan, P.S.: Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2), 117–149 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Madhusudan, P., Thiagarajan, P.S.: A decidable class of asynchronous distributed controllers. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 145. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  11. 11.
    Mohalik, S., Walukiewicz, I.: Distributed games. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 338–351. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Peterson, G., Reif, J., Azhar, S.: Lower bounds for multiplayer noncooperative games of incomplete information. Comput. Math. Appl. 41(7-8), 957–992 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Peterson, G.L., Reif, J.H.: Multiple-person alternation. In: 20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, pp. 348–363. IEEE, New York (1979)Google Scholar
  14. 14.
    Pnueli, A., Rosner, R.: On the synthesis of an asynchronous reactive module. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol. 372, pp. 652–671. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  15. 15.
    Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthetize. In: 31st IEEE Symp. FOCS, pp. 746–757 (1990)Google Scholar
  16. 16.
    Ramadge, P., Wonham, W.: The control of discrete event systems. IEEE 77, 81–98 (1989)CrossRefGoogle Scholar
  17. 17.
    Thomas, W.: On logical definability of traces languages. In: workshop of ESPRIT BRA 3166, ASMICS, Kochel am See (1990)Google Scholar
  18. 18.
    Zielonka, W.: Asynchronous automata. In: Rozenberg, G., Diekert, V. (eds.) Book of Traces, pp. 175–217. World Scientific, Singapore (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Paul Gastin
    • 1
  • Benjamin Lerman
    • 1
  • Marc Zeitoun
    • 1
  1. 1.LIAFAUniversité Paris 7 & CNRSParisFrance

Personalised recommendations