Christine Largouët

Learn More
When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observations and the system are thus both represented as finite-state machines (or automata) and the diagnosis formally defined as the synchronized composition of the model with the observations. The(More)
The aim of this paper is to propose the use of a dynamic plot model to improve landcover classification on a sequence of images. This new approach consists in representing the plot as a dynamic system and in modeling its evolution (knowledge about crop cycles) using the timed automata formalism. In order to refine results obtained by a traditional(More)
This paper deals with the integration of domain knowledge to improve the landcover classification of a sequence of images. This new approach consists in representing the plot of land as a dynamic system and in modeling its evolution (knowledge about crop cycles, rotations and farmer practices) with the timed automata formalism. The main feature of this work(More)
The interest to build ecosystem models is well acknowledged in order to improve the understanding of the sophisticated linkages between humans and natural species embedded within variable local and global environmental contexts. It is especially true when a complex temporal evolution intervenes as in population regulations. Ecological modellers usually(More)
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing the observations emitted by the system on a whole time period. The idea of this paper is to slice this global automaton according to temporal windows and to compute local diagnoses(More)
When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observations and the system are thus both represented as finite-state machines (or automata) and the diagnosis formally defined as the synchronized composition of the model with the observations. The(More)
  • 1