We propose an algebraic approach to investigate K -diagnosability of partially observed labeled Petri nets which can be either bounded or unbounded. Namely, a necessary and sufficient condition for K-diagnosability is established based on the resolution of an Integer Linear Programming (ILP) problem. When the system is K -diagnosable, our approach ...
A new molecular dynamics-like modelling approach aimed at simulating the mechanical behaviour of true polyhedra dense assemblies is presented. Thanks to an improved version of the Gilbert-Johnson-Keerthi contact detection algorithm called GJK - TD, this approach involves no edge or corner rounding and accounts for multipoint face - face or edge - f...
Concrete mixing can lead to mechanical degradation of aggregates, particularly when dealing with recycled concrete aggregates. In this work, the attrition of such materials during mixing is studied by means of experiments and simulations. The effect of the presence of fines, water addition, flow configuration of the mixer (co- or counter-current) a...
This paper is devoted to the investigation of the density sorting of grains using water jigging. Experiments achieved in a laboratory scale water jig for two initial binary bed configurations are studied and compared to numerical results. The vertical composition of the deposit is estimated after different number of water pulses to represent the so...
In this article, a diagnosis approach for partially observed labelled Petri nets is developed based on building a set of analytical redundancy relationships on a progressive horizon. A nominal model is used for fault detection based on a set of relationships linking the known data of the nominal behaviour. A fault model is used for fault isolation ...
Many diagnosis approaches for discrete event systems are diagnoser-based. A diagnoser is a deterministic automaton that can be built directly from the underlying system model by performing e-reduction and determinization operations. The diagnoser-based approaches allow for analyzing diagnosability, but they also support online diagnosis in a straig...
Many diagnosis approaches for discrete event systems are diagnoser-based. A diagnoser is a deterministic automaton that can be built directly from the underlying system model by performing e-reduction and determinization operations. The diagnoser-based approaches allow for analyzing diagnosability, but they also support online diagnosis in a straig...
This paper is devoted to the investigation of the density sorting of grains using water jigging. Experiments achieved in a laboratory scale water jig for two initial binary bed configurations are studied and compared to numerical results. The vertical composition of the deposit is estimated after different number of water pulses to represent the so...
In this article, a diagnosis approach for partially observed labelled Petri nets is developed based on building a set of analytical redundancy relationships on a progressive horizon. A nominal model is used for fault detection based on a set of relationships linking the known data of the nominal behaviour. A fault model is used for fault isolation ...
