Xavier Briand

Learn More
The industrial use of elicitors as alternative tools for disease control needs the identification of abundant sources of them. We report on an elicitor obtained from the green algae Ulva spp. A fraction containing most exclusively the sulfated polysaccharide known as ulvan-induced expression of a GUS gene placed under the control of a lipoxygenase gene(More)
We address the verification of hybrid systems built as the composition of a discrete software controller interacting with a physical environment exhibiting a continuous behavior. Our goal is to attack the problem of the combinatorial explosion of discrete states that may happen if a complex software controller is considered. We propose as a solution to(More)
— In this paper, we present extensions of the framework of the µ-calculus which allow us to handle in a very generic and extensible way many control problems. The fundamental new tool is a division operator, and two new modalities are given as examples which allow us to handle observability and distinguishability. Furthermore, all this gives rise to a(More)
  • 1