A. K. Altisen, C. A. Maraninchi-f, and . Rutten-e, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of the European Symposium on Programming, ESOP'03, 2003.
DOI : 10.1007/3-540-36575-3_13

M. H. Le, « On the Optimal Control of Polynomial Dynamical Systems over Z/pZ, 4th IEE International Workshop on Discrete Event Systems, pp.385-390, 1998.

. Marchand-h, . Bournai-p, . L. Borgne-m, and . L. Guernic-p, « Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System : Theory and Applications, pp.325-346, 2000.

. Marchand-h and . Samaan-m, 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

F. Maraninchi and R. Y. , Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

R. Sengupta and L. S. , An Optimal Control Theory for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.36, issue.2, pp.488-541, 1998.
DOI : 10.1137/S0363012994260957