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
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
Introduction to Discrete Event Systems. Kluwer, 1999. ,
Efficient chaotic iteration strategies with widenings, Proc. of Formal Methods in Programming and their Applications, 1993. ,
DOI : 10.1007/BFb0039704
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
Priority Systems, Proc of FMCO'03, pp.314-329, 2003. ,
DOI : 10.1145/353323.353382
Verification of real-time systems using linear relation analysis, Formal Methods in System Design, vol.11, issue.2, 1997. ,
Proof-checking a data link protocol, Proc. of Int. Workshop TYPES'93, 1993. ,
DOI : 10.1007/3-540-58085-9_75
HYTECH: A Model Checker for Hybrid Systems, Computer Aided Verification, CAV'97, 1997. ,
Symbolic synthesis of supervisory controllers, Proceedings of the American Control Conference, 1992. ,
A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Application, pp.151-190, 1997. ,
Introduction to Automata Theory, Languages, and Computation, 1979. ,
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
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
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
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
Control of discrete and hybrid symbolic systems (in french), 2005. ,
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. ,
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
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
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. ,