A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Verification of PLC Programs Given as Sequential Function Charts, LNCS, vol.3147, pp.517-540, 2004. ,
DOI : 10.1007/978-3-540-27863-4_28
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 behavior by means of timed net condition/event systems, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97, pp.391-396, 1997. ,
DOI : 10.1109/ETFA.1997.616302
Slicing of timed automata with discrete data, Fundamenta Informaticae, vol.72, issue.1-3, pp.181-195, 2006. ,
Formal verification of industrial controllers: with or without a plant model, Proc. of the 7 th Portuguese Conference on Automatic Control, CONTROLO'06, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00373211
A generic approach to build plant models for DES verification purposes, Proc. of the 8 th International Workshop on Discrete Event Systems (WODES), 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00373168
LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, Proc. of the 3 rd IFAC Workshop on Discrete-Event System Design (DESDes), pp.37-42, 2006. ,
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815
Timed automaton models for simple programmable logic controllers, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.114-122, 1999. ,
DOI : 10.1109/EMRTS.1999.777456
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.7773
Building Meaningful Timed Plant Models for Verification Purposes, Proc. of the 13 th IFAC Symposium on information control problems in manufacturing , INCOM'09, pp.970-975, 2009. ,
DOI : 10.3182/20090603-3-RU-2001.0420
URL : https://hal.archives-ouvertes.fr/hal-00379421
Building meaningful timed models of closed-loop DES for verification purposes. Control Engineering Practice, pending for publication with doi: 10 ,
URL : https://hal.archives-ouvertes.fr/hal-00753809
Modelling of a discrete manufacturing system by Parts of plant, Proc. of the 13 th IFAC Symposium on Information Control Problem in Manufacturing, 2009. ,
DOI : 10.3182/20090603-3-RU-2001.0235
Translating Grafcet specifications into Mealy machines for conformance test purposes, Control Engineering Practice, vol.19, issue.9, pp.947-957, 2011. ,
DOI : 10.1016/j.conengprac.2010.10.001
URL : https://hal.archives-ouvertes.fr/hal-00547891
A METHODOLOGY TO DESIGN AND CHECK A PLANT MODEL, Proc. of the 3 rd IFAC Workshop on Discrete-Event System Design (DESDes'06), pp.246-250, 2006. ,
DOI : 10.3182/20060926-3-PL-4904.00041
Formal modeling of timed function blocks for the automatic verification of ladder diagram programs, Proc. of the 4 th International Conference Automation of Mixed Processes (ADPM'00), pp.177-182, 2000. ,
Analysis of Logic Controllers by Transformation of SFC into Timed Automata, Proceedings of the 44th IEEE Conference on Decision and Control, pp.7720-7725, 2005. ,
DOI : 10.1109/CDC.2005.1583409