K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of the European Symposium on Programming, ESOP'03, number 2618, 2003.
DOI : 10.1007/3-540-36575-3_13

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

P. C. Attie, A. Arora, and E. A. Emerson, Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems, vol.26, issue.1, pp.125-185, 2004.
DOI : 10.1145/963778.963782

A. Avizienis, J. Laprie, and B. Randell, Dependability and Its Threats: A Taxonomy, IFIP World Computer Congress, pp.91-120, 2004.
DOI : 10.1007/978-1-4020-8157-6_13

R. Bellman, Dynamic Programming, 1957.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

C. Bernardeschi, A. Fantechi, and L. Simoncini, Formally Verifying Fault Tolerant System Designs, The Computer Journal, vol.43, issue.3, 2000.
DOI : 10.1093/comjnl/43.3.191

URL : http://comjnl.oxfordjournals.org/cgi/content/short/43/3/191

B. Bonakdarpour and S. S. Kulkarni, Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space, 27th International Conference on Distributed Computing Systems (ICDCS '07), 2007.
DOI : 10.1109/ICDCS.2007.109

B. Bonakdarpour and S. S. Kulkarni, Revising Distributed UNITY Programs Is NP-Complete, International Conference on Principles of Distributed Systems, OPODIS'08, pp.408-427, 2008.
DOI : 10.1145/357233.357237

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

B. Bonakdarpour and S. S. Kulkarni, SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs, International Conference on Concurrency Theory, CONCUR'08, pp.167-171, 2008.
DOI : 10.1007/978-3-540-85361-9_16

D. Brì-ere, D. Ribot, D. Pilaud, and J. Camus, Methods and specifications tools for Airbus on-board systems, Avionics Conference and Exhibition, 1994.

N. Brinis, Synthèse d'un contrôleur pour leprobì eme des généraux byzantins, Master's Report, ´ Ecole Nationale des Sciences de l'Informatique, 2005.

G. Bruns and I. Sutherland, Model checking and fault tolerance, International Conference on Algebraic Methodology and Software Technology, AMAST'97, 1997.
DOI : 10.1007/BFb0000462

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.35677-691, 1986.
DOI : 10.1109/TC.1986.1676819

P. Caspi, A. Girault, and D. Pilaud, Automatic distribution of reactive systems for asynchronous networks of processors, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.416-427, 1999.
DOI : 10.1109/32.798329

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

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, International Conference on Concurrency Theory, CONCUR'05, pp.66-80, 2005.
DOI : 10.1007/11539452_9

URL : https://hal.archives-ouvertes.fr/hal-00350475

K. Cho and J. Lim, Synthesis of fault-tolerant supervisor for automated manufacturing systems: A case study on photolothographic process, IEEE Trans. Robotics and Automation, vol.14, issue.2, pp.348-351, 1998.

R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, vol.33, issue.3, pp.249-260, 1988.
DOI : 10.1109/9.402

J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Wanatabe, Quasi-static scheduling of independent tasks for reactive systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.24, issue.10, pp.1492-1514, 2005.
DOI : 10.1109/TCAD.2005.852038

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. Delaval and E. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, EURASIP J. on Embedded Systems, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000867

E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten, OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS, Workshop on Dependable Control of Discrete Systems, DCDS'07, pp.23-28, 2007.
DOI : 10.3182/20070613-3-FR-4909.00031

URL : https://hal.archives-ouvertes.fr/hal-00375564

E. Dumitrescu, A. Girault, and E. Rutten, Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis, Workshop on Discrete Event Systems, WODES'04, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00419542

E. A. Emerson and E. M. Clarke, Using branching time temporal logic to synthesize synchronization skeletons, Science of Computer Programming, vol.2, issue.3, pp.241-266, 1982.
DOI : 10.1016/0167-6423(83)90017-5

URL : http://doi.org/10.1016/0167-6423(83)90017-5

F. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys, vol.31, issue.1, pp.1-26, 1999.
DOI : 10.1145/311531.311532

F. Gärtner and A. Jhumka, Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications, Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System, FORMATS-FTRTFT'04, 2004.
DOI : 10.1007/978-3-540-30206-3_14

A. Girault and E. Rutten, Discrete controller synthesis for fault-tolerant distributed systems In International Workshop on Formal Methods for Industrial Critical Systems, ENTCS, vol.133, pp.81-100, 2004.

A. Girault and H. Yu, A flexible method to tolerate value sensor failures, 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp.86-93, 2006.
DOI : 10.1109/ETFA.2006.355435

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, International Conference on Algebraic Methodology and Software Technology, AMAST'93, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

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

R. M. Jensen, M. Veloso, and R. Bryant, Synthesis of fault-tolerant plans for non-deterministic domains, Workshop on Planning under Uncertainty and Incomplete Information, 2003.

O. Kamach, L. Pietrac, and E. Niel, Approche multi-modèle pour les systèmessystèmes`systèmesàsystèmesà´systèmesàévénements discrets: applicationàapplication`applicationà un préhenseur pneumatique, Modélisation des Systèmes Réactifs, MSR'05, pp.159-174, 2005.

S. S. Kulkarni and A. Arora, Automating the Addition of Fault-Tolerance, International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'00, pp.82-93, 1926.
DOI : 10.1007/3-540-45352-0_9

S. S. Kulkarni and A. Ebnenasir, Automated synthesis of multitolerance, International Conference on Dependable Systems and Networks, 2004, 2004.
DOI : 10.1109/DSN.2004.1311891

S. S. Kulkarni and A. Ebnenasir, Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance, IEEE Transactions on Dependable and Secure Computing, vol.2, issue.3, pp.201-215, 2005.
DOI : 10.1109/TDSC.2005.29

R. Kumar and V. K. Garg, Optimal Supervisory Control of Discrete Event Dynamical Systems, SIAM Journal on Control and Optimization, vol.33, issue.2, pp.419-439, 1995.
DOI : 10.1137/S0363012992235183

L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982.
DOI : 10.1145/357172.357176

F. Lin and W. M. Wonham, Decentralized supervisory control of discrete-event systems, Information Sciences, vol.44, issue.3, pp.199-224, 1988.
DOI : 10.1016/0020-0255(88)90002-3

F. Lin and W. M. Wonham, On observability of discrete-event systems, Information Sciences, vol.44, issue.3, pp.173-198, 1988.
DOI : 10.1016/0020-0255(88)90001-1

F. Maraninchi and Y. Rémond, 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

H. Marchand, O. Boivineau, and S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, SIAM Journal on Control and Optimization, vol.39, issue.2, pp.512-532, 2000.
DOI : 10.1137/S0363012998341964

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

H. Marchand, O. Boivineau, and S. Lafortune, On optimal control of a class of partially observed discrete event systems, Automatica, vol.38, issue.11, pp.1935-1943, 2002.
DOI : 10.1016/S0005-1098(02)00089-4

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

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, 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

H. Marchand and E. Rutten, Managing multi-mode tasks with time cost and quality levels using optimal discrete controller synthesis, Euromicro Conference on Real-Time Systems, ECRTS'02, 2002.

H. Marchand and M. Samaan, 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

R. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

D. Powell, Failure mode assumption and assumption coverage, International Symposium on Fault-Tolerant Computing, FTCS-22, pp.386-395, 1992.
DOI : 10.1007/978-3-642-79789-7_8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

H. Schepers and J. Hooman, A trace-based compositional proof theory for fault tolerant distributed systems, Theoretical Computer Science, vol.128, issue.1-2, 1994.
DOI : 10.1016/0304-3975(94)90167-8

R. Sengupta and S. Lafortune, 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

S. Taha, Synthèse de contrôleurs discrets pour systèmes embarqués tolérants aux pannes, 2004.

S. Tripakis, Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication, IEEE Transactions on Automatic Control, vol.49, issue.9, pp.1489-1501, 2004.
DOI : 10.1109/TAC.2004.834116

E. Tronci, Optimal finite state supervisory control, Proceedings of 35th IEEE Conference on Decision and Control, 1996.
DOI : 10.1109/CDC.1996.572981

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. N. Tsitsiklis, On the control of discrete-event dynamical systems, Mathematics of Control, Signals, and Systems, vol.25, issue.2, pp.95-107, 1989.
DOI : 10.1007/BF02551817