K. Altisen, A. Clodic, F. Maraninchi, and E. And-rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proc. of the European Symp. on Programming, ESOP'03, 2003.
DOI : 10.1007/3-540-36575-3_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2186

M. Baleani, A. Ferrari, L. Mangeruca, M. Peri, S. Pezzini et al., Faulttolerant platforms for automotive safety-critical applications, Conf. on Compilers, Architectures and Synthesis for Embedded Systems, CASES'03, 2003.
DOI : 10.1145/951710.951734
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.8092

R. Bellman, Dynamic Programming, 1957.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, L. Guernic et al., The synchronous languages twelve years later, Proc. IEEE, p.91, 2003.

G. Delaval, H. Marchand, and E. And-rutten, Contracts for modular discrete controller synthesis, ACM Conf. on Languages, Compilers and Tools for Embedded Systems, 2010.
DOI : 10.1145/1755951.1755898
URL : https://hal.archives-ouvertes.fr/inria-00436560

E. Dumitrescu, A. Girault, H. Marchand, and E. And-rutten, OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS, Workshop on Dependable Control of Discrete Systems, DCDS'07. See also, 2007.
DOI : 10.3182/20070613-3-FR-4909.00031
URL : https://hal.archives-ouvertes.fr/hal-00375564

E. Dumitrescu, A. Girault, and E. And-rutten, Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis, Workshop on Discrete Event Systems, p.4, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00419542

Y. Haimes, L. Lasdon, and D. Wismer, On a bicriterion formulation of the problems of integrated system identification and system optimization, IEEE Trans. Systems, Man, and Cybernetics, vol.1, pp.296-297, 1971.

M. Laumanns, L. Thiele, and E. Zitzler, An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method, European Journal of Operational Research, vol.169, issue.3, pp.932-942, 2006.
DOI : 10.1016/j.ejor.2004.08.029

O. Maler, On optimal and sub-optimal control in the presence of adversaries, Workshop on Discrete Event Systems, p.4, 2004.

H. Marchand, P. Bournai, L. Borgne, M. , L. Guernic et al., Synthesis of discrete-event controllers based on the Signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand, L. Borgne, and M. , On the optimal control of polynomial dynamical systems over Z/pZ, Workshop on Discrete Event Systems, p.98, 1998.

H. Marchand and M. Samaan, Incremental design of a power transformer station controller using a controller synthesis methodology, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.729-741, 2000.
DOI : 10.1109/32.879811
URL : https://hal.archives-ouvertes.fr/hal-00546156

R. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

P. Ramadge and W. Wonham, Modular Supervisory Control of Discrete Event Systems, Proc. IEEE, vol.77, issue.1, 1989.
DOI : 10.1007/BFb0007558

H. Seidl, Least and greatest solutions of equations over N, Nordic Journal of Computing, vol.3, pp.41-62, 1996.

T. 'kindt, V. Billaut, and J. C. , Multicriteria Scheduling: Theory, Models and Algorithms, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01067335