Verification of PLC Programs Given as Sequential Function Charts, Lecture Notes in Computer Science, vol.3147, pp.517-540, 2004. ,
DOI : 10.1007/978-3-540-27863-4_28
Growth transformations for functions on manifolds, Pacific Journal of Mathematics, vol.27, issue.2, pp.211-227, 1968. ,
DOI : 10.2140/pjm.1968.27.211
Towards the automatic verification of PLC programs written in Instruction List, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2449-2454, 2000. ,
DOI : 10.1109/ICSMC.2000.884359
Maximum likelihood from incomplete data via the EM algorithm, Journal of the Royal Statistical Society. Series B (Methodological), vol.39, issue.1, pp.1-38, 1977. ,
A minimum discrimination information approach for hidden Markov modeling, IEEE Transactions on Information Theory, vol.35, issue.5, pp.1001-1013, 2002. ,
DOI : 10.1109/18.42209
Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2431-2436, 2000. ,
DOI : 10.1109/ICSMC.2000.884356
Modeling of PLC behaviour by means of timed net condition/event systems, In: IEEE Int. Symp. Emerging Technologies and Factory Automation, pp.361-369, 1997. ,
PRISM: A Tool for Automatic Verification of Probabilistic Systems ,
DOI : 10.1007/11691372_29
Improving automation software dependability: A role for formal methods?, Control Engineering Practice, vol.15, issue.11, pp.1403-1415, 2007. ,
DOI : 10.1016/j.conengprac.2006.07.005
An Introduction to the Application of the Theory of Probabilistic Functions of a Markov Process to Automatic Speech Recognition, Bell System Technical Journal, vol.62, issue.4, pp.1035-1074, 1983. ,
DOI : 10.1002/j.1538-7305.1983.tb03114.x
A tutorial on hidden Markov models and selected applications in speech recognition, Proceedings of the IEEE, vol.77, issue.2, pp.257-286, 1989. ,
DOI : 10.1109/5.18626
Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), 1998. ,
DOI : 10.1109/ACC.1998.694666
Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system, IEEE Transactions on Industrial Electronics, vol.41, issue.6, pp.611-619, 1994. ,
DOI : 10.1109/41.334578
Formalization of existing PLC programs: A survey, Proc. Computational Engineering in Systems Applications (CESA), 2003. ,
On the uncertainty characterization of programmable logic controllers, 2011. ,