-
Convergence and Stability Analysis of the Extended Infinite Horizon Model Predictive Control
Authors:
Luz A. Alvarez,
Diego F. de Bernardini,
Christophe Gallesco
Abstract:
Model Predictive Control (MPC) is a popular technology to operate industrial systems. It refers to a class of control algorithms that use an explicit model of the system to obtain the control action by minimizing a cost function. At each time step, MPC solves an optimization problem that minimizes the future deviation of the outputs which are calculated from the model. The solution of the optimiza…
▽ More
Model Predictive Control (MPC) is a popular technology to operate industrial systems. It refers to a class of control algorithms that use an explicit model of the system to obtain the control action by minimizing a cost function. At each time step, MPC solves an optimization problem that minimizes the future deviation of the outputs which are calculated from the model. The solution of the optimization problem is a sequence of control inputs, the first input is applied to the system, and the optimization process is repeated at subsequent time steps. In the context of MPC, convergence and stability are fundamental issues. A common approach to obtain MPC stability is by setting the prediction horizon as infinite. For stable open-loop systems, the infinite horizon can be reduced to a finite horizon MPC with a terminal weight computed through the solution of a Lyapunov equation. This paper presents a rigorous analysis of convergence and stability of the extended nominally stable MPC developed by Odloak [Odloak, D. Extended robust model predictive control, AIChE J. 50 (8) (2004) 1824-1836] and the stable MPC with zone control [González, A.H., Odloak, D. A stable MPC with zone control, J. Proc. Cont. 19 (2009) 110-122]. The mathematical proofs consider that the system is represented by a general gain matrix $D_0$, i.e., not necessarily regular, and they are developed for any input horizon $m$. The proofs are based on elementary geometric and algebraic tools and we believe that they can be adapted to the derived MPC approaches, as well as future studies.
△ Less
Submitted 21 November, 2024;
originally announced November 2024.
-
Hypo-elasticity, Cauchy-elasticity, corotational stability and monotonicity in the logarithmic strain
Authors:
Patrizio Neff,
Sebastian Holthausen,
Marco Valerio d'Agostino,
Davide Bernardini,
Adam Sky,
Ionel-Dumitrel Ghiba,
Robert J. Martin
Abstract:
We combine the rate-formulation for the objective, corotational Zaremba-Jaumann rate
\begin{align}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t} [σ] = \mathbb{H}^{\rm ZJ}(σ).D, \qquad D = {\rm sym} {\rm D} v\,,
\end{align} operating on the Cauchy stress $σ$, the Eulerian strain rate $D$ and the spatial velocity $v$ with the novel \enquote{corotational stability postulate} (CSP)\begin{equation}
\Bigl\…
▽ More
We combine the rate-formulation for the objective, corotational Zaremba-Jaumann rate
\begin{align}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t} [σ] = \mathbb{H}^{\rm ZJ}(σ).D, \qquad D = {\rm sym} {\rm D} v\,,
\end{align} operating on the Cauchy stress $σ$, the Eulerian strain rate $D$ and the spatial velocity $v$ with the novel \enquote{corotational stability postulate} (CSP)\begin{equation}
\Bigl\langle \frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ], D \Bigr\rangle > 0 \qquad \forall \, D\in{\rm Sym}(3)\setminus\{0\} \end{equation} to show that for a given isotropic Cauchy-elastic constitutive law $B \mapsto σ(B)$ in terms of the left Cauchy-Green tensor $B = F F^T$, the induced fourth-order tangent stiffness tensor $\mathbb{H}^{\rm ZJ}(σ)$ is positive definite if and only if for $\widehatσ(\log B):=σ(B)$, the strong monotonicity condition (TSTS-M$^{++}$) in the logarithmic strain is satisfied. Thus (CSP) implies (TSTS-M^{++}) and vice-versa, and both imply the invertibility of the hypo-elastic material law between the stress and strain rates given by the tensor $\mathbb{H}^{\rm ZJ}(σ)$. The same characterization remains true for the corotational Green-Naghdi rate as well as the corotational logarithmic rate, conferring the corotational stability postulate (CSP) together with the monotonicity in the logarithmic strain tensor (TSTS-M^{++}) a far reaching generality. It is conjectured that this characterization of (CSP) holds for a large class of reasonable corotational rates. The result for the logarithmic rate is based on a novel chain rule for corotational derivatives of isotropic tensor functions.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
A constitutive condition for idealized isotropic Cauchy elasticity involving the logarithmic strain
Authors:
Marco Valerio d'Agostino,
Sebastian Holthausen,
Davide Bernardini,
Adam Sky,
Ionel-Dumitrel Ghiba,
Robert J. Martin,
Patrizio Neff
Abstract:
Following Hill and Leblond, the aim of our work is to show, for isotropic nonlinear elasticity, a relation between the corotational Zaremba-Jaumann objective derivative of the Cauchy stress $σ$, i.e.
\begin{equation}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ] = \frac{\rm d}{{\rm d}{t}}[σ] - W \, σ+ σ\, W, \qquad W = {\rm skew}(\dot F \, F^{-1})
\end{equation} and a constitutive requirement involv…
▽ More
Following Hill and Leblond, the aim of our work is to show, for isotropic nonlinear elasticity, a relation between the corotational Zaremba-Jaumann objective derivative of the Cauchy stress $σ$, i.e.
\begin{equation}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ] = \frac{\rm d}{{\rm d}{t}}[σ] - W \, σ+ σ\, W, \qquad W = {\rm skew}(\dot F \, F^{-1})
\end{equation} and a constitutive requirement involving the logarithmic strain tensor. Given the deformation tensor $F ={\rm D} \varphi$, the left Cauchy-Green tensor $B = F \, F^T$, and the strain-rate tensor $D = {\rm sym}(\dot F \, F^{-1})$, we show that
\begin{equation}
\label{eqCPSdef}
\begin{alignedat}{2}
\forall \,D\in{\rm Sym}(3) \! \setminus \! \{0\}:
~
\langle{\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ]},{D}\rangle > 0
\quad
&\iff
\quad
\log B
\longmapsto
\widehatσ(\log B)
\;\textrm{is strongly Hilbert-monotone}
&\iff \quad {\rm sym} {\rm D}_{\log B} \widehat σ(\log B) \in{\rm Sym}^{++}_4(6) \quad \text{(TSTS-M$^{++}$)},
\end{alignedat} \tag{1}
\end{equation} where ${\rm Sym}^{++}_4(6)$ denotes the set of positive definite, (minor and major) symmetric fourth order tensors. We call the first inequality ``corotational stability postulate'' (CSP), a novel concept, which implies the \textbf{T}rue-\textbf{S}tress \textbf{T}rue-\textbf{S}train strict Hilbert-\textbf{M}onotonicity (TSTS-M$^+$) for $B \mapsto σ(B) = \widehat σ(\log B)$, i.e. \begin{equation}
\langle \widehatσ(\log B_1)-\widehatσ(\log B_2),{\log B_1-\log B_2} \rangle> 0
\qquad
\forall \, B_1\neq B_2\in{\rm Sym}^{++}(3) \, . \end{equation} In this paper we expand on the ideas of Hill and Leblond, extending Leblonds calculus to the Cauchy elastic case.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Green's functions for the isotropic planar relaxed micromorphic model -- concentrated force and concentrated couple
Authors:
Panos Gourgiotis,
Gianluca Rizzi,
Peter Lewintan,
Davide Bernardini,
Adam Sky,
Angela Madeo,
Patrizio Neff
Abstract:
We derive the Green's functions (concentrated force and couple in an infinite space) for the isotropic planar relaxed micromorphic model. Since the relaxed micromorphic model particularises into the microstretch, Cosserat (micropolar), couple-stress, and linear elasticity model for certain choices of material parameters, we recover the fundamental solutions in all these cases.
We derive the Green's functions (concentrated force and couple in an infinite space) for the isotropic planar relaxed micromorphic model. Since the relaxed micromorphic model particularises into the microstretch, Cosserat (micropolar), couple-stress, and linear elasticity model for certain choices of material parameters, we recover the fundamental solutions in all these cases.
△ Less
Submitted 22 February, 2024; v1 submitted 18 October, 2023;
originally announced November 2023.
-
Edge Generation Scheduling for DAG Tasks Using Deep Reinforcement Learning
Authors:
Binqi Sun,
Mirco Theile,
Ziyuan Qin,
Daniele Bernardini,
Debayan Roy,
Andrea Bastoni,
Marco Caccamo
Abstract:
Directed acyclic graph (DAG) tasks are currently adopted in the real-time domain to model complex applications from the automotive, avionics, and industrial domains that implement their functionalities through chains of intercommunicating tasks. This paper studies the problem of scheduling real-time DAG tasks by presenting a novel schedulability test based on the concept of trivial schedulability.…
▽ More
Directed acyclic graph (DAG) tasks are currently adopted in the real-time domain to model complex applications from the automotive, avionics, and industrial domains that implement their functionalities through chains of intercommunicating tasks. This paper studies the problem of scheduling real-time DAG tasks by presenting a novel schedulability test based on the concept of trivial schedulability. Using this schedulability test, we propose a new DAG scheduling framework (edge generation scheduling -- EGS) that attempts to minimize the DAG width by iteratively generating edges while guaranteeing the deadline constraint. We study how to efficiently solve the problem of generating edges by developing a deep reinforcement learning algorithm combined with a graph representation neural network to learn an efficient edge generation policy for EGS. We evaluate the effectiveness of the proposed algorithm by comparing it with state-of-the-art DAG scheduling heuristics and an optimal mixed-integer linear programming baseline. Experimental results show that the proposed algorithm outperforms the state-of-the-art by requiring fewer processors to schedule the same DAG tasks. The code is available at https://github.com/binqi-sun/egs.
△ Less
Submitted 10 January, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
A machine-learning approach to synthesize virtual sensors for parameter-varying systems
Authors:
Daniele Masti,
Daniele Bernardini,
Alberto Bemporad
Abstract:
This paper introduces a novel model-free approach to synthesize virtual sensors for the estimation of dynamical quantities that are unmeasurable at runtime but are available for design purposes on test benches. After collecting a dataset of measurements of such quantities, together with other variables that are also available during on-line operations, the virtual sensor is obtained using machine…
▽ More
This paper introduces a novel model-free approach to synthesize virtual sensors for the estimation of dynamical quantities that are unmeasurable at runtime but are available for design purposes on test benches. After collecting a dataset of measurements of such quantities, together with other variables that are also available during on-line operations, the virtual sensor is obtained using machine learning techniques by training a predictor whose inputs are the measured variables and the features extracted by a bank of linear observers fed with the same measures. The approach is applicable to infer the value of quantities such as physical states and other time-varying parameters that affect the dynamics of the system. The proposed virtual sensor architecture - whose structure can be related to the Multiple Model Adaptive Estimation framework - is conceived to keep computational and memory requirements as low as possible, so that it can be efficiently implemented in embedded hardware platforms.
The effectiveness of the approach is shown in different numerical examples, involving the estimation of the scheduling parameter of a nonlinear parameter-varying system, the reconstruction of the mode of a switching linear system, and the estimation of the state of charge (SoC) of a lithium-ion battery.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
An improved decoupling inequality for random interlacements
Authors:
Diego F. de Bernardini,
Christophe Gallesco,
Serguei Popov
Abstract:
In this paper we obtain a decoupling feature of the random interlacements process $\mathcal{I}^u \subset \mathbb{Z}^d$, at level $u$, $d\geq 3$. More precisely, we show that the trace of the random interlacements process on two disjoint finite sets, $\textsf{F}$ and its translated $\textsf{F}+x$, can be coupled with high probability of success, when $\|x\|$ is large, with the trace of a process of…
▽ More
In this paper we obtain a decoupling feature of the random interlacements process $\mathcal{I}^u \subset \mathbb{Z}^d$, at level $u$, $d\geq 3$. More precisely, we show that the trace of the random interlacements process on two disjoint finite sets, $\textsf{F}$ and its translated $\textsf{F}+x$, can be coupled with high probability of success, when $\|x\|$ is large, with the trace of a process of independent excursions, which we call the noodle soup process. As a consequence, we obtain an upper bound on the covariance between two $[0,1]$-valued functions depending on the configuration of the random interlacements on $\textsf{F}$ and $\textsf{F}+x$, respectively. This improves a previous bound obtained by Sznitman in [12].
△ Less
Submitted 4 November, 2019; v1 submitted 14 September, 2018;
originally announced September 2018.
-
On uniform closeness of local times of Markov chains and i.i.d. sequences
Authors:
Diego F. de Bernardini,
Christophe Gallesco,
Serguei Popov
Abstract:
In this paper we consider the field of local times of a discrete-time Markov chain on a general state space, and obtain uniform (in time) upper bounds on the total variation distance between this field and the one of a sequence of $n$ i.i.d. random variables with law given by the invariant measure of that Markov chain. The proof of this result uses a refinement of the soft local time method of [11…
▽ More
In this paper we consider the field of local times of a discrete-time Markov chain on a general state space, and obtain uniform (in time) upper bounds on the total variation distance between this field and the one of a sequence of $n$ i.i.d. random variables with law given by the invariant measure of that Markov chain. The proof of this result uses a refinement of the soft local time method of [11].
△ Less
Submitted 21 March, 2019; v1 submitted 8 October, 2016;
originally announced October 2016.
-
Russo's formula for random interlacements
Authors:
Diego F. de Bernardini,
Serguei Popov
Abstract:
In this paper we obtain a couple of explicit expressions for the derivative of the probability of an increasing event in the random interlacements model. The event is supported in a finite subset of the lattice, and the derivative is with respect to the intensity parameter of the model.
In this paper we obtain a couple of explicit expressions for the derivative of the probability of an increasing event in the random interlacements model. The event is supported in a finite subset of the lattice, and the derivative is with respect to the intensity parameter of the model.
△ Less
Submitted 17 April, 2015; v1 submitted 2 December, 2014;
originally announced December 2014.
