Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation Gabriel KalyonTristan Le GallThierry Massart OriginalPaper 25 March 2011 Pages: 121 - 161
Dependability analysis of DES based on MARTE and UML state machines models José MerseguerSimona Bernardi OriginalPaper 01 July 2011 Pages: 163 - 178
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs Dimitri LefebvreEdouard Leclercq OriginalPaper 14 July 2011 Pages: 179 - 196
Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems Chen YaoChristos G. Cassandras OriginalPaper 07 December 2011 Pages: 197 - 219
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata Changyan ZhouRatnesh Kumar OriginalPaper 16 December 2010 Pages: 223 - 247