Data-driven methods for statistical verification of uncertain nonlinear systems

This framework is based on three concepts: - Activity, a set of mechanisms or tasks used to perform the diagnosis; - Propositional object, tangible or immaterial, produced or

manipulation, initial best-fitted surfaces are never touched. The aim of this paper is to present a new approach using this statistical information to describe

This paper introduced a new method of part characterization based on statistical estimation of the real surface of the part, on the one hand, and, on the other hand,

3) Simulating the behaviour of the obtained model with a discrete event simulator. A set of traces summarizing the different actions that occurred during the simulation is

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

a new formalism, called Interface Partial Labeled Transition System IPLTS, for specifying components through a decomposition that encapsulates sub-components into unspecified

Starting off from an over-complete description, based on features successfully used for face recogni- tion (LBP features), we select meaningful features for each enrolled individual

Since the translation between RTL and gate-level descriptions can be done automatically and efficiently, the gate-level description is today mainly an intermediate representation