A description and reasoning of plant controllers in temporal logic, Proc. 8 th Int. Joint Conf. on Artificial Intelligence, pp.405-408, 1983. ,
Formal specification for manufacturing systems automation, CDROM Proc. IFAC Int. Conf. on Information Control Problems in Manufacturing, 2001. ,
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, CDROM Preprints 16 th IFAC World Congress, 2005. ,
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918
Methods and tools to the verification of safety-related control software, Proc. IEEE int. conf. on Systems Man and Cybernetics, pp.2455-2457, 2000. ,
Failure diagnosis using discrete-event models, IEEE Trans. C S T, vol.4, issue.2, pp.105-124, 1996. ,
Implementation of a Petri net controller for a machining workstation, Proceedings. 1987 IEEE International Conference on Robotics and Automation ,
DOI : 10.1109/ROBOT.1987.1087773
Design and implementation of a petri net based supervisor for a flexible manufacturing system, Automatica, vol.28, issue.6, pp.1199-1208, 1992. ,
DOI : 10.1016/0005-1098(92)90061-J
PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.3305-3310, 1998. ,
DOI : 10.1109/CDC.1998.758209
Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993. ,
DOI : 10.1109/9.231459
Spectool: Automated Synthesis of Control Code for Discrete Event Controllers, Proc. 5 th Int. Workshop on D E S, pp.383-389, 2000. ,
DOI : 10.1007/978-1-4615-4493-7_52
Synthesis and implementation of local modular supervisory control for a manufacturing cell, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.377-382, 2002. ,
DOI : 10.1109/WODES.2002.1167714
On line synthesis approach based on a structured plant modelling, Proc. 7 th Int. Workshop on D E S, pp.397-402, 2004. ,
Control synthesis for productdriven automation, Proc. 7 th Int. Workshop on Discrete Event Systems, pp.19-24, 2004. ,
Systems and software verification: model- Checking techniques and tools, 0190. ,
DOI : 10.1007/978-3-662-04558-9
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
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
Increasing the efficiency of PLC program verification using a plant model, CDROM Proc.6 th Int. Conf. on Industrial Engineering and Production Management, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00424030
Diagnosis of Discrete- Event Systems: the method and example, Proc. 12 th int. workshop on principles of diagnosis, pp.111-118, 2001. ,
Diagnosis of Dicrete Event Systems using ordered binary decision diagram, Proc. 7 th International workshop on principles of diagnosis, 1996. ,
Timed Automata: Semantics, Algorithms and Tools, LNCS, vol.3098, 2004. ,
DOI : 10.1007/978-3-540-27755-2_3
Krogh On condition/event systems with discrete state realizations Discrete Event Dynamic Systems: Theory and Applications, pp.209-236, 1991. ,
Net condition/event systems with multiple condition outputs. Symposium on Emerging Technologies and Factory Automation, pp.592-600, 1995. ,