Special Issue on WODES’06

Abstract

The 8th International Workshop on Discrete Event Systems—WODES’06 took place on the campus of the University of Michigan in Ann Arbor on July 10–12, 2006. The WODES series was officially started in 1992 in Prague, after an initial workshop in Amherst, USA, in 1991. Since then, WODES conferences have been held every other year under the supervision of the WODES Steering Committee. The other editions were held in Sophia-Antipolis (1994), Edinburgh (1996), Cagliari (1998), Ghent (2000), Zaragoza (2002), and Reims (2004). The WODES’06 program included three invited lectures by Albert Benveniste (INRIA), Xi-Ren Cao (HKUST), and Nancy Lynch (MIT), 69 contributed papers selected by the 45-member Scientific Program Committee from 94 submissions, and 15 invited papers on software tools. The titles of the plenary talks were, respectively, “Partial Order Techniques for Distributed Discrete Event Systems” (A.B.), “Event-based Stochastic Learning and Optimization” (X.C.), and “Analyzing Security Protocols Using Probabilistic I/O Automata” (N.L.); the slides used by the presenters are available on the conference web site.1 The contributed papers covered a wide range of topics from supervisory control to fault diagnosis, logic