Discrete-time MPC for switched systems with applications to biomedical problems

Switched systems in which the manipulated control action is the time-dependingswitching signal describe many engineering problems, mainly related to biomedical applications. In such a context, to control the system means to select an autonomous system - at each time step - among a given finite family. Even when this selection can be done by solving a Dynamic Programming (DP) problem, such a solution is often difficult to apply, and state/control constraints cannot be explicitly considered. In this work a new set-based Model Predictive Control (MPC) strategy is proposed to handle switched systems in a tractable form. The optimization problem at the core of the MPC formulation consists in an easy-to-solve mixed-integer optimization problem, whose solution is applied in a receding horizon way. Two biomedical applications are simulated to test the controller: (i) the drug schedule to attenuate the effect of viralmutation and drugs resistance on the viral load, and (ii) the drug schedule for Triple Negative breast cancer treatment. The numerical results suggest that the proposed strategy outperform the schedule for available treatments.Fil: Anderson, Alejandro Luis. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química. Universidad Nacional del Litoral. Instituto de Desarrollo Tecnológico para la Industria Química; ArgentinaFil: González, Alejandro Hernán. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química. Universidad Nacional del Litoral. Instituto de Desarrollo Tecnológico para la Industria Química; ArgentinaFil: Ferramosca, Antonio. Universidad Tecnológica Nacional; ArgentinaFil: Hernandez Vargas, Esteban Abelardo. Frankfurt Institute For Advanced Studies-fias; Alemani

Discrete-time switching MPC with applications to mitigate resistance in viral infections

Many engineering applications can be described as switched linear systems, in which the manipulated control action is the time-dependent switching signal. In such a case, the control strategy must select a linear autonomous system at each time step, among a finite number of them. Even when this selection can be done by solving a Dynamic Programming (DP) problem, the implementation of such a solution is often difficult and state/control constraints cannot be explicitly accounted for. In this paper, a new set-based Model Predictive Control (MPC) strategy is presented to handle switched linear systems in a tractable form. The optimization problem at the core of the MPC formulation consists of an easy-to-solve mixed-integer optimization problem, whose solution is applied in a receding horizon way. The medical application of viral mutation and its respective drug resistance is addressed to acute and chronic infections. The objective is to attenuate the effect of mutations on the total viral load, and the numerical results suggested that the proposed strategy outperforms the schedule for available treatments.Fil: Anderson, Alejandro Luis. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química. Universidad Nacional del Litoral. Instituto de Desarrollo Tecnológico para la Industria Química; ArgentinaFil: González, Alejandro Hernán. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química. Universidad Nacional del Litoral. Instituto de Desarrollo Tecnológico para la Industria Química; ArgentinaFil: Ferramosca, Antonio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo Tecnológico para la Industria Química. Universidad Nacional del Litoral. Instituto de Desarrollo Tecnológico para la Industria Química; ArgentinaFil: Hernandez Vargas, Esteban Abelardo. Frankfurt Institute For Advanced Studies-fias; Alemani

Robust model predictive control for discrete-time fractional-order systems

In this paper we propose a tube-based robust model predictive control scheme for fractional-order discrete-time systems of the Grunwald-Letnikov type with state and input constraints. We first approximate the infinite-dimensional fractional-order system by a finite-dimensional linear system and we show that the actual dynamics can be approximated arbitrarily tight. We use the approximate dynamics to design a tube-based model predictive controller which endows to the controlled closed-loop system robust stability properties

Global, Unified Representation of Heterogenous Robot Dynamics Using Composition Operators: A Koopman Direct Encoding Method

The dynamic complexity of robots and mechatronic systems often pertains to the hybrid nature of dynamics, where governing equations consist of heterogenous equations that are switched depending on the state of the system. Legged robots and manipulator robots experience contact-noncontact discrete transitions, causing switching of governing equations. Analysis of these systems have been a challenge due to the lack of a global, unified model that is amenable to analysis of the global behaviors. Composition operator theory has the potential to provide a global, unified representation by converting them to linear dynamical systems in a lifted space. The current work presents a method for encoding nonlinear heterogenous dynamics into a high dimensional space of observables in the form of Koopman operator. First, a new formula is established for representing the Koopman operator in a Hilbert space by using inner products of observable functions and their composition with the governing state transition function. This formula, called Direct Encoding, allows for converting a class of heterogenous systems directly to a global, unified linear model. Unlike prevalent data-driven methods, where results can vary depending on numerical data, the proposed method is globally valid, not requiring numerical simulation of the original dynamics. A simple example validates the theoretical results, and the method is applied to a multi-cable suspension system.Comment: 12 pages, 7 figure

Modeling and control of operator functional state in a unified framework of fuzzy inference petri nets

Background and objective: In human-machine (HM) hybrid control systems, human operator and machine cooperate to achieve the control objectives. To enhance the overall HM system performance, the discrete manual control task-load by the operator must be dynamically allocated in accordance with continuous-time fluctuation of psychophysiological functional status of the operator, so-called operator functional state (OFS). The behavior of the HM system is hybrid in nature due to the co-existence of discrete task-load (control) variable and continuous operator performance (system output) variable. Methods: Petri net is an effective tool for modeling discrete event systems, but for hybrid system involving discrete dynamics, generally Petri net model has to be extended. Instead of using different tools to represent continuous and discrete components of a hybrid system, this paper proposed a method of fuzzy inference Petri nets (FIPN) to represent the HM hybrid system comprising a Mamdani-type fuzzy model of OFS and a logical switching controller in a unified framework, in which the task-load level is dynamically reallocated between the operator and machine based on the model-predicted OFS. Furthermore, this paper used a multi-model approach to predict the operator performance based on three electroencephalographic (EEG) input variables (features) via the Wang-Mendel (WM) fuzzy modeling method. The membership function parameters of fuzzy OFS model for each experimental participant were optimized using artificial bee colony (ABC) evolutionary algorithm. Three performance indices, RMSE, MRE, and EPR, were computed to evaluate the overall modeling accuracy. Results: Experiment data from six participants are analyzed. The results show that the proposed method (FIPN with adaptive task allocation) yields lower breakdown rate (from 14.8% to 3.27%) and higher human performance (from 90.30% to 91.99%). Conclusion: The simulation results of the FIPN-based adaptive HM (AHM) system on six experimental participants demonstrate that the FIPN framework provides an effective way to model and regulate/optimize the OFS in HM hybrid systems composed of continuous-time OFS model and discrete-event switching controller

Receding Horizon Control of Type 1 Diabetes Mellitus by Using Nonlinear Programming

Receding Horizon Controllers are one of the mostly used advanced control solutions in the industry. By utilizing their possibilities we are able to predict the possible future behavior of our system; moreover, we are able to intervene in its operation as well. In this paper we have investigated the possibilities of the design of a Receding Horizon Controller by using Nonlinear Programming. We have applied the developed solution in order to control Type 1 Diabetes Mellitus. The nonlinear optimization task was solved by the Generalized Reduced Gradient method. In order to investigate the performance of our solution two scenarios were examined. In the first scenario, we applied “soft” disturbance—namely, smaller amount of external carbohydrate—in order to be sure that the proposed method operates well and the solution that appeared through optimization is acceptable. In the second scenario, we have used “unfavorable” disturbance signal—a highly oscillating external excitation with cyclic peaks. We have found that the performance of the realized controller was satisfactory and it was able to keep the blood glucose level in the desired healthy range—by considering the restrictions for the usable control action

An introduction to positive switched systems and their application to HIV treatment modeling

In the present work an introduction to positive switched systems is provided, along with an interesting application of this kind of systems to the biomededical area. Reflecting this twofold objective, the thesis is divided into two parts: in the first one classical theoretical aspects concerning positive switched systems are addressed by resorting to the Lyapunov function approach, while in the second part an application to the problem of drug treatment scheduling in HIV infection is presente