#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2010

2014

- This year (0)
- Last 5 years (4)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

We present a novel approach to the computation of symbolic abstractions of incrementally stable switched systems. The main novelty consists in using mode sequences of given length as symbolic states for our abstractions. We show that the resulting symbolic models are approximately bisimilar to the original switched system and that an arbitrary precision can… (More)

Chronicle recognition is an efficient and robust method for fault diagnosis. The knowledge about the underlying system is gathered in a set of chronicles, then the occurrence of a fault is diagnosed by analyzing the flow of observations and matching this flow with a set of available chronicles. The chronicle approach is very efficient as it relies on the… (More)

This paper deals with the control of uncertain (max,+)-linear systems, more precisely those of which parameters are not exactly known but assumed to belong to an interval. In this context, we aim at synthesizing a controller in order to reduce the uncertainty at the output of the controlled system. This study is possible thanks to the residuation theory and… (More)

- Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin
- Discrete Event Dynamic Systems
- 2014

According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this context, this paper deals with traffic regulation and performance guarantee of a network i.e. with flow control. At first, assuming that a minimum service provided by a network is… (More)

This paper presents an approach of model-based diagnosis for the health monitoring of hybrid systems. These systems have both continuous and discrete dynamics. Modified Particle Petri Nets, initially defined in the context of hybrid systems mission monitoring, are extended to estimate the health state of hybrid systems. This formalism takes into account… (More)

- ‹
- 1
- ›