1. Special Issue on WODES’08

   • Bengt Lennartson
   • Martin Fabian
   • Ratnesh Kumar

   EditorialNotes 25 September 2009 Pages: 449 - 450

2. Prognosis of ω-Languages for the Diagnosis of *-Languages: A Topological Perspective

   • Andreas Bauer
   • Sophie Pinchinat

   OriginalPaper 10 September 2009 Pages: 451 - 470

   

3. Discrete Semantics for Hybrid Automata

   • Alberto Casagrande
   • Carla Piazza
   • Alberto Policriti

   OriginalPaper 10 September 2009 Pages: 471 - 493

   

4. SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

   • Koen Claessen
   • Niklas Een
   • Knut Åkesson

   OriginalPaper 10 September 2009 Pages: 495 - 524

   

5. Supervisory Control of (max,+) Automata: A Behavioral Approach

   • Jan Komenda
   • Sébastien Lahaye
   • Jean-Louis Boimond

   OriginalPaper 03 September 2009 Pages: 525 - 549

   

6. Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets

   • Yu Ru
   • Christoforos N. Hadjicostis

   OriginalPaper 23 June 2009 Pages: 551 - 575