-
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 backstep** 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 backstep** 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.
-
Output Feedback Periodic Event-triggered Control of Coupled $2\times 2$ Linear Hyperbolic PDEs
Authors:
Eranda Somathilake,
Bhathiya Rathnayake,
Mamadou Diagne
Abstract:
This article introduces an observer-based periodic event-triggered control (PETC) strategy for boundary control of a system characterized by $2\times2$ linear hyperbolic partial differential equations (PDEs). An anti-collocated actuation and sensing configuration is considered, and an exponentially convergent observer for state estimation from boundary data is designed. Initially, a continuous-tim…
▽ More
This article introduces an observer-based periodic event-triggered control (PETC) strategy for boundary control of a system characterized by $2\times2$ linear hyperbolic partial differential equations (PDEs). An anti-collocated actuation and sensing configuration is considered, and an exponentially convergent observer for state estimation from boundary data is designed. Initially, a continuous-time dynamic event-triggering mechanism requiring constant monitoring of the triggering function is developed. This mechanism is subsequently adapted into a periodic event-triggering scheme, which necessitates only periodic monitoring to identify when the control input needs updating. The underlying control approach is the PDE backstep** boundary control, implemented in a zero-order hold manner between events. This result marks a substantial improvement over conventional observer-based continuous-time event-triggered control for linear coupled hyperbolic PDEs by removing the requirement for constant monitoring of the triggering function. With the triggering function evaluated periodically, the closed-loop system is inherently free from Zeno behavior. It is demonstrated that under the proposed PETC, the closed-loop system globally exponentially converges to zero in the spatial $L^2$ norm. A simulation study illustrating the theoretical results is presented.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
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) backstep**, 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) backstep**, 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.
-
Unbiased Extremum Seeking Based on Lie Bracket Averaging
Authors:
Cemal Tugrul Yilmaz,
Mamadou Diagne,
Miroslav Krstic
Abstract:
Extremum seeking is an online, model-free optimization algorithm traditionally known for its practical stability. This paper introduces an extremum seeking algorithm designed for unbiased convergence to the extremum asymptotically, allowing users to define the convergence rate. Unlike conventional extremum seeking approaches utilizing constant gains, our algorithms employ time-varying parameters.…
▽ More
Extremum seeking is an online, model-free optimization algorithm traditionally known for its practical stability. This paper introduces an extremum seeking algorithm designed for unbiased convergence to the extremum asymptotically, allowing users to define the convergence rate. Unlike conventional extremum seeking approaches utilizing constant gains, our algorithms employ time-varying parameters. These parameters reduce perturbation amplitudes towards zero in an asymptotic manner, while incorporating asymptotically growing controller gains. The stability analysis is based on state transformation, achieved through the multiplication of the input state by asymptotic growth function, and Lie bracket averaging applied to the transformed system. The averaging ensures the practical stability of the transformed system, which, in turn, leads to the asymptotic stability of the original system. Moreover, for strongly convex maps, we achieve exponentially fast convergence. The numerical simulations validate the feasibility of the introduced designs.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
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 backstep** 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 backstep** 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.
-
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.
-
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.
-
Backstep** 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 backstep** 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 backstep** 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 map** 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 backstep** 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.
-
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 backstep** 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 backstep** 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 3 December, 2023;
originally announced December 2023.
-
Deep Learning of Delay-Compensated Backstep** for Reaction-Diffusion PDEs
Authors:
Shanshan Wang,
Mamadou Diagne,
Miroslav Krstić
Abstract:
Deep neural networks that approximate nonlinear function-to-function map**s, i.e., operators, which are called DeepONet, have been demonstrated in recent articles to be capable of encoding entire PDE control methodologies, such as backstep**, so that, for each new functional coefficient of a PDE plant, the backstep** gains are obtained through a simple function evaluation. These initial resu…
▽ More
Deep neural networks that approximate nonlinear function-to-function map**s, i.e., operators, which are called DeepONet, have been demonstrated in recent articles to be capable of encoding entire PDE control methodologies, such as backstep**, so that, for each new functional coefficient of a PDE plant, the backstep** 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 backstep** 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.
-
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 backstep** 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 backstep** 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 backstep** 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.
-
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 backstep** 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 backstep** 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.
-
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 backstep** 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 backstep** 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.
-
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.
-
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.
-
Bilateral Boundary Control of Moving Shockwave in LWR Model of Congested Traffic
Authors:
Huan Yu,
Mamadou Diagne,
Liguo Zhang,
Miroslav Krstic
Abstract:
We develop backstep** 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 backstep** 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 backstep** 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 Backstep** 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 backstep** 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.
-
Output Feedback Control of the One-Phase Stefan Problem
Authors:
Shumon Koga,
Mamadou Diagne,
Miroslav Krstic
Abstract:
In this paper, a backstep** 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 backstep** 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 backstep** 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 backstep** 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 backstep** 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 kee** 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.
-
Backstep** Control of the One-Phase Stefan Problem
Authors:
Shumon Koga,
Mamadou Diagne,
Shuxia Tang,
Miroslav Krstic
Abstract:
In this paper, a backstep** 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 backstep** 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 backstep** 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 backstep** 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.
-
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.
-
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.
-
Backstep** Stabilization of the Linearized Saint-Venant-Exner Model
Authors:
Ababacar Diagne,
Mamadou Diagne,
Shuxia Tang,
Miroslav Krstic
Abstract:
Using the backstep** 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 backstep** 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 backstep** 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.
-
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.
-
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.