International audienceWe propose a technique for discrete controller synthesis, with optimal synthesis on bounded paths, in order to model, design, and optimize fault-tolerant distributed systems, taking into account several criteria (e.g., the execution costs of the tasks and their quality of service). Different combinations are explored for multi-criteria optimizatio
This paper presents a methodology for the optimal hardware redundancies selection in the context of ...
Le travail présenté dans ce mémoire de thèse porte sur les systèmes tolérants aux défauts, plus préc...
Abstract—We present an approach to the synthesis of fault-tol-erant hard real-time systems for safet...
International audienceWe propose a technique for discrete controller synthesis, with optimal synthes...
Embedded systems require safe design methods based on formal methods, as well as safe execution base...
discrete controller synthesis for the modeling of fault-tolerant distributed system
AbstractEmbedded systems require safe design methods based on formal methods, as well as safe execut...
Real-time control systems, involving continuous measuring and monitoring of physical quantities, nee...
This paper presents a performance optimization algorithm for controller reconfiguration in fault tol...
International audienceDiscrete controller synthesis (DCS) is a formal approach, based on the same st...
This paper presents a performance optimization algorithm for controller reconfiguration in fault tol...
International audienceWe demonstrate the feasibility of a complete workflow to synthesize and implem...
This paper presents a performance optimization algorithm for controller reconfiguration in fault tol...
This paper presents a methodology for the optimal hardware redundancies selection in the context of ...
Le travail présenté dans ce mémoire de thèse porte sur les systèmes tolérants aux défauts, plus préc...
Abstract—We present an approach to the synthesis of fault-tol-erant hard real-time systems for safet...
International audienceWe propose a technique for discrete controller synthesis, with optimal synthes...
Embedded systems require safe design methods based on formal methods, as well as safe execution base...
discrete controller synthesis for the modeling of fault-tolerant distributed system
AbstractEmbedded systems require safe design methods based on formal methods, as well as safe execut...
Real-time control systems, involving continuous measuring and monitoring of physical quantities, nee...
This paper presents a performance optimization algorithm for controller reconfiguration in fault tol...
International audienceDiscrete controller synthesis (DCS) is a formal approach, based on the same st...
This paper presents a performance optimization algorithm for controller reconfiguration in fault tol...
International audienceWe demonstrate the feasibility of a complete workflow to synthesize and implem...
This paper presents a performance optimization algorithm for controller reconfiguration in fault tol...
This paper presents a methodology for the optimal hardware redundancies selection in the context of ...
Le travail présenté dans ce mémoire de thèse porte sur les systèmes tolérants aux défauts, plus préc...
Abstract—We present an approach to the synthesis of fault-tol-erant hard real-time systems for safet...