The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Introduction to Discrete Event Systems, 2007. ,
Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, ser. WODES '14. IFAC, 2014. ,
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553
Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Conf. on Concurrency Theory (CONCUR), ser. LNCS, pp.66-80, 2005. ,
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475
Control of vector discreteevent systems-part ii : controller synthesis, IEEE Trans. Automatic Control, vol.39, issue.3, pp.512-531, 1994. ,
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
Predicates and predicate transformers for supervisory control of discrete event dynamical systems, IEEE Transactions on Automatic Control, vol.38, issue.2, pp.232-247, 1993. ,
DOI : 10.1109/9.250512
A survey of Petri net methods for controlled discrete event systems, Discrete Event Dynamic Systems: Theory and Application, pp.151-190, 1997. ,
Supervisory control of infinite symbolic systems using abstract interpretation, Proceedings of the 44th IEEE Conference on Decision and Control, pp.31-35, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00483925
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation, Discrete Event Dynamic Systems : Theory and Applications, pp.121-161, 2011. ,
DOI : 10.1007/s10626-011-0101-3
URL : https://hal.archives-ouvertes.fr/inria-00586169
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
URL : https://hal.archives-ouvertes.fr/hal-00546156
Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Verification of Real-Time Systems using Linear Relation Analysis, Formal Methods in System Design, vol.11, issue.2, pp.157-185, 1997. ,
DOI : 10.1023/A:1008678014487
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
Static determination of dynamic properties of programs, Proceedings of the Second International Symposium on Programming. Dunod, pp.106-130, 1976. ,
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978. ,
DOI : 10.1145/512760.512770
Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979. ,
DOI : 10.1145/567752.567778
Optimal domains for disjunctive abstract interpretation, Science of Computer Programming, vol.32, issue.1-3, pp.177-210, 1998. ,
DOI : 10.1016/S0167-6423(97)00034-8
The powerset operator on abstract interpretations, Theoretical Computer Science, vol.222, issue.1-2, pp.77-111, 1999. ,
DOI : 10.1016/S0304-3975(98)00007-3
Widening operators for powerset domains, International Journal on Software Tools for Technology Transfer, vol.22, issue.3, pp.449-466, 2006. ,
DOI : 10.1007/s10009-005-0215-8
Perfect normal forms for discrete programs, Bull, Tech. Rep, 1987. ,
Apron: A Library of Numerical Abstract Domains for Static Analysis, Computer Aided Verification, pp.661-667, 2009. ,
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354
Applying abstract acceleration to (co-)reachability analysis of reactive programs, Journal of Symbolic Computation, vol.47, issue.12, pp.1512-1532, 2012. ,
DOI : 10.1016/j.jsc.2011.12.051
URL : https://hal.archives-ouvertes.fr/hal-00753412
Static analysis in disjunctive numerical domains, " in Static Analysis, pp.3-17, 2006. ,
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, pp.1-10, 2014. ,
DOI : 10.1145/2656045.2656060