. Dans, Des méthodes permettant de donner un superviseur maximal assurant l'interdiction d'un ensemble d'états d'un système ainsi modélisé sont décrites. Les calculs effectués sont locaux à chaque sous-système, évitant ainsi l'explosion combinatoire résultant du calcul explicite du système global, Nous travaillons actuellement sur l'extension du modèle des HFSMs (synchronisations entre les structures, possibilité de préemption, etc...) ainsi que sur des algorithmes assurant la propriété de non-blocage du système contrôlé ré- sultant

. Bibliographie, . Y. Brave, and . Heimann-m, Control of Discrete Event Systems Modeled as hierarchical State Machines, IEEE Transacations on Automatic Control, vol.38, issue.12, pp.1803-1819, 1993.

M. B. Brandin and D. P. , Incremental system verification and synthesis of minimally restrictive behaviours, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334), pp.4056-4061, 2000.
DOI : 10.1109/ACC.2000.876984

H. D. Pnueli-a, « On the development of Reactive Systems », Logics and Models of Concurrent Systems, pp.477-498, 1985.

L. R. Marchand-h, G. B. Ramadge-p, and W. W. , Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.81-98, 1989.
DOI : 10.1109/CDC.2002.1184677