École normale supérieure de Cachan

About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Nonlinear system. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

Observer-based fault-tolerant control for a class of switched nonlinear systems

Abstract: A class of nonlinear systems that are output–input stable in healthy situation is considered. An observer-based fault-tolerant control (FTC) method is proposed to make the origin asymptotically stable in spite of faults. The proposed FTC method can help to construct a family of Lyapunov functions for a class of switched nonlinear systems with unfixed or fixed dwell periods and to design a switching law that guarantees the fault-tolerant asymptotic stability of the origin. Several examples are included to illustrate the design procedures.

Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games

Abstract: We extend the quantitative synthesis framework by going beyond the worst-case. On the one hand, classical analysis of two-player games involves an adversary (modeling the environment of the system) which is purely antagonistic and asks for strict guarantees. On the other hand, stochastic models like Markov decision processes represent situations where the system is faced to a purely randomized environment: the aim is then to optimize the expected payoff, with no guarantee on individual outcomes. We introduce the beyond worst-case synthesis problem, which is to construct strategies that guarantee some quantitative requirement in the worst-case while providing an higher expected value against a particular stochastic model of the environment given as input. This problem is relevant to produce system controllers that provide nice expected performance in the everyday situation while ensuring a strict (but relaxed) performance threshold even in the event of very bad (while unlikely) circumstances. We study the beyond worst-case synthesis problem for two important quantitative settings: the mean-payoff and the shortest path. In both cases, we show how to decide the existence of finite-memory strategies satisfying the problem and how to synthesize one if one exists. We establish algorithms and we study complexity bounds and memory requirements.

Chemistry and Structure-Activity Relationship of the Styrylquinoline-Type HIV Integrase Inhibitors

Abstract: In spite of significant progress in anti-HIV-1 therapy, current antiviral chemo-therapy still suffers from deleterious side effects and emerging drug resistance. Therefore, the development of novel antiviral drugs remains a crucial issue for the fight against AIDS. HIV-1 integrase is a key enzyme in the replication cycle of the retrovirus since it catalyzes the integration of the reverse transcribed viral DNA into the chromosomal DNA. Efforts to develop anti-integrase drugs started during the early nineties, culminating with the recent approval of Raltegravir. The discovery and the development of the styrylquinoline inhibitor class was an important step in the overall process. In this review we have described the key synthetic issues and the structure-activity relationship of this family of integrase inhibitors. Crystallographic and docking studies that shed light on their mechanism of action are also examined.