Zhou, Changyan; Kumar, Ratnesh Semantic translation of Simulink diagrams to input/output extended finite automata. (English) Zbl 1242.93014 Discrete Event Dyn. Syst. 22, No. 2, 223-247 (2012). MSC: 93A30 68Q80 93C55 93C65 PDF BibTeX XML Cite \textit{C. Zhou} and \textit{R. Kumar}, Discrete Event Dyn. Syst. 22, No. 2, 223--247 (2012; Zbl 1242.93014) Full Text: DOI
Yao, Chen; Cassandras, Christos G. Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems. (English) Zbl 1242.93138 Discrete Event Dyn. Syst. 22, No. 2, 197-219 (2012). MSC: 93E15 93C73 93C65 93E10 PDF BibTeX XML Cite \textit{C. Yao} and \textit{C. G. Cassandras}, Discrete Event Dyn. Syst. 22, No. 2, 197--219 (2012; Zbl 1242.93138) Full Text: DOI
Lefebvre, Dimitri; Leclercq, Edouard Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. (English) Zbl 1242.93128 Discrete Event Dyn. Syst. 22, No. 2, 179-196 (2012). MSC: 93E10 93C65 PDF BibTeX XML Cite \textit{D. Lefebvre} and \textit{E. Leclercq}, Discrete Event Dyn. Syst. 22, No. 2, 179--196 (2012; Zbl 1242.93128) Full Text: DOI
Merseguer, José; Bernardi, Simona Dependability analysis of DES based on MARTE and UML state machines models. (English) Zbl 1242.93075 Discrete Event Dyn. Syst. 22, No. 2, 163-178 (2012). MSC: 93C65 93A30 PDF BibTeX XML Cite \textit{J. Merseguer} and \textit{S. Bernardi}, Discrete Event Dyn. Syst. 22, No. 2, 163--178 (2012; Zbl 1242.93075) Full Text: DOI
Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. (English) Zbl 1242.93074 Discrete Event Dyn. Syst. 22, No. 2, 121-161 (2012). MSC: 93C65 93B50 93B52 PDF BibTeX XML Cite \textit{G. Kalyon} et al., Discrete Event Dyn. Syst. 22, No. 2, 121--161 (2012; Zbl 1242.93074) Full Text: DOI Link