Motivated by digital communication channel, we consider the distributed output regulation problem for linear multi-agent systems with quantized state measurements. Quantizers take finitely many values and have an adjustable "zoom" parameter. Quantized distributed output regulation concerns designing distributed feedback by employing quantized technique for multi-agent systems such that all agents can track an active leader, and/or distributed disturbance rejection. With the solvability conditions...

Let W be a function from the real m×n-matrices to the real numbers. If W is quasiconvex in the sense of the calculus of variations, then we show that W can be approximated locally uniformly by quasiconvex polynomials.

We prove a general relaxation theorem for multidimensional control problems of Dieudonné-Rashevsky type with nonconvex integrands f(t, ξ, v) in presence of a convex control restriction. The relaxed problem, wherein the integrand f has been replaced by its lower semicontinuous quasiconvex envelope with respect to the gradient variable, possesses the same finite minimal value as the original problem, and admits a global minimizer. As an application, we provide existence theorems for the image registration...

We prove a general relaxation theorem for multidimensional control problems of Dieudonné-Rashevsky type with nonconvex integrands f(t, ξ, v) in presence of a convex control restriction. The relaxed problem, wherein the integrand f has been replaced by its lower semicontinuous quasiconvex envelope with respect to the gradient variable, possesses the same finite minimal value as the original problem, and admits a global minimizer. As an application, we provide existence theorems for the image registration...

We characterize generalized Young measures, the so-called DiPerna–Majda measures which are generated by sequences of gradients. In particular, we precisely describe these measures at the boundary of the domain in the case of the compactification of ℝm × n by the sphere. We show that this characterization is closely related to the notion of quasiconvexity at the boundary introduced by Ball and Marsden [J.M. Ball and J. Marsden, Arch. Ration. Mech. Anal. 86 (1984) 251–277]. As a consequence we get...

We prove an existence result for equations of the form where the coefficients $a_{ij}(x,s)$ satisfy the usual ellipticity conditions and hypotheses weaker than the continuity with respect to the variable $s$. Moreover, we give a counterexample which shows that the problem above may have no solution if the coefficients $a_{ij}(x,s)$ are supposed only Borel functions

The propagation of fractures in a solid undergoing cyclic loadings is known as the fatigue phenomenon. In this paper, we present a time continuous model for fatigue, in the special situation of the debonding of thin layers, coming from a time discretized version recently proposed by Jaubert and Marigo [C. R. Mecanique333 (2005) 550–556]. Under very general assumptions on the surface energy density and on the applied displacement, we discuss the well-posedness of our problem and we give the main...

We consider two quasistatic problems which describe the frictional contact between a deformable body and an obstacle, the so-called foundation. In the first problem the body is assumed to have a viscoelastic behavior, while in the other it is assumed to be elastic. The frictional contact is modeled by a general velocity dependent dissipation functional. We derive weak formulations for the models and prove existence and uniqueness results. The proofs are based on the theory of evolution variational...

We characterize quasi-static rate-independent evolutions, by means of their graph parametrization, in terms of a couple of equations: the first gives stationarity while the second provides the energy balance. An abstract existence result is given for functionals ℱ of class C1 in reflexive separable Banach spaces. We provide a couple of constructive proofs of existence which share common features with the theory of minimizing movements for gradient flows. Moreover, considering a sequence of functionals...