This example deals with a model describing the control of insulin on glucose utilization in humans. The model is shown in Fig. 2. The experiment consists of an impulse input of glucose labeled with a tracer and of the measurement in plasma of glucose, labeled glucose and insulin concentrations. The measured insulin concentration acts as model input $u$, while the model output $y$ is the measured tracer glucose concentration. The control by insulin on the glucose system is exerted by insulin in a remote compartment $(x_3)$. The glucose system is described by two compartments which represent, respectively, glucose in rapidly $(x_1)$ and slowly equilibrating tissues $(x_2)$ which include the muscle tissues. Insulin control is exerted on glucose utilization in compartment 3 (insulin-dependent tissues) while glucose utilization in compartment 1 refers to insulin-independent tissues.
A prerequisite for well-posedness of parameter estimation of biological and physiological systems is a priori global identifiability, a property which concerns uniqueness of the solution for the unknown model parameters. 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. Here, the authors present a new algorithm for testing global identifiability of nonlinear dynamic models, based on differential algebra. The characteristic set associated to the dynamic equations is calculated in an efficient way and computer algebra techniques are used to solve the resulting set of nonlinear algebraic equations. The algorithm is capable of handling many features arising in biological system models, including zero initial conditions and time-varying parameters. Examples of usage of the algorithm for analyzing a priori global identifiability of nonlinear models of biological and physiological systems are presented.
The two compartment model describes the kinetics of a drug in the human body. The drug is injected into the blood (compartment 1) where it exchanges linearly with the tissues (compartment 2); the drug is irreversibly removed with a nonlinear saturative characteristic from compartment 1 and with a linear one from compartment 2. The I/O experiment takes place in compartment 1.
A prerequisite for well-posedness of parameter estimation of biological and physiological systems is a priori global identifiability, a property which concerns uniqueness of the solution for the unknown model parameters. 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. Here, the authors present a new algorithm for testing global identifiability of nonlinear dynamic models, based on differential algebra. The characteristic set associated to the dynamic equations is calculated in an efficient way and computer algebra techniques are used to solve the resulting set of nonlinear algebraic equations. The algorithm is capable of handling many features arising in biological system models, including zero initial conditions and time-varying parameters. Examples of usage of the algorithm for analyzing a priori global identifiability of nonlinear models of biological and physiological systems are presented.
The ball and plate system is a system, where a metal ball stays on a rigid square plate with each side length of 1m. The slope of the plate can be manipulated by two perpendicularly installed step motors, so that the tilting of the plate will make the ball moving.
where $c$ and $x_1$ are the concentrations of the input and reactant substance, $x_2$ is the concentration of the desired output product, $u$ is the normalized input flow rate of the reactant substance. The output $y$ here reflects the grade of the final product. The parameters $k_1, k_2, k_3$ and $c$ are positive constants under the isothermal considered conditions.
The issue of optimal output transition control for nonlinear differential flat systems with constraints is investigated. Of special interest is the generation of a state reference trajectory and a feedforward input, which are essential to the two-degree-of-freedom design. The proposed approach is to transfer the transition problem in the real output space into a trajectory planning issue in the flat output space. The distinguishing feature of our approach is the generation of a noncausal trajectory for the flat output. This approach is shown to be highly effective in creating performance improvements. It should also be noted that the proposed methodology guarantees that the planned trajectories are feasible for all nonlocal transitions. This allows the application of stable inversion in the planning of optimal output transitions. The proposed method is illustrated on a benchmark system, the isothermal continuous stirred tank reactor, although its applicability is much wider.