Verification of a Timed Multitask System With Uppaal, IEEE Transactions on Automation Science and Engineering, vol.7, issue.4, pp.921-932, 2010. ,
DOI : 10.1109/TASE.2010.2050199
URL : https://hal.archives-ouvertes.fr/hal-00527736
Systems and Software Verification: Model- Checking Techniques and Tools, 1999. ,
DOI : 10.1007/978-3-662-04558-9
Boolean Reasoning: The Logic of Boolean Equations, 2003. ,
Reactive control system design using the Supervisory Control Theory: Evaluation of possibilities and limits, 2008 9th International Workshop on Discrete Event Systems, pp.200-205, 2008. ,
DOI : 10.1109/WODES.2008.4605945
URL : https://hal.archives-ouvertes.fr/hal-00353636
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
Efficient Representation for Formal Verification of PLC Programs, 2006 8th International Workshop on Discrete Event Systems, pp.182-187, 2006. ,
DOI : 10.1109/WODES.2006.1678428
URL : https://hal.archives-ouvertes.fr/hal-00175431
Discrete and Combinatorial Mathematics: An Applied Introduction, 2004. ,
Symbolic generation of the automaton representing an algebraic description of a logic system, 2011. ,
SynthèseSynth`Synthèse algébriquealg´algébrique de lois de commande pour les systèmesàévènementssyst`systèmessystèmes`systèmesàsystèmesà´systèmesàévsystèmesàév`systèmesàévènements discrets logiques, 2009. ,
Algebraic synthesis of transition conditions of a state model, Proceedings of 9th International Workshop On Discrete Event Systems (WODES'08), pp.187-192, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00353634
The synthesis of sequential switching circuits, Journal of the Franklin Institute, vol.257, issue.3, pp.161-190, 1954. ,
DOI : 10.1016/0016-0032(54)90574-8
Algebraic synthesis of logical controllers with optimization criteria, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00734840
LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, Proceedings of the 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, pp.37-42, 2006. ,
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815
A method for synthesizing sequential circuits, Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955. ,
Gedanken Experiments on Sequential Machines, Automata Studies, pp.129-153, 1956. ,
Supervisory synthesis for product-driven automation and its application to a flexible assembly cell, Control Engineering Practice, vol.17, issue.155, pp.595-614, 2007. ,
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Safety properties verification of ladder diagram programs, Journal EuropéenEurop´Européen des SystèmesSyst`Systèmes Automatiséstomatis´tomatisés, vol.36, issue.7, pp.905-917, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00356881
DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, Proceedings of the 16th IFAC World Congress, 2005. ,
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918
Algebraic synthesis of logical controllers despite inconsistencies in specifications, Proceedings of 11th International Workshop On Discrete Event Systems (WODES'2012), p.2012 ,
DOI : 10.3182/20121003-3-MX-4033.00050
URL : https://hal.archives-ouvertes.fr/hal-00738467
Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science, 2001. ,
The Verification of PLC Program Based on Interactive Theorem Proving Tool COQ, 4th IEEE International Conference on Computer Science and Information Technology (ICCSIT2011), 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00612408