Anonymous
×
Create a new article
Write your page title here:
We currently have 106 articles on MOR Wiki. Type your article name above or click on one of the titles below and start writing!



Models: Difference between revisions

add note about constant forcing term
Affine Parametric Linear Time-Invariant System: add parametrized B and C terms
Line 83: Line 83:
:<math>
:<math>
\begin{align}
\begin{align}
(E + \sum_{i=1}^{\ell} p^E_i E_i)\dot{x}(t) &= (A + \sum_{i=1}^{\ell} p^A_i A_i) x(t) + Bu(t),\\
(E + \sum_{i=1}^{\ell} p^E_i E_i)\dot{x}(t) &= (A + \sum_{i=1}^{\ell} p^A_i A_i) x(t) + (B + \sum_{i=1}^{\ell} p^B_i B_i)u(t),\\
y(t) &= Cx(t),
y(t) &= (C + \sum_{i=1}^{\ell} p^C_i C_i)x(t),
\end{align}
\end{align}
</math>
</math>
Line 90: Line 90:
with
with


<math>E \in \mathbb{R}^{n \times n}</math>,
<math>E, E_i \in \mathbb{R}^{n \times n}</math>;
<math>E_i \in \mathbb{R}^{n \times n}</math>,
<math>A, A_i \in \mathbb{R}^{n \times n}</math>;
<math>A \in \mathbb{R}^{n \times n}</math>,
<math>B, B_i \in \mathbb{R}^{n \times m}</math>; and
<math>A_i \in \mathbb{R}^{n \times n}</math>,
<math>C, C_i \in \mathbb{R}^{q \times n}</math>,
<math>B \in \mathbb{R}^{n \times m}</math>,
for all <math>i = 1, \ldots, \ell</math>.
<math>C \in \mathbb{R}^{q \times n}</math>.


===Second-Order System===
===Second-Order System===

Revision as of 13:29, 31 August 2022


Benchmark Model Templates

This page specifies templates for the types of models used as benchmark systems. In particular, the naming schemes established here are used in the corresponding data sets for all benchmarks. For example, A always serves as the name of the component matrix applied to the state x(t) in a linear time-invariant system. For all models we assume an input u:m, with components uj,j=1,,m, a state x:n, and an output y:q. For all parametric models, we assume each component has parameters; in cases where a component has fewer than parameters, the extras are treated as 0. Some benchmarks (e.g., Bone Model) have a constant forcing term, in which case, it is assumed that u(t) is identically 1.

Linear Time-Invariant System

Ex˙(t)=Ax(t)+Bu(t),y(t)=Cx(t),

with

En×n, An×n, Bn×m, Cq×n.


Linear Time-Varying System

E(t)x˙(t)=A(t)x(t)+B(t)u(t),y(t)=C(t)x(t),

with

E:n×n, A:n×n, B:n×m, C:q×n.


Quadratic-Bilinear System

Ex˙(t)=Ax(t)+Hx(t)x(t)+j=1mNjx(t)uj(t)+Bu(t),y(t)=Cx(t),

with

En×n, An×n, Hn×n2, Njn×n, Bn×m, Cq×n.

Nonlinear Time-Invariant System

Ex˙(t)=Ax(t)+f(x(t),u(t))+Bu(t),y(t)=Cx(t),

with

En×n, An×n, Bn×m, Cq×n, f:n×mn.


Affine Parametric Linear Time-Invariant System

(E+i=1piEEi)x˙(t)=(A+i=1piAAi)x(t)+(B+i=1piBBi)u(t),y(t)=(C+i=1piCCi)x(t),

with

E,Ein×n; A,Ain×n; B,Bin×m; and C,Ciq×n, for all i=1,,.

Second-Order System

Mx¨(t)+Ex˙(t)+Kx(t)=Bu(t),y(t)=Cx(t),

with

Mn×n, En×n, Kn×n, Bn×m, Cq×n.

Nonlinear Second-Order System

Mx¨(t)+Ex˙(t)+Kx(t)=Bu(t)+Ff(x(t),u(t)),y(t)=Cx(t),

with

Mn×n, En×n, Kn×n, Bn×m, Fn×n, Cq×n, f:n×mn.

Affine Parametric Second-Order System

(M+i=1piMMi)x¨(t)+(E+i=1piEEi)x˙(t)+(K+i=1piKKi)x(t)=Bu(t),y(t)=Cx(t),

with

Mn×n, Min×n, En×n, Ein×n, Kn×n, Kin×n, Bn×m, Cq×n.