Searcharxiv⌕ Search

arXiv subjects

Joseph J. Winkin

Publications and source records attributed to Joseph J. Winkin.

7 recordsLinked to original sources

Positive stabilization of a pure diffusion system

This paper provides a complete analytical study of the positive stabilization, positive state estimation, and observer-based positive stabilization problems for a generic boundary control diffusion system with point observation. In particular, optimal design problems are solved analytically, and an original strategy for observer-based feedback stabilization is proposed. The three problems are also investigated for an arbitrary-order spatial discretization of the nominal PDE system enabling numerical implementation together with rigorous comparisons with the nominal solutions. In both the continuous and discretized settings, explicit and readily implementable solutions are derived.

math.OC↗

A Dual Koopman Approach to Observer Design for Nonlinear Systems

The Koopman operator approach to the state estimation problem for nonlinear systems is a promising research area. The main goal of this paper is an attempt to provide a rigorous theoretical framework for this approach. In particular, the (linear) dual Koopman system is introduced and studied in an infinite dimensional context. Moreover, new concepts of observability and detectability are defined in the dual Koopman system, which are shown to be equivalent to the observability and detectability of the nonlinear system, respectively. The theoretical framework is applied to a class of holomorphic dynamics. For this class, a Luenberger-type observer is designed for the dual Koopman system via a spectral method, yielding an estimate of the state of the nonlinear system. A particular attention is given to the existence of an appropriate solution to the dual Koopman system and observer, which are defined in the Hardy space on the polydisc. Spectral observability and detectability conditions are derived in this setting, and the exponential convergence of the Koopman observer is shown. Finally, numerical experiments support the theoretical findings.

math.OC↗

Observer-based output feedback for an age-structured SIRD model

An age-structured Susceptible-Infected-Recovered-Deceased (SIRD) epidemic model is considered. The aim of this paper is to design an observer-based output feedback control law, representing an immunization process, typically vaccination, intended to decrease the peak of infected individuals in the population. At first, well-posedness and stability of the system in open-loop are investigated. Then, to obtain the observer-based output feedback law, a state feedback law is designed by using a normal form. Conditions to ensure stability are established. However, due to physical constraints, this law needs to be adapted. Therefore, a constrained state-feedback law is implemented. This law is designed to fulfill the physical constraints while having good properties (Lipschitz for instance), needed for the last part of the article. Finally, an observer-based output feedback law is obtained using high-gain observer. At each step of the design, convergence properties are obtained. Finally, numerical simulations are performed.

math.OC↗

Well-posedness and observability of Sturm-Liouville systems on a class of Hilbert spaces

The class of Sturm-Liouville operators on the space of square integrable functions on a finite interval is considered. According to the Riesz-spectral property, the self-adjointness and the positivity of such unbounded linear operators on that space, a class of Hilbert spaces constructed as the domains of the positive (in particular, fractional) powers of any Sturm-Liouville operator is considered. On these spaces, it is shown that any Sturm-Liouville operator is a Riesz-spectral operator that possesses the same eigenvalues as the original ones, associated to rescaled eigenfunctions. This constitutes the first central result of this paper. Properties related to the C_0-semigroup generated by the opposite of such Riesz-spectral operator are also highlighted. In addition as second central result, a characterization of approximate observability by means of point measurement operators is established for such systems. The main results are applied on a diffusion-convection-reaction system in order notably to show that the dynamics operator is the infinitesimal generator of a compact C_0-semigroup on some Sobolev space of integer order, and to establish its observability.

math.FA↗

State feedback control law design for an age-dependent SIR model

An age-dependent SIR model is considered with the aim to develop a state-feedback vaccination law in order to eradicate a disease. A dynamical analysis of the system is performed using the principle of linearized stability and shows that, if the basic reproduction number is larger than 1, the disease free equilibrium is unstable. This result justifies the developement of a vaccination law. Two approaches are used. The first one is based on a dicretization of the partial integro-differential equations (PIDE) model according to the age. In this case a linearizing feedback law is found using Isidori's theory. Conditions guaranteeing stability and positivity are established. The second approach yields a linearizing feedback law developed for the PIDE model. This law is deduced from the one obtained for the ODE case. Using semigroup theory, stability conditions are also obtained. Finally, numerical simulations are presented to reinforce the theoretical arguments.

math.OC↗

Adaptive output error feedback for a class of nonlinear infinite-dimensional systems

An adaptive funnel control method is considered for the regulation of the output for a class of nonlinear infinite-dimensional systems on real Hilbert spaces. After a decomposition of the state space and some change of variables related to the Byrnes-Isidori form, it is shown that the funnel controller presented in (Berger et al., 2020) achieves the control objective under some assumptions on the nonlinear system dynamics, like well-posedness and Bounded-Input-State Bounded-Output (BISBO) stability. The theory is applied to the regulation of the temperature in a chemical plug-flow tubular reactor whose reaction kinetics are modeled by the Arrhenius nonlinearity. Furthermore a damped sine-Gordon model is shown to fit the required assumptions as well. The theoretical results are illustrated by means of numerical simulations.

math.OC↗

Well-posedness of Stochastic Port-Hamiltonian Systems on Infinite-dimensional Spaces

Stochastic port-Hamiltonian systems on infinite-dimensional spaces governed by Itô stochastic differential equations (SDEs) are introduced and some properties of this new class of systems are studied. They are an extension of stochastic port-Hamiltonian systems defined on a finite-dimensional state space. The concept of well-posedness in the sense of Weiss and Salamon is generalized to the stochastic context. Under this extended definition, stochastic port-Hamiltonian systems are shown to be well-posed. The theory is illustrated on an example of a vibrating string subject to a Hilbert space-valued Gaussian white noise process.

math.OC↗