K. Altisen, G. Gossler, and J. Sifakis, Scheduler modelling based on the controller synthesis paradigm, Real-Time Systems, vol.23, issue.1/2, pp.55-84, 2002.
DOI : 10.1023/A:1015346419267

S. Balemi, G. J. Hoffmann, H. Wong-toi, and G. F. Franklin, Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993.
DOI : 10.1109/9.231459

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer, 1999.

F. Bourdoncle, Efficient chaotic iteration strategies with widenings, Proc. of Formal Methods in Programming and their Applications, 1993.
DOI : 10.1007/BFb0039704

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/inria-00528590

G. Goessler and J. Sifakis, Priority Systems, Proc of FMCO'03, pp.314-329, 2003.
DOI : 10.1145/353323.353382

N. Halbwachs, Y. E. Proy, and P. Roumanoff, Verification of real-time systems using linear relation analysis, Formal Methods in System Design, vol.11, issue.2, 1997.

L. Helmink, M. Sellink, and F. Vaandrager, Proof-checking a data link protocol, Proc. of Int. Workshop TYPES'93, 1993.
DOI : 10.1007/3-540-58085-9_75

T. Henzinger, P. Ho, and H. Wong-toï, HYTECH: A Model Checker for Hybrid Systems, Computer Aided Verification, CAV'97, 1997.

G. Hoffman and H. Wong-toi, Symbolic synthesis of supervisory controllers, Proceedings of the American Control Conference, 1992.

L. E. Holloway, B. H. 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.

J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.

B. Jeannet, Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes, Static Analysis Symposium, SAS'02, 2002.
DOI : 10.1007/3-540-45789-5_7

B. Jeannet, Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05) LNCS 3340, 2005.
DOI : 10.1007/978-3-540-31980-1_23

URL : https://hal.archives-ouvertes.fr/inria-00564617

R. Kumar and V. K. 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

T. , L. Gall, B. Jeannet, and H. Marchand, Control of discrete and hybrid symbolic systems (in french), 2005.

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems (an extended abstract), 12th Annual Symposium on Theoretical Aspects of Computer Science, volume 900 of lncs, pp.229-242, 1995.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

S. Tripakis and K. Altisen, On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems, World Congress on Formal Methods (FM'99), pp.233-252, 1999.
DOI : 10.1007/3-540-48119-2_15

R. Ziller, Finding bad states during symbolic supervisor synthesis, GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp.209-218, 2002.