Searcharxiv⌕ Search

arXiv subjects

Tobias K. S. Ritschel

Publications and source records attributed to Tobias K. S. Ritschel.

At least 19 recordsLinked to original sources

On Erlang ODE approximations of differential equations with distributed time delays

In this paper, we propose a general approach for approximate simulation and analysis of delay differential equations (DDEs) with distributed time delays based on methods for ordinary differential equations (ODEs). The key innovation is that we 1) propose an Erlang mixture approximation of the kernel in the DDEs and 2) use the linear chain trick to transform the resulting approximate DDEs to ODEs. We refer to this as the Erlang ODE approximation of the DDEs, and we prove that the Erlang mixture approximation converges for continuous and bounded kernels if the number of terms increases sufficiently fast. Furthermore, we show that if the kernel is also exponentially bounded, the Erlang ODE approximation can be used to assess the stability of the steady states of the original DDEs and that the solution to the ODE approximation converges. Additionally, we propose an approach based on bisection and least-squares estimation for determining optimal parameter values in the approximation. Finally, we present numerical examples that demonstrate the accuracy and convergence rates of the approximations and the efficacy of the proposed approach for bifurcation analysis and Monte Carlo simulation. The numerical examples involve a modified logistic equation, chemotherapy-induced myelosuppression, and a point reactor kinetics model of a molten salt nuclear fission reactor.

math.DS↗

Comparing Model-based Control Strategies for a Quadruple Tank System: Decentralized PID, LMPC, and NMPC

This paper compares the performance of a decentralized proportional-integral-derivative (PID) controller, a linear model predictive controller (LMPC), and a nonlinear model predictive controller (NMPC) applied to a quadruple tank system (QTS). We present experimental data from a physical setup of the QTS as well as simulation results. The QTS is modeled as a stochastic nonlinear continuous-discrete-time system, with parameters estimated using a maximum-likelihood prediction-error-method (ML-PEM). The NMPC applies the stochastic nonlinear continuous-discrete-time model, while the LMPC uses a linearized version of the same model. We tune the decentralized PID controller using the simple internal model control (SIMC) rules. The SIMC rules require transfer functions of the process, and we obtain these from the linearized model. We compare the controller performances based on systematic tests using both the physical setup and the simulated QTS. We measure the performance in terms of tracking errors and rate of movement in the manipulated variables. The LMPC and the NMPC perform better than the decentralized PID control system for tracking pre-announced time-varying setpoints. For disturbance rejection, the MPCs perform only slightly better than the decentralized PID controller. The primary advantage of the MPCs is their ability to use the information of future setpoints. We demonstrate this by providing simulation results of the MPCs with and without such information. Finally, the NMPC achieves slightly improved tracking errors compared to the LMPC but at the expense of having a higher input rate of movement.

math.OC↗

Numerical optimal control for delay differential equations: A simultaneous approach based on linearization of the delayed state

Time delays are ubiquitous in industry, and they must be accounted for when designing control strategies. However, numerical optimal control (NOC) of delay differential equations (DDEs) is challenging because it requires specialized discretization methods and the time delays may depend on the manipulated inputs or state variables. Therefore, in this work, we propose to linearize the delayed states around the current time. This results in a set of implicit differential equations, and we compare the steady states and the corresponding stability criteria of the DDEs and the approximate system. Furthermore, we propose a simultaneous approach for NOC of DDEs based on the linearization, and we discretize the approximate system using Euler's implicit method. Finally, we present a numerical example involving a molten salt nuclear fission reactor.

math.OC↗

Numerical optimal control for distributed delay differential equations: A simultaneous approach based on linearization of the delayed variables

Time delays are ubiquitous in industrial processes, and they must be accounted for when designing control algorithms because they have a significant effect on the process dynamics. Therefore, in this work, we propose a simultaneous approach for numerical optimal control of delay differential equations with distributed time delays. Specifically, we linearize the delayed variables around the current time, and we discretize the resulting implicit differential equations using Euler's implicit method. Furthermore, we transcribe the infinite-dimensional optimal control problem into a finite-dimensional nonlinear program, which we solve using Matlab's fmincon. Finally, we demonstrate the efficacy of the approach using a numerical example involving a molten salt nuclear fission reactor.

math.OC↗

Optimal price signal generation for demand-side energy management

Renewable Energy Sources play a key role in smart energy systems. To achieve 100% renewable energy, utilizing the flexibility potential on the demand side becomes the cost-efficient option to balance the grid. However, it is not trivial to exploit these available capacities and flexibility options profitably. The amount of available flexibility is a complex and time-varying function of the price signal and weather forecasts. In this work, we use a Flexibility Function to represent the relationship between the price signal and the demand and investigate optimization problems for the price signal computation. Consequently, this study considers the higher and lower levels in the hierarchy from the markets to appliances, households, and districts. This paper investigates optimal price generation via the Flexibility Function and studies its employment in controller design for demand-side management, its capability to provide ancillary services for balancing throughout the Smart Energy Operating System, and its effect on the physical level performance. Sequential and simultaneous approaches for computing the price signal, along with various cost functions are analyzed and compared. Simulation results demonstrate the generated price/penalty signal and its employment in a model predictive controller.

eess.SY↗

Stability analysis of nonlinear stochastic flexibility function in smart energy systems

Demand-side management provides a great potential for improving the efficiency and reliability of energy systems. This requires a mechanism to connect the market level and the demand side. The flexibility function is a novel approach that bridges the gap between the markets and the dynamics of physical assets at the lower levels of the energy systems and activates demand-side flexibility with the purpose of decision-making as well as for offering a new framework for balancing and grid services. Employing this function as a key for many decision-making and control algorithms reveals that a mathematically rigorous stability analysis is required for it. In this paper, we investigate the stability properties of two nonlinear flexibility functions, as a dynamic mapping between electricity price and power consumption. Specifically, we analyze the stability of a deterministic flexibility function and an Itô stochastic flexibility function. Simulation results are also provided to demonstrate the dynamics of the flexibility functions and to show that the analytical results hold.

eess.SY↗

An algorithm for distributed time delay identification based on a mixed Erlang kernel approximation and the linear chain trick

Time delays are ubiquitous in industry and nature, and they significantly affect both transient dynamics and stability properties. Consequently, it is often necessary to identify and account for the delays when, e.g., designing a model-based control strategy. However, identifying delays in differential equations is not straightforward and requires specialized methods. Therefore, we propose an algorithm for identifying distributed delays in delay differential equations (DDEs) that only involves simulation of ordinary differential equations (ODEs). Specifically, we 1) approximate the kernel in the DDEs (also called the memory function) by the probability density function of a mixed Erlang distribution and 2) use the linear chain trick (LCT) to transform the resulting DDEs into ODEs. Finally, the parameters in the kernel approximation are estimated as the solution to a dynamical least-squares problem, and we use a single-shooting approach to approximate this solution. We demonstrate the efficacy of the algorithm using numerical examples that involve the logistic equation and a point reactor kinetics model of a molten salt nuclear fission reactor.

math.DS↗

Adaptive flexibility function in smart energy systems: A linearized price-demand mapping approach

This paper proposes an adaptive mechanism for price signal generation using a piecewise linear approximation of a flexibility function with unknown parameters. In this adaptive approach, the price signal is parameterized and the parameters are changed adaptively such that the output of the flexibility function follows the reference demand signal provided by the involved aggregator. This is guaranteed using the Lyapunov stability theorem. The proposed method does not require an estimation algorithm for unknown parameters, that eliminates the need for persistency of excitation of signals, and consequently, simplifies offering the flexibility services. Furthermore, boundedness of the price signal is ensured using a projection algorithm in the adaptive system. We present simulation results that demonstrate the price generation results using the proposed approaches.

eess.SY↗

Mathematical meal models for simulation of human metabolism

We present and critically discuss five commonly used mathematical models of the meal glucose rate of appearance in humans. Such models are key to simulation of the metabolism in healthy people, people with diabetes, and obese people, and they are central to developing effective treatments and prevention strategies. Furthermore, we discuss important aspects of systematic mathematical modeling of human metabolism, including meal consumption modeling, stoichiometry and reaction kinetics, and general-purpose model components.

eess.SY↗

Quantitative modeling and simulation of biochemical processes in the human body

We present a whole-body model of human metabolism that utilizes a system of organs and blood vessels to simulate the enzymatic reactions. The model focuses on key organs, including the brain, heart and lungs, liver, gut, and kidney, as well as muscle and adipose tissue. The model equations are formulated using stoichiometry and Michaelis-Menten kinetics to describe the enzymatic reactions. We demonstrate how the model can be used to simulate the effects of prolonged fasting and intermittent fasting on selected metabolite concentrations and glucose flux. Furthermore, by simulating intermittent fasting the effect on the carbohydrate, the protein and the lipid storage is examined. We propose this method as a simple and intuitive approach for modeling the human metabolism, which is general, systematic and easy to incorporate. This could have potential applications in PK/PD drug development and in understanding metabolic disorders.

q-bio.QM↗

Software principles and concepts applied in the implementation of cyber-physical systems for real-time advanced process control

Cyber-physical systems (CPSs) for real-time advanced process control (RT-APC) are a class of control systems using network communication to control industrial processes. In this paper, we use simple examples to describe the software principles and concepts used in the implementation of such systems. The key software principles are 1) shared data in the form of a database, files, or shared memory, 2) timers and threads for concurrent periodic execution of tasks, and 3) network communication between the control system and the process, and communication between the control system and the internet, e.g., the cloud to enable remote monitoring and commands. We show how to implement such systems for Linux operating systems applying the C programming language and we also comment on the implementation using the Python programming language. Finally, we present a complete simulation experiment using a real-time simulator.

eess.SY↗

A Newton-like Method based on Model Reduction Techniques for Implicit Numerical Methods

In this paper, we present a Newton-like method based on model reduction techniques, which can be used in implicit numerical methods for approximating the solution to ordinary differential equations. In each iteration, the Newton-like method solves a reduced order linear system in order to compute the Newton step. This reduced system is derived using a projection matrix, obtained using proper orthogonal decomposition, which is updated in each time step of the numerical method. We demonstrate that the method can be used together with Euler's implicit method to simulate CO$_2$ injection into an oil reservoir, and we compare with using Newton's method. The Newton-like method achieves a speedup of between 39% and 84% for systems with between 4,800 and 52,800 state variables.

math.NA↗

Modeling, scientific computing and optimal control for renewable energy systems with storage

This paper presents models for renewable energy systems with storage, and considers its optimal operation. We model and simulate wind and solar power production using stochastic differential equations as well as storage of the produced power using batteries, thermal storage, and water electrolysis. We formulate an economic optimal control problem, with the scope of controlling the system in the most efficient way, while satisfying the power demand from the electric grid. Deploying multiple storage systems allows flexibility and higher reliability of the renewable energy system.

math.OC↗

Model-based control algorithms for the quadruple tank system: An experimental comparison

We compare the performance of proportional-integral-derivative (PID) control, linear model predictive control (LMPC), and nonlinear model predictive control (NMPC) for a physical setup of the quadruple tank system (QTS). We estimate the parameters in a continuous-discrete time stochastic nonlinear model for the QTS using a prediction-error-method based on the measured process data and a maximum likelihood (ML) criterion. In the NMPC algorithm, we use this identified continuous-discrete time stochastic nonlinear model. The LMPC algorithm is based on a linearization of this nonlinear model. We tune the PID controller using Skogestad's IMC tuning rules using a transfer function representation of the linearized model. Norms of the observed tracking errors and the rate of change of the manipulated variables are used to compare the performance of the control algorithms. The LMPC and NMPC perform better than the PID controller for a predefined time-varying setpoint trajectory. The LMPC and NMPC algorithms have similar performance.

eess.SY↗

State Estimation for Continuous-Discrete-Time Nonlinear Stochastic Systems

State estimation incorporates the feedback in optimization based advanced process control systems and is very important for the performance of model predictive control. We describe the extended Kalman filter, the unscented Kalman filter, the ensemble Kalman filter, and a particle filter for continuous-discrete time nonlinear systems involving stochastic differential equations. Continuous-discrete time nonlinear systems is a natural way to model physical systems controlled by digital controllers. We implement the state estimation methods in Matlab, illustrate and evaluate their performance using simulations of the modified four-tank system. This system is non-stiff and the state estimation methods are implemented numerically using an explicit numerical integration scheme. We evaluate the accuracy of the state estimation methods in terms of the mean absolute percentage error over the simulation horizon. Each method successfully estimates the states and unmeasured disturbances of the simulated modified four-tank system. The key contribution is an overview and comparison of state estimation methods for continuous-discrete time nonlinear stochastic systems. This can guide efficient implementations.

math.OC↗

Estimating a Personalized Basal Insulin Dose from Short-Term Closed-Loop Data in Type 2 Diabetes

In type 2 diabetes (T2D) treatment, finding a safe and effective basal insulin dose is a challenge. The dose-response is highly individual and to ensure safety, people with T2D titrate by slowly increasing the daily insulin dose to meet treatment targets. This titration can take months. To ease and accelerate the process, we use short-term artificial pancreas (AP) treatment tailored for initial titration and apply it as a diagnostic tool. Specifically, we present a method to automatically estimate a personalized daily dose of basal insulin from closed-loop data collected with an AP. Based on AP-data from a stochastic simulation model, we employ the continuous-discrete extended Kalman filter and a maximum likelihood approach to estimate parameters in a simple dose-response model for 100 virtual people. With the identified model, we compute a daily dose of basal insulin to meet treatment targets for each individual. We test the personalized dose and evaluate the treatment outcomes against clinical reference values. In the tested simulation setup, the proposed method is feasible. However, more extensive tests will reveal whether it can be deemed safe for clinical implementation.

eess.SY↗

State Estimation Methods for Continuous-Discrete Nonlinear Systems involving Stochastic Differential Equations

In this work, we present methods for state estimation in continuous-discrete nonlinear systems involving stochastic differential equations. We present the extended Kalman filter, the unscented Kalman filter, the ensemble Kalman filter, and a particle filter. We implement the state estimation methods in Matlab. We evaluate the performance of the methods on a simulation of the modified four-tank system. We implement the state estimation methods for non-stiff systems, i.e., using an explicit numerical integration scheme. The implementation of the extended Kalman filter utilises the Joseph stabilising form for numerical stability. We evaluate the accuracy of the state estimation methods in terms of the mean absolute percentage error over the simulation horizon. We show that each method successfully estimates the states and unmeasured disturbances of the simulated modified four-tank system. Finally, we present conclusions.

math.OC↗

Model Predictive Control Tailored to Epidemic Models

We propose a model predictive control (MPC) approach for minimising the social distancing and quarantine measures during a pandemic while maintaining a hard infection cap. To this end, we study the admissible and the maximal robust positively invariant set (MRPI) of the standard SEIR compartmental model with control inputs. Exploiting the fact that in the MRPI all restrictions can be lifted without violating the infection cap, we choose a suitable subset of the MRPI to define terminal constraints in our MPC routine and show that the number of infected people decays exponentially within this set. Furthermore, under mild assumptions we prove existence of a uniform bound on the time required to reach this terminal region (without violating the infection cap) starting in the admissible set. The findings are substantiated based on a numerical case study.

math.OC↗