NF$\kappa$B model

Deprecation warning

This website is now archived. Please check out the new website for Centre for Intelligent Systems which includes both A-Lab Control Systems Research lab and Re:creation XR lab.

However, the Dynamic System Model Database can still be used and may be updated in the future.

Muscle-knee state space model

Model description: 

The state model of the knee-quadriceps can be expressed as

$$\begin{cases} \begin{align*} \dot{x}_1 &= \left[ s_0 \alpha K_m + s_v q\dfrac{s_0\alpha F_mx_1 - s_ux_2x_1}{1 + px_1 - s_vqx_2}\right] u_{ch} - s_ux_1u_{ch} - \dfrac{s_v ax_1 r_p x_4}{L_0 (1+px_1-s_vqx_2)}\\ \dot{x}_2 &= \left[ \dfrac{s_0\alpha F_m - s_ux_2}{1 + px_1 - s_vqx_2} \right]u_{ch} + \dfrac{bx_1r_px_4 - s_vax_2r_px_4}{L_0(1+px_1-s_vqx_2)}\\ \dot{x}_3 &= x_4\\ \dot{x}_4 &= \dfrac{1}{I}[x_2r_p - \lambda x_3 - \mu x_4 - mgl_c \cos{x_3}], \end{align*} \end{cases}$$

where $\textbf{x}=[x_1, \ldots, x_4]^{\mathrm T} = [K_c, F_c, \theta, \dot{\theta}]^{\mathrm T}$ is the state vector and $\textbf{u}=[u_{ch},\alpha ]^{\mathrm T}$ the control vector. The variable $\theta$ represents the knee joint angle and the variables $K_c, F_c, u_{ch}, \alpha$ represent the state variables of the quadriceps muscle model.

Type: 

Form: 

Time domain: 

Linearity: 

Publication details: 

TitleToward lower limbs movement restoration with input-output feedback linearization and model predictive control through functional electrical stimulation
Publication TypeJournal Article
Year of Publication2012
AuthorsMohammed, S., Poignet P., Fraisse P., and Guiraud D.
JournalControl Engineering Practice
Volume20
Issue2
Pagination182-195
Date Published02/2012
ISSN0967-0661
KeywordsFunctional electrical stimulation, Input–output feedback linearization, Model predictive control, Muscle modeling, Rehabilitation engineering
DOI10.1016/j.conengprac.2011.10.010

Droop model

Model description: 

The behavior of phytoplankton cells in a continuous reactor is usually described by the Droop model. Cell growth is limited by a nutrient with concentration $S$. The biomass has a concentration $N$ and $Q$ represents the cell quota of assimilated nutrient, expressed as the amount of intracellular nutrient per biomass unit. The dilution rate $D$ corresponds to the flow rate of renewal medium over the volume of the reactor, and $D$ is the input of the system.

We denote $D = D_0 + u$, and the system fits

$$\sum_D \begin{cases} \dot{x}_i = f(x) + ug(x)\\ y=h(x_1) \end{cases}$$

with

$f(x)=\begin{pmatrix} a_2\left(1-\dfrac{1}{x_2}\right)x_1 - D_0x_1\\ a_3\dfrac{x_3}{a_1+x_3} - a_2(x_2 - 1)\\ D_0(1-x_3)-\dfrac{x_1x_3}{a_1+x_3} \end{pmatrix}$

$g(x)=\begin{pmatrix} -x_1\\ 0\\ 1-x_3 \end{pmatrix}$, and $h(x_1)=x_1$, where

$ x_1 = (\rho_m N/S_i);\\ x_2 = (Q/K_Q);\\ x_3 = (S/S_i);\\ a_1 = (K_{\rho}/S_i);\\ a_2 = \mu_m;\\ a_3 = (\rho_m/K_Q). $

Type: 

Form: 

Model order: 

3

Time domain: 

Linearity: 

Publication details: 

TitleNonlinear observers for a class of biological systems: application to validation of a phytoplanktonic growth model
Publication TypeJournal Article
Year of Publication1998
AuthorsBernard, O., Sallet G., and Sciandra A.
JournalIEEE Transactions on Automatic Control
Volume43
Start Page1056
Issue8
Pagination1056-1065
Date Published08/1998
ISSN0018-9286
Accession Number6002262
Keywordsbiocybernetics, living systems, nonlinear systems, observability, observers, physiological models
AbstractThe authors construct nonlinear observers in order to discuss the validity of biological models. They consider a class of systems including many classical models used in biological modeling. They formulate the nonlinear observers corresponding to these systems and prove the conditions necessary for their exponential convergence. They apply these observers on the well-known Droop model which describes the growth of a population of phytoplanktonic cells. The validity of this model is discussed based on the performance of the observers working on experimental data
DOI10.1109/9.704977

Three Compartment Model Describing the Dynamics of a Drug in a Tissue

Model description: 

Consider the system

$$\begin{align*} \dot{x}_1 &= p_{13}x_3 + p_{12}x_2 - p_{21}x_1+u \\ \dot{x}_2 &= -p_{12}x_2 + p_{21}x_1 \\ \dot{x}_3 &= -p_{13}x_3 \\ y &= x_2, \end{align*}$$

where $x=[x_1, x_2, x_3]$ is the state vector, e.g. $x_1,x_2,x_3$ are drug masses in compartment 1, 2 and 3, respectively; initial conditions are $x_1(0)=0$, $x_2(0)=0$, $x_3(0)=0$; $u$ is the drug input; $y$ is the measured drug output; $p=[p_{12},p_{21},p_{13}]$ is the rate parameter vector (assumed constant).

Type: 

Form: 

Model order: 

3

Time domain: 

Linearity: 

Publication details: 

TitleA new differential algebra algorithm to test identifiability of nonlinear systems with given initial conditions
Publication TypeConference Paper
Year of Publication2001
AuthorsSaccomani, M.P., Audoly S., Bellu G., and D'Angio L.
Conference NameProceedings of the 40th IEEE Conference on Decision and Control, 2001.
Date Published12/2001
PublisherIEEE
Conference LocationOrlando, FL
ISBN Number0-7803-7061-9
Accession Number7212178
Keywordsdifferential equations, identification, nonlinear systems, polynomials
AbstractA priori global identifiability is a fundamental prerequisite for model identification. It concerns uniqueness of the parametric structure of a dynamic model describing given input and output functions measured during an experiment. Assessing a priori global identifiability is particularly difficult for nonlinear dynamic models. Various approaches have been proposed in the literature, but no solution exists in the general case. The introduction of concepts of differential algebra and in particular the concept of characteristic set of a differential ideal introduced by Ritt (1950) have proven very useful tools in identifiability analysis. Yet the construction of an efficient algorithm still remains a difficult task. An improvement on existing algorithms has been published by some of the present the authors (Saccomani et al., 2000). Unfortunately this algorithm, like all other algorithms based on differential algebra, may run into difficulties for systems which are started at certain specific initial conditions. We propose a new version of the algorithm which gives the correct answer even if the system is started at special states from which the accessibility property is not guaranteed
DOI10.1109/.2001.980295

Model of Phytoplanktonic Cell Growth

Model description: 

The models used to describe the growth of phytoplanktonic cells (biomass $x_2$) on a substrate (of concentration $x_1$) assume usually that the growth is a function of a variable ($x_3$) called internal quota, representing the nutrient stored in the cells:

$$\begin{align*} \dot{x}_1 &= u(t)(1-x_1)-\rho(x_1)x_2\\ \dot{x}_2 &= (\mu(x_3)-u(t))x_2\\ \dot{x}_3 &= \rho(x_1)-\mu(x_3)x_3. \end{align*}$$

The input $u(t)$ is the dilution rate of the continuously stirred bioreactor (we suppose $u(t) \geq u \geq 0$). The functions $\rho$ and $\mu$ represent the absorption rate and the growth rate:

$\rho(x_1)=a_1\dfrac{x_1}{a_2+x_1};$ $\mu(x_3)=a_3\left(1-\dfrac{a_4}{x_3}\right)$.

Type: 

Form: 

Model order: 

3

Time domain: 

Linearity: 

Publication details: 

TitleNon-linear qualitative signal processing for biological systems: application to the algal growth in bioreactors
Publication TypeJournal Article
Year of Publication1999
AuthorsBernard, Olivier, and Gouzé Jean-Luc
JournalMathematical Biosciences
Volume157
Start Page357
Issue1-2
Pagination357-372
Date Published03/1999
ISSN0025-5564
KeywordsAlgal growth, Bioreactor, Moving average, Non-linear systems, Qualitative behavior, Validation
AbstractWe present in this paper a qualitative method to validate and monitor the structure of a non-linear model with respect to experimental data, under some hypotheses. This method is broadly independent of the analytical formulation of the model, and depends only on the qualitative structure (the signs of the Jacobian matrix). The temporal sequences of the extrema of a filtered experimental signal are compared with the transitions allowed by a graph. In particular, we show that the usual moving average of the outputs follows this transition graph. We apply this method to compare models of algal growth in a bioreactor with experimental data.
DOI10.1016/S0025-5564(98)10091-3

NF$\kappa$B model

Model description: 

The model of the NF$\kappa$B regulatory module, as proposed by Lipniacki et al, is characterised by two compartment kinetics of the activators $IKK$ and $NF-kB$, the inhibitors $A20$ and $IkB\alpha$, and their complexes. The model is described by the differential system:

$$\begin{align*} \dot{x}_1 &= k_{prod}-k_{deg}x_1 - k_1x_1u(t),\\ \dot{x}_2 &= -k_3x_2 - k_{deg}x_2 - a_2x_2x_{10}+t_1x_4 - a_3x_2x_{13} + t_2x_5 + (k_1x_1 - k_2x_2x_8)u(t),\\ \dot{x}_3 &= k_3x_2 - k_{deg}x_3+k_2x_2x_8u(t),\\ \dot{x}_4 &= a_2x_2x_{10}-t_1x_4,\\ \dot{x}_5 &= a_3x_2x_{13}-t_2x_5,\\ \dot{x}_6 &= c_{6a}x_{13}-a_1x_6x_{10}+t_2x_5-i_1x_6,\\ \dot{x}_7 &= i_1kvx_6-a_1x_{11}x_7,\\ \dot{x}_8 &= c_4x_9-c_5x_8,\\ \dot{x}_9 &= c_2+c_1x_7-c_3x_9,\\ \dot{x}_{10} &= -a_2x_2x_{10}-a_1x_{10}x_6 + c_{4a}x_{12} - c_{5a}x_{10}-i_{1a}x_{10}+e_{1a}x_{11},\\ \dot{x}_{11} &= -a_1x_{11}x_7+i_{1a}kvx_{10}-e_{1a}kvx_{11},\\ \dot{x}_{12} &= c_{2a}+c_{1a}x_7 - c_{3a}x_{12},\\ \dot{x}_{13} &= a_1x_{10}x_6 - c_{6a}x_{13}-a_3x_2x_{13}+e_{2a}x_{14},\\ \dot{x}_{14} &= a_1x_{11}x_7 - e_{2a}kvx_{14},\\ \dot{x}_{15} &= c_{2c}+c_{1c}x_7 - c_{3c}x_{15}.\\ \end{align*}$$

In their paper, Lipniacki et al. fixed some of the model parameters by using values from the literature. In order to assign values to the following unknown parameters:

$\mathbf{p}=[t_1,t_2,c_{3a},c_{4a},c_5,k_1,k_2,k_3,k_{prod},k_{deg},i_1,e_{2a},i_{1a}]^{\mathrm T}.$

They used experimental data from previous works by Lee et al. and Hoffmann et al which corresponds to the observation of $y_1=x_7,$ $y_2=x_{10} + x_{13},$ $y_3=x_9,$ $y_4=x_1+x_2+x_3,$ $y_5=x_2,$ $y_6=x_{12}$.

Type: 

Form: 

Model order: 

15

Time domain: 

Linearity: 

Publication details: 

TitleStructural Identifiability of Systems Biology Models: A Critical Comparison of Methods
Publication TypeJournal Article
Year of Publication2011
AuthorsChis, Oana-Teodora, Banga Julio R., and Balsa-Canto Eva
Secondary AuthorsJaeger, JohannesEditor
JournalPLoS ONE
Volume6
Start Page1
Issue11
Pagination1-16
Date Published10/2011
ISSN1932-6203
AbstractAnalysing the properties of a biological system through in silico experimentation requires a satisfactory mathematical representation of the system including accurate values of the model parameters. Fortunately, modern experimental techniques allow obtaining time-series data of appropriate quality which may then be used to estimate unknown parameters. However, in many cases, a subset of those parameters may not be uniquely estimated, independently of the experimental data available or the numerical techniques used for estimation. This lack of identifiability is related to the structure of the model, i.e. the system dynamics plus the observation function. Despite the interest in knowing a priori whether there is any chance of uniquely estimating all model unknown parameters, the structural identifiability analysis for general non-linear dynamic models is still an open question. There is no method amenable to every model, thus at some point we have to face the selection of one of the possibilities. This work presents a critical comparison of the currently available techniques. To this end, we perform the structural identifiability analysis of a collection of biological models. The results reveal that the generating series approach, in combination with identifiability tableaus, offers the most advantageous compromise among range of applicability, computational complexity and information provided.
DOI10.1371/journal.pone.0027755

Pages