Alban Girault

Learn More
  • E Dumitrescu, A Girault, H Marchand, E Rutten
  • 2007
We propose a safe design method for safe execution systems, based on fault-tolerance techniques: it uses optimal discrete controller synthesis (DCS) to generate a correct-by-construction fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some failure hypothesis), and several(More)
Hardware fault tolerance is an important consideration in critical distributed real-time embedded systems that has been extensively researched. In these systems, critical real-time constraints must be satisfied even in the presence of hardware component failures. Our goal is to propose a solution to automatically produce a fault tolerant distributed(More)
Glioblastoma multiforme (GBM) is the most lethal and common malignant human brain tumor. The intrinsic resistance of highly invasive GBM cells to radiation- and chemotherapy-induced apoptosis accounts for the generally dismal treatment outcomes. This study investigated ophiobolin A (OP-A), a fungal metabolite from Bipolaris species, for its promising(More)
gamma-Glutamyl transpeptidase (gamma-GT), primarily described as a kidney enzyme, is also expressed in several cell types of the central nervous system (CNS). It is involved in the glutathione cycle and in cysteine transport. Here we report that the specific activity of this enzyme is transiently increased in the rat brain, following a treatment with(More)
  • Ye Zhou, Edward A Lee, Research Advisor, Alberto Professor, Second Sangiovanni-Vincentelli, Reader +3 others
  • 2003
Synchronous Dataflow (SDF) is useful in modeling communications and signal processing systems. We describe a communication actor library based on the SDF semantics in Ptolemy II and show how to use these actors to simulate communication systems. However, many communication and signal processing systems nowadays use adaptive algorithms and control protocols.(More)
BACKGROUND Extensive alveolar epithelial injury and remodelling is a common feature of acute lung injury and acute respiratory distress syndrome (ARDS) and it has been established that epithelial regeneration, and secondary lung oedema resorption, is crucial for ARDS resolution. Much evidence indicates that K(+) channels are regulating epithelial repair(More)
This paper proposes models of short-range sensors. The target application is the simulation of the environment perception for an autonomous biped robot that evolves in an unknown surroundings. These proximity sensors can be of different types, emulating real sensors such as laser range finders, ultrasonic sensors or reflectance sensors. These sensors will(More)
  • 1