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
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
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
Dependability and Its Threats: A Taxonomy, IFIP World Computer Congress, pp.91-120, 2004. ,
DOI : 10.1007/978-1-4020-8157-6_13
Dynamic Programming, 1957. ,
The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
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
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
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=10.1.1.151.7398
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
Methods and specifications tools for Airbus on-board systems, Avionics Conference and Exhibition, 1994. ,
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. ,
Model checking and fault tolerance, International Conference on Algebraic Methodology and Software Technology, AMAST'97, 1997. ,
DOI : 10.1007/BFb0000462
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
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
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
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. ,
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
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
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
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
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
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
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
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
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
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 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
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
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
Synthesis of fault-tolerant plans for non-deterministic domains, Workshop on Planning under Uncertainty and Incomplete Information, 2003. ,
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. ,
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
Automated synthesis of multitolerance, International Conference on Dependable Systems and Networks, 2004, 2004. ,
DOI : 10.1109/DSN.2004.1311891
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
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
The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982. ,
DOI : 10.1145/357172.357176
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
On observability of discrete-event systems, Information Sciences, vol.44, issue.3, pp.173-198, 1988. ,
DOI : 10.1016/0020-0255(88)90001-1
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
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
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
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
Managing multi-mode tasks with time cost and quality levels using optimal discrete controller synthesis, Euromicro Conference on Real-Time Systems, ECRTS'02, 2002. ,
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
Communication and Concurrency. International Series in Computer Science, 1989. ,
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=10.1.1.56.5363
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
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
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
Synthèse de contrôleurs discrets pour systèmes embarqués tolérants aux pannes, 2004. ,
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
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=10.1.1.43.508
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