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
« On the Optimal Control of Polynomial Dynamical Systems over Z/pZ, 4th IEE International Workshop on Discrete Event Systems, pp.385-390, 1998. ,
« Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System : Theory and Applications, pp.325-346, 2000. ,
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
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
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