X. An, E. Rutten, J. P. Diguet, and A. Gamatie, Modelbased design of correct controllers for dynamically reconfigurable architectures, 2016.
DOI : 10.1145/2873056
URL : https://hal.archives-ouvertes.fr/hal-01272077

N. Berthier, X. An, and H. Marchand, Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures, 5th Int. Workshop on Dependable Control of Discrete Systems, DCDS '15. IFAC, 2015.
DOI : 10.1016/j.ifacol.2015.06.484
URL : https://hal.archives-ouvertes.fr/hal-01187745

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, p.14, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553

N. Berthier and H. Marchand, Deadlock-free discrete controller synthesis for infinite state systems, 2015 54th IEEE Conference on Decision and Control (CDC), pp.1000-10007, 2015.
DOI : 10.1109/CDC.2015.7402003
URL : https://hal.archives-ouvertes.fr/hal-01200976

N. Berthier, E. Rutten, N. De-palma, and S. M. Gueye, Designing Autonomic Management Systems by Using Reactive Control Techniques, IEEE Transactions on Software Engineering, vol.42, issue.7, pp.42-640, 2016.
DOI : 10.1109/TSE.2015.2510004
URL : https://hal.archives-ouvertes.fr/hal-01242853

J. Billon, Perfect normal forms for discrete programs, 1987.

F. Cassez, A. David, E. Fleury, K. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Conference on Concurrency Theory, pp.66-80, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

S. L. Chung, S. Lafortune, L. , and F. , Limited lookahead policies in supervisory control of discrete event systems, IEEE Transactions on Automatic Control, vol.37, issue.12, pp.37-1921, 1992.
DOI : 10.1109/9.182478

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

E. Dumitrescu, A. Girault, H. Marchand, and E. And-rutten, Multicriteria optimal discrete controller synthesis for fault-tolerant tasks, 10th Int. Workshop on Discrete Event Systems, WODES '10, pp.356-363, 2010.
DOI : 10.3182/20070613-3-fr-4909.00031
URL : http://hal.inria.fr/docs/00/13/50/48/PDF/RR-6137.pdf

Z. Fei, S. Reveliotis, S. Miremadi, and K. , A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems, IEEE Transactions on Automation Science and Engineering, vol.12, issue.3, pp.990-1006, 2015.
DOI : 10.1109/TASE.2014.2369858
URL : http://publications.lib.chalmers.se/records/fulltext/186774/local_186774.pdf

L. Holloway, B. Krogh, and A. Giua, A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Application, pp.151-190, 1997.

G. Kalyon, L. Gall, T. Marchand, H. Massart, and T. , Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation, Discrete Event Dynamic Systems : Theory and Applications, pp.121-161, 2011.
DOI : 10.1007/s10626-006-0023-7
URL : https://hal.archives-ouvertes.fr/inria-00586169

R. Kumar and V. Garg, On Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework, IEEE Transactions on Automation Science and Engineering, vol.2, issue.1, pp.87-91, 2005.
DOI : 10.1109/TASE.2004.829432

B. Lennartson, O. Wigström, M. Fabian, and F. Basile, Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems, 12th Int. Workshop on Discrete Event Systems, pp.14-86, 2014.
DOI : 10.3182/20140514-3-FR-4046.00140
URL : http://publications.lib.chalmers.se/records/fulltext/213358/local_213358.pdf

Y. Li and W. Wonham, Control of vector discrete-event systems-part ii : controller synthesis, IEEE Trans. Autom. Control, vol.39, issue.3, pp.512-531, 1994.

M. Skoldstam, K. Akesson, and M. Fabian, Modeling of discrete event systems using finite automata with variables, 2007 46th IEEE Conference on Decision and Control, pp.3387-3392, 2007.
DOI : 10.1109/CDC.2007.4434894

A. N. Sylla, M. Louvel, and E. And-rutten, Combining Transactional and Behavioural Reliability in Adaptive Middleware, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, ARM 2016, p.16, 2016.
DOI : 10.1016/j.eswa.2013.01.061
URL : https://hal.archives-ouvertes.fr/hal-01416799