The work treats the problem of fault detection for processes described by partial differential equations as that of maximizing the power of a parametric hypothesis test which checks whether or not system parameters have nominal values. A simple node activation strategy is discussed for the design of a sensor network deployed in a spatial domain that is supposed to be used while detecting changes in the underlying parameters which govern the process evolution. The setting considered relates to a...

This paper deals with the problem of regional observability of hyperbolic systems in the case where the subregion of interest is a boundary part of the system evolution domain. We give a definition and establish characterizations in connection with the sensor structure. Then we show that it is possible to reconstruct the system state on a subregion of the boundary. The developed approach, based on the Hilbert uniqueness method (Lions, 1988), leads to a reconstruction algorithm. The obtained results...

In this paper we investigate the local stabilizability of single-input nonlinear affine systems by means of an estimated state feedback law given by a bilinear observer. The associated bilinear approximating system is assumed to be observable for any input and stabilizable by a homogeneous feedback law of degree zero. Furthermore, we discuss the case of planar systems which admit bad inputs (i.e. the ones that make bilinear systems unobservable). A separation principle for such systems is given.

In this paper, we study the local stabilization problem of a class of planar nonlinear systems by means of an estimated state feedback law. Our approach is to use a bilinear approximation to establish a separation principle.

The paper considers a set membership joint estimation of variables and parameters in complex dynamic networks based on parametric uncertain models and limited hard measurements. A recursive estimation algorithm with a moving measurement window is derived that is suitable for on-line network monitoring. The window allows stabilising the classic recursive estimation algorithm and significantly improves estimate tightness. The estimator is validated on a case study regarding a water distribution network....

We analyze the set-valued stochastic integral equations driven by continuous semimartingales and prove the existence and uniqueness of solutions to such equations in the framework of the hyperspace of nonempty, bounded, convex and closed subsets of the Hilbert space L2 (consisting of square integrable random vectors). The coefficients of the equations are assumed to satisfy the Osgood type condition that is a generalization of the Lipschitz condition. Continuous dependence of solutions with respect...

We present the concepts of set-valued stochastic integrals in a plane and prove the existence of a solution to stochastic integral inclusions of the form $z_{s,t}\in {\phi }_{s,t}+{\int }_0^s{\int }_0^t{F}_{u,v}\left(z_{u,v}\right)dudv+{\int }_0^s{\int }_0^t{G}_{u,v}\left(z_{u,v}\right)d{w}_{u,v}$

The purpose of the paper is to introduce a set-valued Stratonovich integral driven by a one-dimensional Brownian motion. We discuss the existence of this integral and investigate its properties.

This contribution presents the shape optimization problem of the plunger cooling cavity for the time dependent model of pressing the glass products. The system of the mould, the glass piece, the plunger and the plunger cavity is considered in four consecutive time intervals during which the plunger moves between 6 glass moulds. The state problem is represented by the steady-state Navier-Stokes equations in the cavity and the doubly periodic energy equation in the whole system, under the assumption...

This paper deals with a new method to control flexible structures by designing non-collocated sensors and actuators satisfying a pseudo-collocation criterion in the low-frequency domain. This technique is applied to a simply supported plate with a point force actuator and a piezoelectric sensor, for which we give some theoretical and numerical results. We also compute low-order controllers which stabilize pseudo-collocated systems and the closed-loop behavior show that this approach is very promising....

This paper deals with a new method to control flexible structures by designing non-collocated sensors and actuators satisfying a pseudo-collocation criterion in the low-frequency domain. This technique is applied to a simply supported plate with a point force actuator and a piezoelectric sensor, for which we give some theoretical and numerical results. We also compute low-order controllers which stabilize pseudo-collocated systems and the closed-loop behavior show that this approach is very promising. ...

We consider mixed problems for Kirchhoff elastic and thermoelastic systems, subject to boundary control in the clamped Boundary Conditions B.C. (“clamped control”). If w denotes elastic displacement and θ temperature, we establish optimal regularity of {w, w_t, w_tt} in the elastic case, and of {w, w_t, w_tt, θ} in the thermoelastic case. Our results complement those presented in (Lagnese and Lions, 1988), where sharp (optimal) trace regularity results are obtained for the corresponding boundary...

Modern biology is interested in better understanding mechanisms within cells. For this purpose, products of cells like metabolites, peptides, proteins or mRNA are measured and compared under different conditions, for instance healthy cells vs. infected cells. Such experiments usually yield regulation or expression values – the abundance or absence of a cell product in one condition compared to another one – for a large number of cell products, but with only a few replicates. In order to distinguish...

Fuzzy set theory is based on a `fuzzification' of the predicate in (element of), the concept of membership degrees is considered as fundamental. In this paper we elucidate the connection between indistinguishability modelled by fuzzy equivalence relations and fuzzy sets. We show that the indistinguishability inherent to fuzzy sets can be computed and that this indistinguishability cannot be overcome in approximate reasoning. For our investigations we generalize from the unit interval as the basis...

The notion of a common canonical form for a sequence of square matrices is introduced. Necessary and sufficient conditions for the existence of a similarity transformation reducing the sequence of matrices to the common canonical form are established. It is shown that (i) using a suitable state vector linear transformation it is possible to decompose a linear 2D system into two linear 2D subsystems such that the dynamics of the second subsystem are independent of those of the first one, (ii) the...

In the paper the problem of practical stability of linear positive discrete-time systems of fractional order is addressed. New simple necessary and sufficient conditions for practical stability and for practical stability independent of the length of practical implementation are established. It is shown that practical stability of the system is equivalent to asymptotic stability of the corresponding standard positive discrete-time systems of the same order. The discussion is illustrated with numerical...