Showing 1–39 of 39 results for author: Diagne, M

Constant-Sum High-Order Barrier Functions for Safety Between Parallel Boundaries

Authors: Kwang Hak Kim, Mamadou Diagne, Miroslav Krstić

Abstract: This paper takes a step towards addressing the difficulty of constructing Control Barrier Functions (CBFs) for parallel safety boundaries. A single CBF for both boundaries has been reported to be difficult to validate for safety, and we identify why this challenge is inherent. To overcome this, the proposed method constructs separate CBFs for each boundary. We begin by presenting results for the r… ▽ More This paper takes a step towards addressing the difficulty of constructing Control Barrier Functions (CBFs) for parallel safety boundaries. A single CBF for both boundaries has been reported to be difficult to validate for safety, and we identify why this challenge is inherent. To overcome this, the proposed method constructs separate CBFs for each boundary. We begin by presenting results for the relative degree one case and then extend these to higher relative degrees using the CBF backstepping technique, establishing conditions that guarantee safety. Finally, we showcase our method by applying it to a unicycle system, deriving a simple, verifiable condition to validate the target CBFs for direct implementation of our results. △ Less

Submitted 21 May, 2025; originally announced May 2025.

Comments: Submitted to IEEE L-CSS and 2025 Conference on Decision and Control (CDC)

Oncolytic mechanisms and immunotherapeutic potential of Newcastle disease virus in cancer therapy

Authors: Umar Ahmad, Surializa Harun, Moussa Moise Diagne, Syahril Abdullah, Khatijah Yusoff, Abhi Veerakumarasivam

Abstract: Newcastle Disease Virus (NDV), classified as Avian orthoavulavirus 1 (avian paramyxovirus type 1), is a promising oncolytic agent that selectively targets and destroys cancer cells while sparing normal tissues. Its oncoselectivity exploits cancer-specific defects in antiviral defenses, particularly impaired Type I interferon signaling, and dysregulated apoptotic pathways, enabling robust viral rep… ▽ More Newcastle Disease Virus (NDV), classified as Avian orthoavulavirus 1 (avian paramyxovirus type 1), is a promising oncolytic agent that selectively targets and destroys cancer cells while sparing normal tissues. Its oncoselectivity exploits cancer-specific defects in antiviral defenses, particularly impaired Type I interferon signaling, and dysregulated apoptotic pathways, enabling robust viral replication and cytotoxicity in malignancies such as breast, colorectal, and melanoma. NDV induces intrinsic and extrinsic apoptosis through caspase activation and triggers immunogenic cell death via damage-associated molecular patterns, stimulating potent antitumours immune responses. Additionally, NDVs potential as a vaccine vector, expressing tumours-associated antigens, offers prospects for prophylactic and therapeutic cancer applications. This review provides a comprehensive analysis of NDVs morphology, classification, and molecular biology, focusing on its viral entry and replication mechanisms in host cells. It explores NDVs interactions with cancer cells, emphasizing its ability to induce cytotoxicity and immune activation. Understanding these mechanisms is critical for optimizing NDVs oncolytic potential and advancing its clinical translation. Future directions include enhancing NDV through genetic engineering, combining it with therapies like immune checkpoint inhibitors, and developing personalized medicine approaches tailored to tumours genomic profiles. These advancements position NDV as a versatile therapeutic agent in oncolytic virotherapy. △ Less

Submitted 9 May, 2025; originally announced May 2025.

DeepONet of dynamic event-triggered backstepping boundary control for reaction-diffusion PDEs

Authors: Hongpeng Yuan, Ji Wang, Mamadou Diagne

Abstract: We present an event-triggered boundary control scheme for a class of reaction-diffusion PDEs using operator learning and backstepping method. Our first-of-its-kind contribution aims at learning the backstepping kernels, which inherently induces the learning of the gains in the event trigger and the control law. The kernel functions in constructing the control law are approximated with neural opera… ▽ More We present an event-triggered boundary control scheme for a class of reaction-diffusion PDEs using operator learning and backstepping method. Our first-of-its-kind contribution aims at learning the backstepping kernels, which inherently induces the learning of the gains in the event trigger and the control law. The kernel functions in constructing the control law are approximated with neural operators (NOs) to improve the computational efficiency. Then, a dynamic event-triggering mechanism is designed, based on the plant and the continuous-in-time control law using kernels given by NOs,to determine the updating times of the actuation signal. In the resulting event-based closed-loop system, a strictly positive lower bound of the minimal dwell time is found, which is independent of initial conditions. As a result, the absence of a Zeno behavior is guaranteed. Besides, exponential convergence to zero of the L_2 norm of the reaction-diffusion PDE state and the dynamic variable in the event-triggering mechanism is proved via Lyapunov analysis. The effectiveness of the proposed method is illustrated by numerical simulation. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Performance-Barrier Event-Triggered PDE Control of Traffic Flow

Authors: Peihan Zhang, Bhathiya Rathnayake, Mamadou Diagne, Miroslav Krstic

Abstract: For stabilizing stop-and-go oscillations in traffic flow by actuating a variable speed limit (VSL) at a downstream boundary of a freeway segment, we introduce event-triggered PDE backstepping designs employing the recent concept of performance-barrier event-triggered control (P-ETC). Our design is for linearized hyperbolic Aw-Rascle-Zhang (ARZ) PDEs governing traffic velocity and density. Compared… ▽ More For stabilizing stop-and-go oscillations in traffic flow by actuating a variable speed limit (VSL) at a downstream boundary of a freeway segment, we introduce event-triggered PDE backstepping designs employing the recent concept of performance-barrier event-triggered control (P-ETC). Our design is for linearized hyperbolic Aw-Rascle-Zhang (ARZ) PDEs governing traffic velocity and density. Compared to continuous feedback, ETC provides a piecewise-constant VSL commands-more likely to be obeyed by human drivers. Unlike the existing regular ETC (R-ETC), which enforces conservatively a strict decrease of a Lyapunov function, our performance-barrier (P-ETC) approach permits an increase, as long as the Lyapunov function remains below a performance barrier, resulting in fewer control updates than R-ETC. To relieve VSL from continuously monitoring the triggering function, we also develop periodic event-triggered (PETC) and self-triggered (STC) versions of both R-ETC and P-ETC. These are referred to as R/P-PETC and R/P-STC, respectively, and we show that they both guarantee Zeno-free behavior and exponential convergence in the spatial $L^2$ norm. With comparative simulations, we illustrate the benefits of the performance-barrier designs through traffic metrics (driver comfort, safety, travel time, fuel consumption). The proposed algorithms reduce discomfort nearly in half relative to driver behavior without VSL, while tripling the driver safety, measured by the average dwell time, relative to the R-ETC frequent-switching VSL schedule. △ Less

Submitted 6 March, 2025; v1 submitted 31 December, 2024; originally announced January 2025.

Robust Control Barrier Function Design for High Relative Degree Systems: Application to Unknown Moving Obstacle Collision Avoidance

Authors: Kwang Hak Kim, Mamadou Diagne, Miroslav Krstić

Abstract: In safety-critical control, managing safety constraints with high relative degrees and uncertain obstacle dynamics pose significant challenges in guaranteeing safety performance. Robust Control Barrier Functions (RCBFs) offer a potential solution, but the non-smoothness of the standard RCBF definition can pose a challenge when dealing with multiple derivatives in high relative degree problems. As… ▽ More In safety-critical control, managing safety constraints with high relative degrees and uncertain obstacle dynamics pose significant challenges in guaranteeing safety performance. Robust Control Barrier Functions (RCBFs) offer a potential solution, but the non-smoothness of the standard RCBF definition can pose a challenge when dealing with multiple derivatives in high relative degree problems. As a result, the definition was extended to the marginally more conservative smooth Robust Control Barrier Functions (sRCBF). Then, by extending the sRCBF framework to the CBF backstepping method, this paper offers a novel approach to these problems. Treating obstacle dynamics as disturbances, our approach reduces the requirement for precise state estimations of the obstacle to an upper bound on the disturbance, which simplifies implementation and enhances the robustness and applicability of CBFs in dynamic and uncertain environments. Then, we validate our technique through an example problem in which an agent, modeled using a kinematic unicycle model, aims to avoid an unknown moving obstacle. The demonstration shows that the standard CBF backstepping method is not sufficient in the presence of a moving obstacle, especially with unknown dynamics. In contrast, the proposed method successfully prevents the agent from colliding with the obstacle, proving its effectiveness. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Comments: Submitted to American Control Conference 2025

Stabilization of Predator-Prey Age-Structured Hyperbolic PDE when Harvesting both Species is Inevitable

Authors: Carina Veil, Miroslav Krstić, Iasson Karafyllis, Mamadou Diagne, Oliver Sawodny

Abstract: Populations do not only interact over time but also age over time. It is therefore common to model them as age-structured PDEs, where age is the space variable. Since the models also involve integrals over age, both in the birth process and in the interaction among species, they are in fact integro-partial differential equations (IPDEs) with positive states. To regulate the population densities to… ▽ More Populations do not only interact over time but also age over time. It is therefore common to model them as age-structured PDEs, where age is the space variable. Since the models also involve integrals over age, both in the birth process and in the interaction among species, they are in fact integro-partial differential equations (IPDEs) with positive states. To regulate the population densities to desired profiles, harvesting is used as input. But non-discriminating harvesting, where wanting to repress one species will inevitably repress the other species as well, the positivity restriction on the input (no insertion of population), and the multiplicative nature of harvesting, makes control challenging even for ODE versions of such dynamics, let alone for their IPDE versions on an infinite-dimensional nonnegative state space. We introduce a design for a benchmark version of such a problem: a two-population predator-prey setup. The model is equivalent to two coupled ordinary differential equations (ODEs), actuated by harvesting which must not drop below zero, and strongly disturbed by two autonomous but exponentially stable integral delay equations (IDEs). We develop two control designs. With a modified Volterra-like control Lyapunov function, we design a simple feedback which employs possibly negative harvesting for global stabilization of the ODE model, while guaranteeing regional regulation with positive harvesting. With a more sophisticated, restrained controller we achieve regulation for the ODE model globally, with positive harvesting. For the full IPDE model, with the IDE dynamics acting as large disturbances, for both the simple and saturated feedback laws we provide explicit estimates of the regions of attraction. The paper charts a new pathway for control designs for infinite-dimensional multi-species dynamics and for nonlinear positive systems with positive controls. △ Less

Submitted 1 May, 2025; v1 submitted 9 October, 2024; originally announced October 2024.

Comments: Paper accepted for publication. This version incorporates changes based on reviewer feedback. Final version pending acceptance in IEEE Transactions on Automatic Control

Setpoint Tracking and Disturbance Attenuation for Gas Pipeline Flow Subject to Uncertainties using Backstepping

Authors: Bhathiya Rathnayake, Anatoly Zlotnik, Svetlana Tokareva, Mamadou Diagne

Abstract: In this paper, we consider the problem of regulating the outlet pressure of gas flowing through a pipeline subject to uncertain and variable outlet flow. Gas flow through a pipe is modeled using the coupled isothermal Euler equations, with the Darcy-Weisbach friction model used to account for the loss of gas flow momentum. The outlet flow variation is generated by a periodic linear dynamic system,… ▽ More In this paper, we consider the problem of regulating the outlet pressure of gas flowing through a pipeline subject to uncertain and variable outlet flow. Gas flow through a pipe is modeled using the coupled isothermal Euler equations, with the Darcy-Weisbach friction model used to account for the loss of gas flow momentum. The outlet flow variation is generated by a periodic linear dynamic system, which we use as a model of load fluctuations caused by varying consumer demands. We first linearize the nonlinear equations around the equilibrium point and obtain a 2-by-2 coupled hyperbolic partial differential equation (PDE) system expressed in canonical form. Using an observer-based PDE backstepping controller, we demonstrate that the inlet pressure can be manipulated to regulate the outlet pressure to a setpoint, thus compensating for fluctuations in the outlet flow. Furthermore, we extend the observer-based controller to the case when the outlet flow variation is uncertain within a bounded set. In this case, the controller is also capable of regulating the outlet pressure to a neighborhood of the setpoint by manipulating the inlet pressure, even in the presence of uncertain fluctuations in the outlet flow. We provide numerical simulations to demonstrate the performance of the controller. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Report number: LA-UR-24-29852 MSC Class: 93C20; 76N25; 93D15

Performance-Barrier Event-Triggered Control of a Class of Reaction-Diffusion PDEs

Authors: Bhathiya Rathnayake, Mamadou Diagne, Jorge Cortes, Miroslav Krstic

Abstract: We employ the recent performance-barrier event-triggered control (P-ETC) for achieving global exponential convergence of a class of reaction-diffusion PDEs via PDE backstepping control. Rather than insisting on a strictly monotonic decrease of the Lyapunov function for the closed-loop system, P-ETC allows the Lyapunov function to increase as long as it remains below an acceptable performance-barri… ▽ More We employ the recent performance-barrier event-triggered control (P-ETC) for achieving global exponential convergence of a class of reaction-diffusion PDEs via PDE backstepping control. Rather than insisting on a strictly monotonic decrease of the Lyapunov function for the closed-loop system, P-ETC allows the Lyapunov function to increase as long as it remains below an acceptable performance-barrier. This approach integrates a performance residual, the difference between the value of the performance-barrier and the Lyapunov function, into the triggering mechanism. The integration adds flexibility and results in fewer control updates than with regular ETC (R-ETC) that demands a monotonic decrease of the Lyapunov function. Our P-ETC PDE backstepping design ensures global exponential convergence of the closed-loop system in the spatial L^2 norm, without encountering Zeno phenomenon. To avoid continuous monitoring of the triggering function that generates events, we develop periodic event-triggered and self-triggered variants (P-PETC and P-STC, respectively) of the P-ETC. The P-PETC only requires periodic evaluation of the triggering function whereas the P-STC preemptively computes the time of the next event at the current event time using the system model and continuously available system states. The P-PETC and P-STC also ensure a Zeno-free behavior and deliver performance equivalent to that of the continuous-time P-ETC which requires continuous evaluation of the triggering function, in addition to the continuous sensing of the state. We provide numerical simulations to illustrate the proposed technique and to compare it with R-ETC associated with strictly decreasing Lyapunov functions. △ Less

Submitted 14 January, 2025; v1 submitted 11 July, 2024; originally announced July 2024.

Periodic Event-Triggered Boundary Control of Neuron Growth with Actuation at Soma

Authors: Cenk Demir, Mamadou Diagne, Miroslav Krstic

Abstract: Exploring novel strategies for the regulation of axon growth, we introduce a periodic event-triggered control (PETC) to enhance the practical implementation of the associated PDE backstepping control law. Neurological injuries may impair neuronal function, but therapies like Chondroitinase ABC (ChABC) have shown promise in improving axon elongation by influencing the extracellular matrix. This mat… ▽ More Exploring novel strategies for the regulation of axon growth, we introduce a periodic event-triggered control (PETC) to enhance the practical implementation of the associated PDE backstepping control law. Neurological injuries may impair neuronal function, but therapies like Chondroitinase ABC (ChABC) have shown promise in improving axon elongation by influencing the extracellular matrix. This matrix, composed of extracellular macromolecules and minerals, regulates tubulin protein concentration, potentially aiding in neuronal recovery. The concentration and spatial distribution of tubulin influence axon elongation dynamics. Recent research explores feedback control strategies for this model, leading to the development of an event-triggering control (CETC) approach. In this approach, the control law updates when the monitored triggering condition is met, reducing actuation resource consumption. Through the meticulous redesign of the triggering mechanism, we introduce a periodic event-triggering control (PETC), updating control inputs at specific intervals, but evaluating the event-trigger only periodically, an ideal tool for standard time-sliced actuators like ChABC. PETC is a step forward to the design of practically feasible feedback laws for the neuron growth process. The PETC strategy establishes an upper bound on event triggers between periodic examinations, ensuring convergence and preventing Zeno behavior. Through Lyapunov analysis, we demonstrate the local exponential convergence of the system with the periodic event-triggering mechanism in the $L^2$-norm sense. Numerical examples are presented to confirm the theoretical findings. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: Submitted to 2024 Conference on Decision and Control

Output Feedback Periodic-Event and Self-Triggered Control of Coupled $2\times 2$ Linear Hyperbolic PDEs

Authors: Eranda Somathilake, Bhathiya Rathnayake, Mamadou Diagne

Abstract: In this paper, we expand recently introduced observer-based periodic event-triggered control (PETC) and self-triggered control (STC) schemes for reaction-diffusion PDEs to boundary control of $2\times2$ coupled hyperbolic PDEs in canonical form and with anti-collocated measurement and actuation processes. The class of problem under study governs transport phenomena arising in water management syst… ▽ More In this paper, we expand recently introduced observer-based periodic event-triggered control (PETC) and self-triggered control (STC) schemes for reaction-diffusion PDEs to boundary control of $2\times2$ coupled hyperbolic PDEs in canonical form and with anti-collocated measurement and actuation processes. The class of problem under study governs transport phenomena arising in water management systems, oil drilling, and traffic flow, to name a few. Relative to the state of the art in observer-based event-triggered control of hyperbolic PDEs, our contribution goes two steps further by proposing observer-based PETC and STC for the considered class of systems. These designs arise from a non-trivial redesign of an existing continuous-time event-triggered control (CETC) scheme. PETC and STC eliminate the need for constant monitoring of an event-triggering function as in CETC; PETC requires only periodic evaluations of the triggering function for event detection, whereas STC is a predictor-feedback that anticipates the next event time at the current event exploiting continuously accessible output measurements. The introduced resource-aware designs act as input holding mechanisms allowing for the update of the input signal only at events. Subject to the designed boundary output feedback PETC and STC control laws characterized by a set of event-trigger design parameters, the resulting closed-loop systems, which are inherently Zeno-free by design, achieve exponential convergence to zero in the spatial $L^2$ norm. We illustrate the feasibility of the approach by applying the control laws to the linearized Saint-Venant model, which describes the dynamics of shallow water waves in a canal and is used to design flow stabilizer feedback laws via gate actuation. The provided simulation results illustrate the proposed theory. △ Less

Submitted 23 January, 2025; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: 17 pages, 6 figures

Unbiased Extremum Seeking for PDEs

Authors: Cemal Tugrul Yilmaz, Mamadou Diagne, Miroslav Krstic

Abstract: There have been recent efforts that combine seemingly disparate methods, extremum seeking (ES) optimization and partial differential equation (PDE) backstepping, to address the problem of model-free optimization with PDE actuator dynamics. In contrast to prior PDE-compensating ES designs, which only guarantee local stability around the extremum, we introduce unbiased ES that compensates for delay… ▽ More There have been recent efforts that combine seemingly disparate methods, extremum seeking (ES) optimization and partial differential equation (PDE) backstepping, to address the problem of model-free optimization with PDE actuator dynamics. In contrast to prior PDE-compensating ES designs, which only guarantee local stability around the extremum, we introduce unbiased ES that compensates for delay and diffusion PDE dynamics while ensuring exponential and unbiased convergence to the optimum. Our method leverages exponentially decaying/growing signals within the modulation/demodulation stages and carefully selected design parameters. The stability analysis of our designs relies on a state transformation, infinite-dimensional averaging, local exponential stability of the averaged system, local stability of the transformed system, and local exponential stability of the original system. Numerical simulations are presented to demonstrate the efficacy of the developed designs. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: Submitted to the 63rd IEEE Conference on Decision and Control (CDC), 2024

Asymptotic, Exponential, and Prescribed-Time Unbiasing in Seeking of Time-Varying Extrema

Authors: Cemal Tugrul Yilmaz, Mamadou Diagne, Miroslav Krstic

Abstract: Our recently developed "unbiased" extremum seeking (uES) algorithms ensure perfect convergence to the optimum at a user-assigned exponential rate or, more powerfully, within a user-prescribed time. Unlike classical approach, these algorithms use time-varying adaptation and controller gains, along with constant or time-varying probing frequencies (chirp signals). This paper advances our earlier uES… ▽ More Our recently developed "unbiased" extremum seeking (uES) algorithms ensure perfect convergence to the optimum at a user-assigned exponential rate or, more powerfully, within a user-prescribed time. Unlike classical approach, these algorithms use time-varying adaptation and controller gains, along with constant or time-varying probing frequencies (chirp signals). This paper advances our earlier uES designs from strongly convex maps with static optima to a broader class of convex cost functions with time-varying optima diverging at arbitrary rates, even in finite time. This advancement first motivates the use of Lie bracket averaging instead of classical averaging due to the average system system, which doesn't necessarily need to be exponentially convergent, and the existence of non-periodic time-varying parameters; second, it necessitates the formulation of non-trivial and key feasibility conditions for the choice of time-varying design parameters and their decay/growth rates in relation to the convexity of the map and the divergence rate of optima. These conditions indicate that, for constant-frequency probing, the user-defined asymptotic rate of unbiasing is limited by the convexity of the map. However, this rate can be made arbitrarily fast (including asymptotic, exponential, and prescribed time) using chirpy probing, which requires sufficiently rapid frequency and adaptation growth to enable tracking of faster-diverging optima. In addition to numerical simulations of the designs, we experimentally test the feasibility of exponential uES for tuning the angular velocity of a unicycle to seek a static light source. △ Less

Submitted 30 July, 2024; v1 submitted 24 March, 2024; originally announced March 2024.

Comments: Submitted to Transactions on Automatic Control

Output Feedback Control of Suspended Sediment Load Entrainment in Water Canals and Reservoirs

Authors: Eranda Somathilake, Mamadou Diagne

Abstract: This paper addresses the management of water flow in a rectangular open channel, considering the dynamic nature of both the channel's bathymetry and the suspended sediment particles caused by entrainment and deposition effects. The control-oriented model under study is a set of coupled nonlinear partial differential equations (PDEs) describing conservation of mass and momentum while accounting for… ▽ More This paper addresses the management of water flow in a rectangular open channel, considering the dynamic nature of both the channel's bathymetry and the suspended sediment particles caused by entrainment and deposition effects. The control-oriented model under study is a set of coupled nonlinear partial differential equations (PDEs) describing conservation of mass and momentum while accounting for constitutive relations that govern sediment erosion and deposition phenomena. The proposed boundary control problem presents a fresh perspective in water canal management and expands Saint-Venant Exner (SVE) control frameworks by integrating dynamics related to the transport of fine particles. After linearization, PDE backstepping design is employed to stabilize both the bathymetry, the water dynamics together with the concentration of suspended sediment particles. Two underflow sluice gates are used for flow control at the upstream and downstream boundaries with only the downstream component being actuated. An observer-based backstepping control design is carried out for the downstream gate using state measurement at the upstream gate to globally exponentially stabilize the linearized system to a desired equilibrium point in $\mathscr{L}^2$ sense. The stability analysis is performed on the linearized model which is a system of four coupled PDEs, three of which are rightward convecting and one leftward. The proposed control design has the potential to facilitate efficient reservoir flushing operations. Consistent simulation results are presented to illustrate the feasibility of the designed control law. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 10 pages, 8 figures

Perfect Tracking of Time-Varying Optimum by Extremum Seeking

Authors: Cemal Tugrul Yilmaz, Mamadou Diagne, Miroslav Krstic

Abstract: This paper introduces extremum seeking (ES) algorithms designed to achieve perfect tracking of arbitrary time-varying extremum. In contrast to classical ES approaches that employ constant frequencies and controller gains, our algorithms leverage time-varying parameters, growing either asymptotically or exponentially, to achieve desired convergence behaviors. Our stability analysis involves state t… ▽ More This paper introduces extremum seeking (ES) algorithms designed to achieve perfect tracking of arbitrary time-varying extremum. In contrast to classical ES approaches that employ constant frequencies and controller gains, our algorithms leverage time-varying parameters, growing either asymptotically or exponentially, to achieve desired convergence behaviors. Our stability analysis involves state transformation, time-dilation transformation, and Lie bracket averaging. The state transformation is based on the multiplication of the input state by asymptotic or exponential growth functions. The time transformation enables tracking of the extremum as it gradually converges to a constant value when viewed in the dilated time domain. Finally, Lie bracket averaging is applied to the transformed system, ensuring practical uniform stability in the dilated time domain as well as asymptotic or exponential stability of the original system in the original time domain. We validate the feasibility of these designs through numerical simulations. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: Accepted to the 2024 American Control Conference (ACC)

Exponential and Prescribed-Time Extremum Seeking with Unbiased Convergence

Authors: Cemal Tugrul Yilmaz, Mamadou Diagne, Miroslav Krstic

Abstract: We present multivariable extremum seeking (ES) designs that achieve unbiased convergence to the optimum. Two designs are introduced: one with exponential unbiased convergence (unbiased extremum seeker, uES) and the other with user-assignable prescribed-time unbiased convergence (unbiased PT extremum seeker, uPT-ES). In contrast to the conventional ES, which uses persistent sinusoids and results in… ▽ More We present multivariable extremum seeking (ES) designs that achieve unbiased convergence to the optimum. Two designs are introduced: one with exponential unbiased convergence (unbiased extremum seeker, uES) and the other with user-assignable prescribed-time unbiased convergence (unbiased PT extremum seeker, uPT-ES). In contrast to the conventional ES, which uses persistent sinusoids and results in steady-state oscillations around the optimum, the exponential uES employs an exponentially decaying amplitude in the perturbation signal (for achieving convergence) and an exponentially growing demodulation signal (for making the convergence unbiased). The achievement of unbiased convergence also entails employing an adaptation gain that is sufficiently large in relation to the decay rate of the perturbation amplitude. Stated concisely, the bias is eliminated by having the learning process outpace the waning of the perturbation. The other algorithm, uPT-ES, employs prescribed-time convergent/blow-up functions in place of constant amplitudes of sinusoids, and it also replaces constant-frequency sinusoids with chirp signals whose frequency grows over time. Among the convergence results in the ES literature, uPT-ES may be the strongest yet in terms of the convergence rate (prescribed-time) and accuracy (unbiased). To enhance the robustness of uES to a time-varying optimum, exponential functions are modified to keep oscillations at steady state. Stability analysis of the designs is based on a state transformation, averaging, local exponential/PT stability of the averaged system, local stability of the transformed system, and local exponential/PT stability of the original system. For numerical implementation of the developed ES schemes and comparison with previous ES designs, the problem of source seeking by a two-dimensional velocity-actuated point mass is considered. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 16 pages, 7 figures

Backstepping Neural Operators for $2\times 2$ Hyperbolic PDEs

Authors: Shanshan Wang, Mamadou Diagne, Miroslav Krstić

Abstract: Deep neural network approximation of nonlinear operators, commonly referred to as DeepONet, has proven capable of approximating PDE backstepping designs in which a single Goursat-form PDE governs a single feedback gain function. In boundary control of coupled PDEs, coupled Goursat-form PDEs govern two or more gain kernels-a PDE structure unaddressed thus far with DeepONet. In this paper, we explor… ▽ More Deep neural network approximation of nonlinear operators, commonly referred to as DeepONet, has proven capable of approximating PDE backstepping designs in which a single Goursat-form PDE governs a single feedback gain function. In boundary control of coupled PDEs, coupled Goursat-form PDEs govern two or more gain kernels-a PDE structure unaddressed thus far with DeepONet. In this paper, we explore the subject of approximating systems of gain kernel PDEs for hyperbolic PDE plants by considering a simple counter-convecting $2\times 2$ coupled system in whose control a $2\times 2$ kernel PDE system in Goursat form arises. Engineering applications include oil drilling, the Saint-Venant model of shallow water waves, and the Aw-Rascle-Zhang model of stop-and-go instability in congested traffic flow. We establish the continuity of the mapping from a total of five plant PDE functional coefficients to the kernel PDE solutions, prove the existence of an arbitrarily close DeepONet approximation to the kernel PDEs, and ensure that the DeepONet-approximated gains guarantee stabilization when replacing the exact backstepping gain kernels. Taking into account anti-collocated boundary actuation and sensing, our $L^2$-Globally-exponentially stabilizing (GES) approximate gain kernel-based output feedback design implies the deep learning of both the controller's and the observer's gains. Moreover, the encoding of the output-feedback law into DeepONet ensures semi-global practical exponential stability (SG-PES). The DeepONet operator speeds up the computation of the controller gains by multiple orders of magnitude. Its theoretically proven stabilizing capability is demonstrated through simulations. △ Less

Submitted 3 July, 2024; v1 submitted 27 December, 2023; originally announced December 2023.

Event-Triggered Extremum Seeking Control Systems

Authors: Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Liu Hsu, Mamadou Diagne, Miroslav Krstic

Abstract: This paper proposes an event-triggered control scheme for multivariable extremum seeking of static maps. Both static and dynamic triggering conditions are developed. Integrating Lyapunov and averaging theories for discontinuous systems, a systematic design procedure and stability analysis are developed. Both event-based methods enable one to achieve an asymptotic stability result. Ultimately, the… ▽ More This paper proposes an event-triggered control scheme for multivariable extremum seeking of static maps. Both static and dynamic triggering conditions are developed. Integrating Lyapunov and averaging theories for discontinuous systems, a systematic design procedure and stability analysis are developed. Both event-based methods enable one to achieve an asymptotic stability result. Ultimately, the resulting closed-loop dynamics demonstrates the advantages of combining both approaches, namely, event-triggered control and extremum seeking. Although we keep the presentation using the classical event-triggered method, the extension of the results for the periodic event-triggered approach is also indicated. An illustration of the benefits of the new control method is presented using consistent simulation results, which compare the static and the dynamic triggering approaches. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 21 pages, 6 figures, and 1 table

MSC Class: 93B52; 93C40; 93D30

Observer-based Periodic Event-triggered and Self-triggered Boundary Control of a Class of Parabolic PDEs

Authors: Bhathiya Rathnayake, Mamadou Diagne

Abstract: This paper introduces the first observer-based periodic event-triggered control (PETC) and self-triggered control (STC) for boundary control of a class of parabolic PDEs using PDE backstepping control. We introduce techniques to convert a certain class of continuous-time event-triggered control into PETC and STC, eliminating the need for continuous monitoring of the event-triggering function. For… ▽ More This paper introduces the first observer-based periodic event-triggered control (PETC) and self-triggered control (STC) for boundary control of a class of parabolic PDEs using PDE backstepping control. We introduce techniques to convert a certain class of continuous-time event-triggered control into PETC and STC, eliminating the need for continuous monitoring of the event-triggering function. For the PETC, the event-triggering function requires only periodic evaluations to detect events, while the STC proactively computes the time of the next event right at the current event time using the system model and the continuously available measurements. For both strategies, the control input is updated exclusively at events and is maintained using a zero-order hold between events. We demonstrate that the closed-loop system is Zeno-free. We offer criteria for selecting an appropriate sampling period for the PETC and for determining the time until the next event under the STC. We prove the system's global exponential convergence to zero in the spatial $L^2$ norm for both anti-collocated and collocated sensing and actuation under the PETC. For the STC, local exponential convergence to zero in the spatial $L^2$ norm for collocated sensing and actuation is proven. Simulations are provided to illustrate the theoretical claims. △ Less

Submitted 14 January, 2025; v1 submitted 3 December, 2023; originally announced December 2023.

Deep Learning of Delay-Compensated Backstepping for Reaction-Diffusion PDEs

Authors: Shanshan Wang, Mamadou Diagne, Miroslav Krstić

Abstract: Deep neural networks that approximate nonlinear function-to-function mappings, i.e., operators, which are called DeepONet, have been demonstrated in recent articles to be capable of encoding entire PDE control methodologies, such as backstepping, so that, for each new functional coefficient of a PDE plant, the backstepping gains are obtained through a simple function evaluation. These initial resu… ▽ More Deep neural networks that approximate nonlinear function-to-function mappings, i.e., operators, which are called DeepONet, have been demonstrated in recent articles to be capable of encoding entire PDE control methodologies, such as backstepping, so that, for each new functional coefficient of a PDE plant, the backstepping gains are obtained through a simple function evaluation. These initial results have been limited to single PDEs from a given class, approximating the solutions of only single-PDE operators for the gain kernels. In this paper we expand this framework to the approximation of multiple (cascaded) nonlinear operators. Multiple operators arise in the control of PDE systems from distinct PDE classes, such as the system in this paper: a reaction-diffusion plant, which is a parabolic PDE, with input delay, which is a hyperbolic PDE. The DeepONet-approximated nonlinear operator is a cascade/composition of the operators defined by one hyperbolic PDE of the Goursat form and one parabolic PDE on a rectangle, both of which are bilinear in their input functions and not explicitly solvable. For the delay-compensated PDE backstepping controller, which employs the learned control operator, namely, the approximated gain kernel, we guarantee exponential stability in the $L^2$ norm of the plant state and the $H^1$ norm of the input delay state. Simulations illustrate the contributed theory. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Stabilization of Age-Structured Chemostat Hyperbolic PDE with Actuator Dynamics

Authors: Paul-Erik Haacker, Iasson Karafyllis, Miroslav Krstić, Mamadou Diagne

Abstract: For population systems modeled by age-structured hyperbolic partial differential equations (PDEs), we redesign the existing feedback laws, designed under the assumption that the dilution input is directly actuated, to the more realistic case where dilution is governed by actuation dynamics (modeled simply by an integrator). In addition to the standard constraint that the population density must re… ▽ More For population systems modeled by age-structured hyperbolic partial differential equations (PDEs), we redesign the existing feedback laws, designed under the assumption that the dilution input is directly actuated, to the more realistic case where dilution is governed by actuation dynamics (modeled simply by an integrator). In addition to the standard constraint that the population density must remain positive, the dilution dynamics introduce constraints of not only positivity of dilution, but possibly of given positive lower and upper bounds on dilution. We present several designs, of varying complexity, and with various measurement requirements, which not only ensure global asymptotic (and local exponential) stabilization of a desired positive population density profile from all positive initial conditions, but do so without violating the constraints on the dilution state. To develop the results, we exploit the relation between first-order hyperbolic PDEs and an equivalent representation in which a scalar input-driven mode is decoupled from input-free infinite-dimensional internal dynamics represented by an integral delay system. △ Less

Submitted 24 June, 2023; originally announced June 2023.

Event-triggered Boundary Control of a Class of Reaction-Diffusion PDEs with Time-dependent Reactivity

Authors: Bhathiya Rathnayake, Mamadou Diagne

Abstract: This paper presents an event-triggered boundary control strategy for a class of reaction-diffusion PDEs with time-varying reactivity under Robin actuation. The control approach consists of a backstepping full-state feedback boundary controller and a dynamic event-triggering condition, which determines the time instants when the control input needs to be updated. It is proved that under the propose… ▽ More This paper presents an event-triggered boundary control strategy for a class of reaction-diffusion PDEs with time-varying reactivity under Robin actuation. The control approach consists of a backstepping full-state feedback boundary controller and a dynamic event-triggering condition, which determines the time instants when the control input needs to be updated. It is proved that under the proposed event-triggered boundary control approach, there is a uniform minimal dwell-time between two event times. Furthermore, the well-posedness and the global exponential convergence of the closed-loop system to zero in $L^2$-sense are established. A simulation is conducted to validate the theoretical developments. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Delay-Adaptive Compensator for 3-D Space Formation of Multi-Agent Systems with Leaders Actuation

Authors: Shanshan Wang, Mamadou Diagne, Jie Qi

Abstract: This paper focuses on the control of collective dynamics in large-scale multi-agent systems (MAS) operating in a 3-D space, with a specific emphasis on compensating for the influence of an unknown delay affecting the actuated leaders. The communication graph of the agents is defined on a mesh-grid 2-D cylindrical surface. We model the agents' collective dynamics by a complex- and a real-valued rea… ▽ More This paper focuses on the control of collective dynamics in large-scale multi-agent systems (MAS) operating in a 3-D space, with a specific emphasis on compensating for the influence of an unknown delay affecting the actuated leaders. The communication graph of the agents is defined on a mesh-grid 2-D cylindrical surface. We model the agents' collective dynamics by a complex- and a real-valued reaction-advection-diffusion 2-D partial differential equations (PDEs) whose states represent the 3-D position coordinates of the agents. The leader agents on the boundary suffer unknown actuator delay due to the cumulative computation and information transmission time. We design a delay-adaptive controller for the 2-D PDE by using PDE backstepping combined with a Lyapunov functional method, where the latter is employed to design an update law that generates real-time estimates of the unknown delay. Capitalizing on our recent result on the control of 1-D parabolic PDEs with unknown input delay, we use Fourier series expansion to bridge the control of 1-D PDEs to that of 2-D PDEs. To design the update law for the 2-D system, a new target system is defined to establish the closed-loop local boundedness of the system trajectories in $H^2$ norm and the regulation of the states to zero assuming a measurement of the spatially distributed plant's state. We illustrate the performance of delay-adaptive controller by numerical simulations. △ Less

Submitted 16 November, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Robustness of Reaction-Diffusion PDEs Predictor-Feedback to Stochastic Delay Perturbations

Authors: Dandan Guan, Jie Qi, Mamadou Diagne

Abstract: This paper studies the robustness of a PDE backstepping delay-compensated boundary controller for a reaction-diffusion partial differential equation (PDE) with respect to a nominal delay subject to stochastic error disturbance. The stabilization problem under consideration involves random perturbations modeled by a finite-state Markov process that further obstruct the actuation path at the control… ▽ More This paper studies the robustness of a PDE backstepping delay-compensated boundary controller for a reaction-diffusion partial differential equation (PDE) with respect to a nominal delay subject to stochastic error disturbance. The stabilization problem under consideration involves random perturbations modeled by a finite-state Markov process that further obstruct the actuation path at the controlled boundary of the infinite-dimension plant. This scenario is useful to describe several actuation failure modes in process control. Employing the recently introduced infinite-dimensional representation of the state of an actuator subject to stochastic input delay for ODEs (Ordinary Differential Equations), we convert the stochastic input delay into $r+1$ unidirectional advection PDEs, where $r$ corresponds to the number of jump states. Our stability analysis assumes full-state measurement of the spatially distributed plant's state and relies on a hyperbolic-parabolic PDE cascade representation of the plant plus actuator dynamics. Integrating the plant and the nominal stabilizing boundary control action, all while considering probabilistic delay disturbances, we establish the proof of mean-square exponential stability as well as the well-posedness of the closed-loop system when random phenomena weaken the nominal actuator compensating effect. Our proof is based on the Lyapunov method, the theory of infinitesimal operator for stability, and $C_0$-semigroup theory for well-posedness. Our stability result refers to the $L^2$-norm of the plant state and the $H^2$-norm of the actuator state... △ Less

Submitted 18 January, 2024; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: 16.5 pages, 6 figures

Delay-Adaptive Boundary Control of Coupled Hyperbolic PDE-ODE Cascade Systems

Authors: Ji Wang, Mamadou Diagne

Abstract: This paper presents a delay-adaptive boundary control scheme for a $2\times 2$ coupled linear hyperbolic PDE-ODE cascade system with an unknown and arbitrarily long input delay. To construct a nominal delay-compensated control law, assuming a known input delay, a three-step backstepping design is used. Based on the certainty equivalence principle, the nominal control action is fed with the estimat… ▽ More This paper presents a delay-adaptive boundary control scheme for a $2\times 2$ coupled linear hyperbolic PDE-ODE cascade system with an unknown and arbitrarily long input delay. To construct a nominal delay-compensated control law, assuming a known input delay, a three-step backstepping design is used. Based on the certainty equivalence principle, the nominal control action is fed with the estimate of the unknown delay, which is generated from a batch least-squares identifier that is updated by an event-triggering mechanism that evaluates the growth of the norm of the system states. As a result of the closed-loop system, the actuator and plant states can be regulated exponentially while avoiding Zeno occurrences. A finite-time exact identification of the unknown delay is also achieved except for the case that all initial states of the plant are zero. As far as we know, this is the first delay-adaptive control result for systems governed by heterodirectional hyperbolic PDEs. The effectiveness of the proposed design is demonstrated in the control application of a deep-sea construction vessel with cable-payload oscillations and subject to input delay. △ Less

Submitted 19 August, 2023; v1 submitted 29 January, 2023; originally announced January 2023.

Observer-based Event-triggered Boundary Control of the One-phase Stefan Problem

Authors: Bhathiya Rathnayake, Mamadou Diagne

Abstract: This paper provides an observer-based event-triggered boundary control strategy for the one-phase Stefan problem using the position and velocity measurements of the moving interface. The infinite-dimensional backstepping approach is used to design the underlying observer and controller. For the event-triggered implementation of the continuous-time observer-based controller, a dynamic event trigger… ▽ More This paper provides an observer-based event-triggered boundary control strategy for the one-phase Stefan problem using the position and velocity measurements of the moving interface. The infinite-dimensional backstepping approach is used to design the underlying observer and controller. For the event-triggered implementation of the continuous-time observer-based controller, a dynamic event triggering condition is proposed. The triggering condition determines the times at which the control input needs to be updated. In between events, the control input is applied in a \textit{Zero-Order-Hold} fashion. It is shown that the dwell-time between two triggering instances is uniformly bounded below excluding \textit{Zeno behavior}. Under the proposed event-triggered boundary control approach, the well-posedness of the closed-loop system along with certain model validity conditions is provided. Further, using Lyapunov approach, the global exponential convergence of the closed-loop system to the setpoint is proved. A simulation example is provided to illustrate the theoretical results. △ Less

Submitted 11 August, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Sampled-Data and Event-triggered Boundary Control of a Class of Reaction-Diffusion PDEs with Collocated Sensing and Actuation

Authors: Bhathiya Rathnayake, Mamadou Diagne, Iasson Karafyllis

Abstract: This paper provides observer-based sampled-data and event-triggered boundary control strategies for a class of reaction-diffusion PDEs with collocated sensing and Robin actuation. Infinite-dimensional backstepping design is used as the underlying control approach. It is shown that the continuous-time output feedback boundary control applied in a sample-and-hold fashion ensures global closed-loop e… ▽ More This paper provides observer-based sampled-data and event-triggered boundary control strategies for a class of reaction-diffusion PDEs with collocated sensing and Robin actuation. Infinite-dimensional backstepping design is used as the underlying control approach. It is shown that the continuous-time output feedback boundary control applied in a sample-and-hold fashion ensures global closed-loop exponential stability, provided that the sampling period is sufficiently small. Further, robustness to perturbations of the sampling schedule is guaranteed. For the event-triggered implementation of the continuous-time controller, a dynamic triggering condition is utilized. The triggering condition determines the time instants at which the control input needs to be updated. Under the observer-based event-triggered boundary control, it is shown that there is a minimal dwell-time between two triggering instants independent of initial conditions. Further, the global exponential convergence of the closed-loop system to the equilibrium point is established. A simulation example is provided to validate the theoretical results. △ Less

Submitted 7 August, 2021; originally announced August 2021.

Comments: arXiv admin note: text overlap with arXiv:2009.11936

Observer-based Event-triggered Boundary Control of a Class of Reaction-Diffusion PDEs

Authors: Bhathiya Rathnayake, Mamadou Diagne, Nicolas Espitia, Iasson Karafyllis

Abstract: This paper presents an observer-based event-triggered boundary control strategy for a class of reaction-diffusion PDEs with Robin actuation. The observer only requires boundary measurements. The control approach consists of a backstepping output feedback boundary controller, derived using estimated states, and a dynamic triggering condition, which determines the time instants at which the control… ▽ More This paper presents an observer-based event-triggered boundary control strategy for a class of reaction-diffusion PDEs with Robin actuation. The observer only requires boundary measurements. The control approach consists of a backstepping output feedback boundary controller, derived using estimated states, and a dynamic triggering condition, which determines the time instants at which the control input needs to be updated. It is shown that under the proposed observer-based event-triggered boundary control approach, there is a minimal dwell-time between two triggering instants independent of initial conditions. Furthermore, the well-posedness and the global exponential convergence of the closed-loop system to the equilibrium point are established. A simulation example is provided to validate the theoretical developments. △ Less

Submitted 7 August, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: 12 pages

Event-Triggered Control of a Continuum Model of Highly Re-Entrant Manufacturing System

Authors: Mamadou Diagne, Iasson Karafyllis

Abstract: With the unceasing growth of intelligent production lines that integrate sensors, actuators, and controllers in a wireless communication environment via internet of things (IoT), we design an event-triggered boundary controller for a continuum model of highly re-entrant manufacturing systems for which the influx rate of products is the controlled quantity. The designed controller can potentially o… ▽ More With the unceasing growth of intelligent production lines that integrate sensors, actuators, and controllers in a wireless communication environment via internet of things (IoT), we design an event-triggered boundary controller for a continuum model of highly re-entrant manufacturing systems for which the influx rate of products is the controlled quantity. The designed controller can potentially operate in networked control systems subject to limited information sharing resources. A Lyapunov argument is utilized to derive the boundary controller together with a feasible event generator that avoids the occurrence of Zeno behavior for the closed-loop system. The global stability estimate is established using the logarithmic norm of the state due to the system's nonlinearity and positivity of the density. Furthermore, robustness of the proposed controller with respect to the sampling schedule and sampled-data stabilization results are established. Consistent simulation results that support the proposed theoretical statements are provided. △ Less

Submitted 4 April, 2020; originally announced April 2020.

Comments: 15 pages, 15 figures

Stabilization of Filament Production Rate for Screw Extrusion-Based Polymer 3D-Printing

Authors: Shumon Koga, David Straub, Mamadou Diagne, Miroslav Krstic

Abstract: Polymer 3D-printing has been commercialized rapidly during recent years, however, there remains a matter of improving the manufacturing speed. Screw extrusion has a strong potential to fasten the process through simultaneous operation of the filament production and the deposition. This paper develops a control algorithm for screw extrusion-based 3D printing of thermoplastic materials through an ob… ▽ More Polymer 3D-printing has been commercialized rapidly during recent years, however, there remains a matter of improving the manufacturing speed. Screw extrusion has a strong potential to fasten the process through simultaneous operation of the filament production and the deposition. This paper develops a control algorithm for screw extrusion-based 3D printing of thermoplastic materials through an observer-based output feedback design. We consider the thermodynamic model describing the time evolution of the temperature profile of an extruded polymer by means of a partial differential equation (PDE) defined on the time-varying domain. The time evolution of the spatial domain is governed by an ordinary differential equation (ODE) that reflects the dynamics of the position of the phase change interface between polymer granules and molten polymer deposited as a molten filament. Steady-state profile of the distributed temperature along the extruder is obtained when the desired setpoint for the interface position is prescribed. To enhance the feasibility of our previous design, we develop a PDE observer to estimate the temperature profile via measured values of surface temperature and the interface position. An output feedback control law considering a cooling mechanism at the boundary inlet as an actuator is proposed. In extruders the control of raw material temperature is commonly achieved using preconditioners as part of the inlet feeding mechanism. For some given screw speeds that correspond to slow and fast operating modes, numerical simulations are conducted to prove the performance of the proposed controller. The convergence of the interface position to the desired setpoint is achieved under physically reasonable temperature profiles. △ Less

Submitted 2 June, 2019; originally announced June 2019.

Comments: 13 pages, 6 figures

Bilateral Boundary Control of Moving Shockwave in LWR Model of Congested Traffic

Authors: Huan Yu, Mamadou Diagne, Liguo Zhang, Miroslav Krstic

Abstract: We develop backstepping state feedback control to stabilize a moving shockwave in a freeway segment under bilateral boundary actuations of traffic flow. A moving shockwave, consisting of light traffic upstream of the shockwave and heavy traffic downstream, is usually caused by changes of local road situations. The density discontinuity travels upstream and drivers caught in the shockwave experienc… ▽ More We develop backstepping state feedback control to stabilize a moving shockwave in a freeway segment under bilateral boundary actuations of traffic flow. A moving shockwave, consisting of light traffic upstream of the shockwave and heavy traffic downstream, is usually caused by changes of local road situations. The density discontinuity travels upstream and drivers caught in the shockwave experience transitions from free to congested traffic. Boundary control design in this paper brings the moving shockwave front to a static setpoint position, hindering the upstream propagation of traffic congestion. The traffic dynamics are described with Lighthill-Whitham-Richard (LWR) model, leading to a system of two first-order hyperbolic partial differential equations (PDEs). Each represents the traffic density of a spatial domain segregated by the moving interface. By Rankine-Hugoniot condition, the interface position is driven by flux discontinuity and thus governed by a PDE state dependent ordinary differential equation (ODE). For the PDE-ODE coupled system. the control objective is to stabilize both the PDE states of traffic density and the ODE state of moving shock position to setpoint values. Using delay representation and backstepping method, we design predictor feedback controllers to cooperatively compensate state-dependent input delays to the ODE. From Lyapunov stability analysis, we show local stability of the closed-loop system in $H^1$ norm. The performance of controllers is demonstrated by numerical simulation. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Control and State Estimation of the One-Phase Stefan Problem via Backstepping Design

Authors: Shumon Koga, Mamadou Diagne, Miroslav Krstic

Abstract: This paper develops a control and estimation design for the one-phase Stefan problem. The Stefan problem represents a liquid-solid phase transition as time evolution of a temperature profile in a liquid-solid material and its moving interface. This physical process is mathematically formulated as a diffusion partial differential equation (PDE) evolving on a time-varying spatial domain described by… ▽ More This paper develops a control and estimation design for the one-phase Stefan problem. The Stefan problem represents a liquid-solid phase transition as time evolution of a temperature profile in a liquid-solid material and its moving interface. This physical process is mathematically formulated as a diffusion partial differential equation (PDE) evolving on a time-varying spatial domain described by an ordinary differential equation (ODE). The state-dependency of the moving interface makes the coupled PDE-ODE system a nonlinear and challenging problem. We propose a full-state feedback control law, an observer design, and the associated output-feedback control law via the backstepping method. The designed observer allows estimation of the temperature profile based on the available measurement of solid phase length. The associated output-feedback controller ensures the global exponential stability of the estimation errors, the H1- norm of the distributed temperature, and the moving interface to the desired setpoint under some explicitly given restrictions on the setpoint and observer gain. The exponential stability results are established considering Neumann and Dirichlet boundary actuations. △ Less

Submitted 16 March, 2017; originally announced March 2017.

Comments: 16 pages, 11 figures, submitted to IEEE Transactions on Automatic Control

Output Feedback Control of the One-Phase Stefan Problem

Authors: Shumon Koga, Mamadou Diagne, Miroslav Krstic

Abstract: In this paper, a backstepping observer and an output feedback control law are designed for the stabilization of the one-phase Stefan problem. The present result is an improvement of the recent full state feedback backstepping controller proposed in our previous contribution. The one-phase Stefan problem describes the time-evolution of a temperature profile in a liquid-solid material and its liquid… ▽ More In this paper, a backstepping observer and an output feedback control law are designed for the stabilization of the one-phase Stefan problem. The present result is an improvement of the recent full state feedback backstepping controller proposed in our previous contribution. The one-phase Stefan problem describes the time-evolution of a temperature profile in a liquid-solid material and its liquid-solid moving interface. This phase transition problem is mathematically formulated as a 1-D diffusion Partial Differential Equation (PDE) of the melting zone defined on a time-varying spatial domain described by an Ordinary Differential Equation (ODE). We propose a backstepping observer allowing to estimate the temperature profile along the melting zone based on the available measurement, namely, the solid phase length. The designed observer and the output feedback controller ensure the exponential stability of the estimation errors, the moving interface, and the ${\cal H}_1$-norm of the distributed temperature while keeping physical constraints, which is shown with the restriction on the gain parameter of the observer and the setpoint. △ Less

Submitted 27 September, 2016; originally announced September 2016.

Comments: 6 pages, 4 figures, 55th Conference on Decision and Control. arXiv admin note: text overlap with arXiv:1607.04345

Backstepping Control of the One-Phase Stefan Problem

Authors: Shumon Koga, Mamadou Diagne, Shuxia Tang, Miroslav Krstic

Abstract: In this paper, a backstepping control of the one-phase Stefan Problem, which is a 1-D diffusion Partial Differential Equation (PDE) defined on a time varying spatial domain described by an ordinary differential equation (ODE), is studied. A new nonlinear backstepping transformation for moving boundary problem is utilized to transform the original coupled PDE-ODE system into a target system whose e… ▽ More In this paper, a backstepping control of the one-phase Stefan Problem, which is a 1-D diffusion Partial Differential Equation (PDE) defined on a time varying spatial domain described by an ordinary differential equation (ODE), is studied. A new nonlinear backstepping transformation for moving boundary problem is utilized to transform the original coupled PDE-ODE system into a target system whose exponential stability is proved. The full-state boundary feedback controller ensures the exponential stability of the moving interface to a reference setpoint and the ${\cal H}_1$-norm of the distributed temperature by a choice of the setpint satisfying given explicit inequality between initial states that guarantees the physical constraints imposed by the melting process. △ Less

Submitted 14 July, 2016; originally announced July 2016.

Comments: 6 pages, 4 figures, The 2016 American Control Conference

State Feedback Stabilization of the Linearized Bilayer Saint-Venant Model

Authors: Ababacar Diagne, Shuxia Tang, Mamadou Diagne, Miroslav Krstic

Abstract: We consider the problem of stabilizing the bilayer \textit{Saint-Venant} model, which is a coupled system of two rightward and two leftward convecting transport partial differential equations (PDEs). In the stability proofs, we employ a Lyapunov function in which the parameters need to be successively determined. To the best of the authors' knowledge, this is the first time this kind of Lyapunov f… ▽ More We consider the problem of stabilizing the bilayer \textit{Saint-Venant} model, which is a coupled system of two rightward and two leftward convecting transport partial differential equations (PDEs). In the stability proofs, we employ a Lyapunov function in which the parameters need to be successively determined. To the best of the authors' knowledge, this is the first time this kind of Lyapunov function is employed, and this result is the first one on the stabilization of the linearized bilayer \textit{Saint-Venant} model. Numerical simulations of the bilayer \textit{Saint-Venant} problem are also provided to verify the result. △ Less

Submitted 25 April, 2016; v1 submitted 25 January, 2016; originally announced January 2016.

Well-posedness and exact controllability of the mass balance equations for an extrusion process

Authors: Mamadou Diagne, Peipei Shang, Zhiqiang Wang

Abstract: In this paper, we study the well-posedness and exact controllability of a physical model for a food extrusion process in the isothermal case. The model expresses the mass balance in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By suitable chang… ▽ More In this paper, we study the well-posedness and exact controllability of a physical model for a food extrusion process in the isothermal case. The model expresses the mass balance in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By suitable change of coordinates and fixed point arguments, we prove the existence, uniqueness and regularity of the solution, and finally the exact controllability of the coupled system. △ Less

Submitted 13 July, 2015; originally announced July 2015.

Comments: 19pages, 3figures. arXiv admin note: substantial text overlap with arXiv:1404.3375

Time- and State-Dependent Input Delay-Compensated Bang-Bang Control of a Screw Extruder for 3D Printing

Authors: Mamadou Diagne, Nikolaos Bekiaris-Liberis, Miroslav Krstic

Abstract: A delay-compensated Bang-Bang control design methodology for the control of the nozzle output flow rate of screw-extruder-based 3D printing processes is developed. The presented application has a great potential to move beyond the most commonly used processes such as Fused Deposition Modeling (FDM) and Syringe Based Extrusion (SBE), improving the build speed. A geometrical decomposition of the scr… ▽ More A delay-compensated Bang-Bang control design methodology for the control of the nozzle output flow rate of screw-extruder-based 3D printing processes is developed. The presented application has a great potential to move beyond the most commonly used processes such as Fused Deposition Modeling (FDM) and Syringe Based Extrusion (SBE), improving the build speed. A geometrical decomposition of the screw extruder in a partially and a fully filled regions (PFZ and FFZ) allows to describe the material convection in the extruder chamber by a 1D hyperbolic Partial Differential Equation (PDE) coupled with an Ordinary Differential Equation (ODE). After solving the hyperbolic PDE by the Method of Characteristics (MC), the coupled PDE-ODE's system is transformed into a nonlinear state-dependent input delay system. The aforementioned delay system is extended to the nonisothermal case with the consideration of periodic fluctuations acting on the material's convection speed, which represent the effect of viscosity variations due to temperature changes in the extruder chamber, resulting to a nonlinear system with an input delay that simultaneously depends on the state and the time variable. Global Exponential Stability (GES) of the nonlinear delay-free plant is established under a piecewise exponential feedback controller that is designed. By combining the nominal, piecewise exponential feedback controller with nonlinear predictor feedback the compensation of the time- and state-dependent input delay of the extruder model is achieved. Global Asymptotic Stability (GAS) of the closed-loop system under the Bang-Bang predictor feedback control law is established when certain conditions, which are easy to verify, related to the extruder design and the material properties, as well as to the magnitude and frequency of the materials transport speed variations, are satisfied. △ Less

Submitted 23 May, 2015; originally announced May 2015.

Comments: 14 pages, 9 figures, submitted to IEEE-TCST

Backstepping Stabilization of the Linearized Saint-Venant-Exner Model

Authors: Ababacar Diagne, Mamadou Diagne, Shuxia Tang, Miroslav Krstic

Abstract: Using the backstepping design, we achieve exponential stabilization of the coupled Saint-Venant-Exner (SVE) PDE model of water dynamics in a sediment-filled canal with arbitrary values of canal bottom slope, friction, porosity, and water-sediment interaction under subcritical or supercritical flow regime. The studied SVE model consists of two rightward convecting transport Partial Differential Equ… ▽ More Using the backstepping design, we achieve exponential stabilization of the coupled Saint-Venant-Exner (SVE) PDE model of water dynamics in a sediment-filled canal with arbitrary values of canal bottom slope, friction, porosity, and water-sediment interaction under subcritical or supercritical flow regime. The studied SVE model consists of two rightward convecting transport Partial Differential Equations (PDEs) and one leftward convecting transport PDE. A single boundary input control (with actuation located only at downstream) strategy is adopted. A full state feedback controller is firstly designed, which guarantees the exponential stability of the closed-loop control system. Then, an output feedback controller is designed based on the reconstruction of the distributed state with a backstepping observer. It also guarantees the exponential stability of the closed-loop control system. The flow regime depends on the dimensionless Froude number Fr, and both our controllers can deal with the subcritical (Fr < 1) and supercritical (Fr > 1) flow regime. They achieve the exponential stability results without any restrictive conditions in contrast to existing results. △ Less

Submitted 23 May, 2015; originally announced May 2015.

Comments: 16 pages, 19 figures, Submitted to Automatica

Feedback stabilization for the mass balance equations of a food extrusion process

Authors: Mamadou Diagne, Peipei Shang, Zhiqiang Wang

Abstract: In this paper, we study the stabilization problem for a food extrusion process in the isothermal case. The model expresses the mass conservation in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By using a Lyapunov approach, we obtain the exponen… ▽ More In this paper, we study the stabilization problem for a food extrusion process in the isothermal case. The model expresses the mass conservation in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By using a Lyapunov approach, we obtain the exponential stabilization for the closed-loop system under natural feedback controls through indirect measurements. △ Less

Submitted 1 February, 2015; originally announced February 2015.

Comments: 6 pages, 5 figures

MSC Class: 93D15; 93D30; 35Q93; 35R37

Well-posedness of the extrusion model described by coupled hyperbolic systems with a free boundary

Authors: Peipei Shang, Mamadou Diagne, Zhiqiang Wang

Abstract: In this paper, we consider the well-posedness of the Cauchy problem for a physical model of the extrusion process, which is described by two systems of conservation laws with a free boundary. By suitable change of coordinates and fixed point argument, we obtain the existence, uniqueness and regularity of the weak solution to this Cauchy problem. In this paper, we consider the well-posedness of the Cauchy problem for a physical model of the extrusion process, which is described by two systems of conservation laws with a free boundary. By suitable change of coordinates and fixed point argument, we obtain the existence, uniqueness and regularity of the weak solution to this Cauchy problem. △ Less

Submitted 15 April, 2014; v1 submitted 13 April, 2014; originally announced April 2014.

Comments: 20 pages, 3 figures

MSC Class: 35L65; 35Q79; 35R37