1. Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

   • Gabriel Kalyon
   • Tristan Le Gall
   • Thierry Massart

   OriginalPaper 25 March 2011 Pages: 121 - 161

   

2. Dependability analysis of DES based on MARTE and UML state machines models

   • José Merseguer
   • Simona Bernardi

   OriginalPaper 01 July 2011 Pages: 163 - 178

   

3. Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs

   • Dimitri Lefebvre
   • Edouard Leclercq

   OriginalPaper 14 July 2011 Pages: 179 - 196

   

4. Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems

   • Chen Yao
   • Christos G. Cassandras

   OriginalPaper 07 December 2011 Pages: 197 - 219

   

5. Special section on software cybernetics

   • Rene Boel

   EditorialNotes 29 February 2012 Pages: 221 - 221

6. Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata

   • Changyan Zhou
   • Ratnesh Kumar

   OriginalPaper 16 December 2010 Pages: 223 - 247