-
Deception in Nash Equilibrium Seeking
Authors:
Michael Tang,
Umar Javed,
Xudong Chen,
Miroslav Krstic,
Jorge I. Poveda
Abstract:
In socio-technical multi-agent systems, deception exploits privileged information to induce false beliefs in "victims," kee** them oblivious and leading to outcomes detrimental to them or advantageous to the deceiver. We consider model-free Nash-equilibrium-seeking for non-cooperative games with asymmetric information and introduce model-free deceptive algorithms with stability guarantees. In th…
▽ More
In socio-technical multi-agent systems, deception exploits privileged information to induce false beliefs in "victims," kee** them oblivious and leading to outcomes detrimental to them or advantageous to the deceiver. We consider model-free Nash-equilibrium-seeking for non-cooperative games with asymmetric information and introduce model-free deceptive algorithms with stability guarantees. In the simplest algorithm, the deceiver includes in his action policy the victim's exploration signal, with an amplitude tuned by an integrator of the regulation error between the deceiver's actual and desired payoff. The integral feedback drives the deceiver's payoff to the payoff's reference value, while the victim is led to adopt a suboptimal action, at which the pseudogradient of the deceiver's payoff is zero. The deceiver's and victim's actions turn out to constitute a "deceptive" Nash equilibrium of a different game, whose structure is managed - in real time - by the deceiver. We examine quadratic, aggregative, and more general games and provide conditions for a successful deception, mutual and benevolent deception, and immunity to deception. Stability results are established using techniques based on averaging and singular perturbations. Among the examples in the paper is a microeconomic duopoly in which the deceiver induces in the victim a belief that the buyers disfavor the deceiver more than they actually do, leading the victim to increase the price above the Nash price, and resulting in an increased profit for the deceiver and a decreased profit for the victim. A study of the deceiver's integral feedback for the desired profit reveals that, in duopolies with equal marginal costs, a deceiver that is greedy for very high profit can attain any such profit, and pursue this with arbitrarily high integral gain (impatiently), irrespective of the market preference for the victim.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Adaptive control of reaction-diffusion PDEs via neural operator-approximated gain kernels
Authors:
Luke Bhan,
Yuanyuan Shi,
Miroslav Krstic
Abstract:
Neural operator approximations of the gain kernels in PDE backstep** has emerged as a viable method for implementing controllers in real time. With such an approach, one approximates the gain kernel, which maps the plant coefficient into the solution of a PDE, with a neural operator. It is in adaptive control that the benefit of the neural operator is realized, as the kernel PDE solution needs t…
▽ More
Neural operator approximations of the gain kernels in PDE backstep** has emerged as a viable method for implementing controllers in real time. With such an approach, one approximates the gain kernel, which maps the plant coefficient into the solution of a PDE, with a neural operator. It is in adaptive control that the benefit of the neural operator is realized, as the kernel PDE solution needs to be computed online, for every updated estimate of the plant coefficient. We extend the neural operator methodology from adaptive control of a hyperbolic PDE to adaptive control of a benchmark parabolic PDE (a reaction-diffusion equation with a spatially-varying and unknown reaction coefficient). We prove global stability and asymptotic regulation of the plant state for a Lyapunov design of parameter adaptation. The key technical challenge of the result is handling the 2D nature of the gain kernels and proving that the target system with two distinct sources of perturbation terms, due to the parameter estimation error and due to the neural approximation error, is Lyapunov stable. To verify our theoretical result, we present simulations achieving calculation speedups up to 45x relative to the traditional finite difference solvers for every timestep in the simulation trajectory.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Extremum Seeking Control for Scalar Maps with Distributed Diffusion PDEs
Authors:
Pedro Henrique Silva Coutinho,
Tiago Roux Oliveira,
Miroslav Krstic
Abstract:
This paper deals with the gradient extremum seeking control for static scalar maps with actuators governed by distributed diffusion partial differential equations (PDEs). To achieve the real-time optimization objective, we design a compensation controller for the distributed diffusion PDE via backstep** transformation in infinite dimensions. A further contribution of this paper is the appropriat…
▽ More
This paper deals with the gradient extremum seeking control for static scalar maps with actuators governed by distributed diffusion partial differential equations (PDEs). To achieve the real-time optimization objective, we design a compensation controller for the distributed diffusion PDE via backstep** transformation in infinite dimensions. A further contribution of this paper is the appropriate motion planning design of the so-called probing (or perturbation) signal, which is more involved than in the non-distributed counterpart. Hence, with these two design ingredients, we provide an averaging-based methodology that can be implemented using the gradient and Hessian estimates. Local exponential stability for the closed-loop equilibrium of the average error dynamics is guaranteed through a Lyapunov-based analysis. By employing the averaging theory for infinite-dimensional systems, we prove that the trajectory converges to a small neighborhood surrounding the optimal point. The effectiveness of the proposed extremum seeking controller for distributed diffusion PDEs in cascade of nonlinear maps to be optimized is illustrated by means of numerical simulations.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
A Complete Inverse Optimality Study for a Tank-Liquid System
Authors:
Iasson Karafyllis,
Filippos Vokos,
Miroslav Krstic
Abstract:
This paper presents a complete inverse optimality study for a linearized tank-liquid system where the liquid is described by the viscous Saint-Venant model with surface tension and possible wall friction. We define an appropriate weak solution notion for which we establish existence/uniqueness results with inputs that do not necessarily satisfy any compatibility condition as well as stabilization…
▽ More
This paper presents a complete inverse optimality study for a linearized tank-liquid system where the liquid is described by the viscous Saint-Venant model with surface tension and possible wall friction. We define an appropriate weak solution notion for which we establish existence/uniqueness results with inputs that do not necessarily satisfy any compatibility condition as well as stabilization results with feedback laws that are constructed with the help of a Control Lyapunov Functional. We show that the proposed family of stabilizing feedback laws is optimal for a certain meaningful quadratic cost functional. Finally, we show that the optimal feedback law guarantees additional stronger stability estimates which are similar to those obtained in the case of classical solutions.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Sliding-Mode Nash Equilibrium Seeking for a Quadratic Duopoly Game
Authors:
Victor Hugo Pereira Rodrigues,
Tiago Roux Oliveira,
Miroslav Krstić,
Tamer Başar
Abstract:
This paper introduces a new method to achieve stable convergence to Nash equilibrium in duopoly noncooperative games. Inspired by the recent fixed-time Nash Equilibrium seeking (NES) as well as prescribed-time extremum seeking (ES) and source seeking schemes, our approach employs a distributed sliding mode control (SMC) scheme, integrating extremum seeking with sinusoidal perturbation signals to e…
▽ More
This paper introduces a new method to achieve stable convergence to Nash equilibrium in duopoly noncooperative games. Inspired by the recent fixed-time Nash Equilibrium seeking (NES) as well as prescribed-time extremum seeking (ES) and source seeking schemes, our approach employs a distributed sliding mode control (SMC) scheme, integrating extremum seeking with sinusoidal perturbation signals to estimate the pseudogradients of quadratic payoff functions. Notably, this is the first attempt to address noncooperative games without relying on models, combining classical extremum seeking with relay components instead of proportional control laws. We prove finite-time convergence of the closed-loop average system to Nash equilibrium using stability analysis techniques such as time-scaling, Lyapunov's direct method, and averaging theory for discontinuous systems. Additionally, we quantify the size of residual sets around the Nash equilibrium and validate our theoretical results through simulations.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Extremum Seeking is Stable for Scalar Maps that are Strictly but Not Strongly Convex
Authors:
Patrick McNamee,
Miroslav Krstić,
Zahra Nili Ahmadabadi
Abstract:
For a map that is strictly but not strongly convex, model-based gradient extremum seeking has an eigenvalue of zero at the extremum, i.e., it fails at exponential convergence. Interestingly, perturbation-based model-free extremum seeking has a negative Jacobian, in the average, meaning that its (practical) convergence is exponential, even though the map's Hessian is zero at the extremum. While the…
▽ More
For a map that is strictly but not strongly convex, model-based gradient extremum seeking has an eigenvalue of zero at the extremum, i.e., it fails at exponential convergence. Interestingly, perturbation-based model-free extremum seeking has a negative Jacobian, in the average, meaning that its (practical) convergence is exponential, even though the map's Hessian is zero at the extremum. While these observations for the gradient algorithm are not trivial, we focus in this paper on an even more nontrivial study of the same phenomenon for Newton-based extremum seeking control (NESC).
NESC is a second-order method which corrects for the unknown Hessian of the unknown map, not only in order to speed up parameter convergence, but also (1) to make the convergence rate user-assignable in spite of the unknown Hessian, and (2) to equalize the convergence rates in different directions for multivariable maps. Previous NESC work established stability only for maps whose Hessians are strictly positive definite everywhere, so the Hessian is invertible everywhere. For a scalar map, we establish the rather unexpected property that, even when the map behind is strictly convex but not strongly convex, i.e., when the Hessian may be zero, NESC guarantees practical asymptotic stability, semiglobally. While a model-based Newton-based algorithm would run into non-invertibility of the Hessian, the perturbation-based NESC, surprisingly, avoids this challenge by leveraging the fact that the average of the perturbation-based Hessian estimate is always positive, even though the actual Hessian may be zero.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
PDE Control Gym: A Benchmark for Data-Driven Boundary Control of Partial Differential Equations
Authors:
Luke Bhan,
Yuexin Bian,
Miroslav Krstic,
Yuanyuan Shi
Abstract:
Over the last decade, data-driven methods have surged in popularity, emerging as valuable tools for control theory. As such, neural network approximations of control feedback laws, system dynamics, and even Lyapunov functions have attracted growing attention. With the ascent of learning based control, the need for accurate, fast, and easy-to-use benchmarks has increased. In this work, we present t…
▽ More
Over the last decade, data-driven methods have surged in popularity, emerging as valuable tools for control theory. As such, neural network approximations of control feedback laws, system dynamics, and even Lyapunov functions have attracted growing attention. With the ascent of learning based control, the need for accurate, fast, and easy-to-use benchmarks has increased. In this work, we present the first learning-based environment for boundary control of PDEs. In our benchmark, we introduce three foundational PDE problems - a 1D transport PDE, a 1D reaction-diffusion PDE, and a 2D Navier-Stokes PDE - whose solvers are bundled in an user-friendly reinforcement learning gym. With this gym, we then present the first set of model-free, reinforcement learning algorithms for solving this series of benchmark problems, achieving stability, although at a higher cost compared to model-based PDE backstep**. With the set of benchmark environments and detailed examples, this work significantly lowers the barrier to entry for learning-based PDE control - a topic largely unexplored by the data-driven control community. The entire benchmark is available on Github along with detailed documentation and the presented reinforcement learning models are open sourced.
△ Less
Submitted 23 May, 2024; v1 submitted 18 May, 2024;
originally announced May 2024.
-
From Road Congestion to Vehicle-Control Enabled Artificial Traffic Fluids
Authors:
Iasson Karafyllis,
Dionysios Theodosis,
Markos Papageorgiou,
Miroslav Krstic
Abstract:
This article provides an overview of the design of nonlinear feedback Cruise Controllers (CCs) for automated vehicles on lane-free roads. The feedback design problem is particularly challenging because of the various state constraints (e.g., collision-free movement, road geometry, speed limits) as well as the nature of the control objective (globally stabilizing distributed controllers that requir…
▽ More
This article provides an overview of the design of nonlinear feedback Cruise Controllers (CCs) for automated vehicles on lane-free roads. The feedback design problem is particularly challenging because of the various state constraints (e.g., collision-free movement, road geometry, speed limits) as well as the nature of the control objective (globally stabilizing distributed controllers that require measurements from neighboring vehicles only). Therefore, the resulting nonlinear control system is defined on an open set (not necessarily diffeomorphic to a linear space) for which the set of desired equilibria is non-compact. The proposed design of the CCs is based on energy-like control Lyapunov functions which combine potential functions with kinetic energy terms and other appropriate penalty terms. The feedback design in the microscopic level is accompanied by the derivation of the corresponding macroscopic traffic flow models. Explicit relations are established between selectable CC features and the obtained macroscopic traffic flow characteristics. This facilitates the active design of efficient traffic flow with desired properties, i.e., the construction of artificial traffic fluids.
△ Less
Submitted 9 May, 2024;
originally announced May 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 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.
-
A Tensor Product Space for Studying the Interaction of Bipartite States of Light with Nanostructures
Authors:
Lukas Freter,
Benedikt Zerulla,
Marjan Krstić,
Christof Holzer,
Carsten Rockstuhl,
Ivan Fernandez-Corbaton
Abstract:
Pairs of entangled photons are important for applications in quantum nanophotonics, where their theoretical description must accommodate their bipartite character. Such character is shared at the other end of the intensity range by, for example, the two degenerate instances of the pump field involved in second-harmonic generation. Describing the interaction of nanophotonic structures with bipartit…
▽ More
Pairs of entangled photons are important for applications in quantum nanophotonics, where their theoretical description must accommodate their bipartite character. Such character is shared at the other end of the intensity range by, for example, the two degenerate instances of the pump field involved in second-harmonic generation. Describing the interaction of nanophotonic structures with bipartite states of light is, regardless of their intensity, a challenge with important technological applications. Here, we develop a theoretical framework for studying the interaction of material structures with bipartite states of light. The basic element is the symmetrized tensor product space of two copies of an electromagnetic Hilbert space. One of the benefits inherited from the single Hilbert space is that consequences of material symmetries are readily deduced. We derive selection rules for second-order non-linear processes in objects with rotational and/or mirror symmetries. We numerically verify several selection rules by combining quantum-chemical calculations with a Maxwell solver to simulate second-harmonic generation in two different MoS$_2$ clusters. The computationally convenient scattering matrix method is also extended to the tensor product space when the response of the object to one part of the state is independent of the other. For such a case, we obtain the relation between the scattering matrix in the single Hilbert space and the scattering matrix for bipartite states. Such a separable case is relevant for the entanglement evolution of biphoton states interacting with nanostructures. We discuss some possibilities for accommodating the computations of non-linear effects in the framework, for example, through a non-separable scattering operator, where the response of the object to one part of the state depends on the other part.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Practical Safe Extremum Seeking with Assignable Rate of Attractivity to the Safe Set
Authors:
Alan Williams,
Miroslav Krstic,
Alexander Scheinker
Abstract:
We present Assignably Safe Extremum Seeking (ASfES), an algorithm designed to minimize a measured objective function while maintaining a measured metric of safety (a control barrier function or CBF) be positive in a practical sense. We ensure that for trajectories with safe initial conditions, the violation of safety can be made arbitrarily small with appropriately chosen design constants. We also…
▽ More
We present Assignably Safe Extremum Seeking (ASfES), an algorithm designed to minimize a measured objective function while maintaining a measured metric of safety (a control barrier function or CBF) be positive in a practical sense. We ensure that for trajectories with safe initial conditions, the violation of safety can be made arbitrarily small with appropriately chosen design constants. We also guarantee an assignable ``attractivity'' rate: from unsafe initial conditions, the trajectories approach the safe set, in the sense of the measured CBF, at a rate no slower than a user-assigned rate. Similarly, from safe initial conditions, the trajectories approach the unsafe set, in the sense of the CBF, no faster than the assigned attractivity rate. The feature of assignable attractivity is not present in the semiglobal version of safe extremum seeking, where the semiglobality of convergence is achieved by slowing the adaptation. We also demonstrate local convergence of the parameter to a neighborhood of the minimum of the objective function constrained to the safe set. The ASfES algorithm and analysis are multivariable, but we also extend the algorithm to a Newton-Based ASfES scheme (NB-ASfES) which we show is only useful in the scalar case. The proven properties of the designs are illustrated through simulation examples.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Nash Equilibrium Seeking for Noncooperative Duopoly Games via Event-Triggered Control
Authors:
Victor Hugo Pereira Rodrigues,
Tiago Roux Oliveira,
Miroslav Krstić,
Tamer Başar
Abstract:
This paper proposes a novel approach for locally stable convergence to Nash equilibrium in duopoly noncooperative games based on a distributed event-triggered control scheme. The proposed approach employs extremum seeking, with sinusoidal perturbation signals applied to estimate the Gradient (first derivative) of unknown quadratic payoff functions. This is the first instance of noncooperative game…
▽ More
This paper proposes a novel approach for locally stable convergence to Nash equilibrium in duopoly noncooperative games based on a distributed event-triggered control scheme. The proposed approach employs extremum seeking, with sinusoidal perturbation signals applied to estimate the Gradient (first derivative) of unknown quadratic payoff functions. This is the first instance of noncooperative games being tackled in a model-free fashion integrated with the event-triggered methodology. Each player evaluates independently the deviation between the corresponding current state variable and its last broadcasted value to update the player action, while they preserve control performance under limited bandwidth of the actuation paths and still guarantee stability for the closed-loop dynamics. In particular, the stability analysis is carried out using time-scaling technique, Lyapunov's direct method and averaging theory for discontinuous systems. We quantify the size of the ultimate small residual sets around the Nash equilibrium and illustrate the theoretical results numerically on an example.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection
Authors:
Mohamed Camil Belhadjoudja,
Miroslav Krstic,
Mohamed Maghenem,
Emmanuel Witrant
Abstract:
We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input. W…
▽ More
We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input. We also consider diffusive PDEs with or without linear convection, for which a weighted L2 norm is a CLF whose derivative has a quadratic dependence in the control input. For each structure on the derivative of the CLF, we achieve inverse optimality with respect to a meaningful cost functional. For the case where the derivative of the CLF has a depressed cubic dependence in the control, we construct a cost functional for which the unique minimizer is the unique real root of a cubic polynomial: the Cardano-Lyapunov controller. When the derivative of the CLF is quadratic in the control, we construct a cost functional that is minimized by two distinct feedback laws, that correspond to the two distinct real roots of a quadratic equation. We show how to switch from one root to the other to reduce the control effort.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Gain-Only Neural Operator Approximators of PDE Backstep** Controllers
Authors:
Rafael Vazquez,
Miroslav Krstic
Abstract:
For the recently introduced deep learning-powered approach to PDE backstep** control, we present an advancement applicable across all the results developed thus far: approximating the control gain function only (a function of one variable), rather than the entire kernel function of the backstep** transformation (a function of two variables). We introduce this idea on a couple benchmark (unstab…
▽ More
For the recently introduced deep learning-powered approach to PDE backstep** control, we present an advancement applicable across all the results developed thus far: approximating the control gain function only (a function of one variable), rather than the entire kernel function of the backstep** transformation (a function of two variables). We introduce this idea on a couple benchmark (unstable) PDEs, hyperbolic and parabolic. We alter the approach of quantifying the effect of the approximation error by replacing a backstep** transformation that employs the approximated kernel (suitable for adaptive control) by a transformation that employs the exact kernel (suitable for gain scheduling). A major simplification in the target system arises, with the perturbation due to the approximation shifting from the domain to the boundary condition. This results in a significant difference in the Lyapunov analysis, which nevertheless results in a guarantee of the stability being retained with the simplified approximation approach. The approach of approximating only the control gain function simplifies the operator being approximated and the training of its neural approximation, with an expected reduction in the neural network size. The price for the savings in approximation is paid through a somewhat more intricate Lyapunov analysis, in higher Sobolev spaces for some PDEs, as well as some restrictions on initial conditions that result from higher Sobolev spaces. While the proposed approach appears inapplicable to uses in adaptive control, it is almost certainly applicable in gain scheduling applications of neural operator-approximated PDE backstep** controllers.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization
Authors:
Mohamed Camil Belhadjoudja,
Miroslav Krstic,
Mohamed Maghenem,
Emmanuel Witrant
Abstract:
We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system admits a control Lyapunov function (CLF) whose derivative, rather than being affine in the control, has either a depressed cubic, quadratic, or depressed quartic dependence on the control. For each case, a continuous uni…
▽ More
We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system admits a control Lyapunov function (CLF) whose derivative, rather than being affine in the control, has either a depressed cubic, quadratic, or depressed quartic dependence on the control. For each case, a continuous universal controller that vanishes at the origin and achieves global exponential stability is derived. We prove our result in the context of convectionreaction-diffusion PDEs with Dirichlet actuation. We show that if the convection has a certain structure, then the L2 norm of the state is a CLF. In addition to generalizing Sontag s formula to some non-affine systems, we present the first general Lyapunov approach for boundary control of nonlinear PDEs. We illustrate our results via a numerical example.
△ Less
Submitted 26 March, 2024;
originally announced March 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.
-
Towards a MATLAB Toolbox to compute backstep** kernels using the power series method
Authors:
Xin Lin,
Rafael Vazquez,
Miroslav Krstic
Abstract:
In this paper, we extend our previous work on the power series method for computing backstep** kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstep** kernel computation. This toolbox would exploit MATLAB's linear algebra and sparse matrix manipulation features for enhanced efficiency; our initial findings show considerable improveme…
▽ More
In this paper, we extend our previous work on the power series method for computing backstep** kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstep** kernel computation. This toolbox would exploit MATLAB's linear algebra and sparse matrix manipulation features for enhanced efficiency; our initial findings show considerable improvements in computational speed with respect to the use of symbolical software without loss of precision at high orders. Additionally, we tackle limitations observed in our earlier work, such as slow convergence (due to oscillatory behaviors) and non-converging series (due to loss of analiticity at some singular points). To overcome these challenges, we introduce a technique that mitigates this behaviour by computing the expansion at different points, denoted as localized power series. This approach effectively navigates around singularities, and can also accelerates convergence by using more local approximations. Basic examples are provided to demonstrate these enhancements. Although this research is still ongoing, the significant potential and simplicity of the method already establish the power series approach as a viable and versatile solution for solving backstep** kernel equations, benefiting both novel and experienced practitioners in the field. We anticipate that these developments will be particularly beneficial in training the recently introduced neural operators that approximate backstep** kernels and gains.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Convection-Enabled Boundary Control of a 2D Channel Flow
Authors:
Mohamed Camil Belhadjoudja,
Miroslav Krstic,
Emmanuel Witrant
Abstract:
We consider the incompressible Navier-Stokes equations in a two-dimensional channel. The tangential and normal velocities are assumed to be periodic in the streamwise (horizontal) direction. Moreover, we consider no-slip boundary conditions on the tangential velocity at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. For an arbitrarily large Reyn…
▽ More
We consider the incompressible Navier-Stokes equations in a two-dimensional channel. The tangential and normal velocities are assumed to be periodic in the streamwise (horizontal) direction. Moreover, we consider no-slip boundary conditions on the tangential velocity at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. For an arbitrarily large Reynolds number, we design the boundary control inputs to achieve global exponential stabilization, in the L2 sense, of a chosen parabolic Poiseuille profile. Moreover, we design the control inputs such that they have zero mean, but non-zero cubic mean. The zero-mean property is to ensure that the conservation of mass constraint is verified. The non-zero cubic mean property is the key to exploiting the stabilizing effect of nonlinear convection and achieving global stabilization independently of the size of the Reynolds number. This paper is not only the first work where a closed-form feedback law is proposed for global stabilization of parabolic Poiseuille profiles for arbitrary Reynolds number but is also the first generalization of the Cardano-Lyapunov formula, designed initially to stabilize scalar-valued convective PDEs, to a vector-valued convective PDE with a divergence-free constraint on the state.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Polarization-dependent effects in vibrational absorption spectra of 2D finite-size adsorbate islands on dielectric substrates
Authors:
Benedikt Zerulla,
Marjan Krstić,
Shuang Chen,
Zairan Yu,
Dominik Beutel,
Christof Holzer,
Markus Nyman,
Alexei Nefedov,
Yuemin Wang,
Thomas G. Mayerhöfer,
Christof Wöll,
Carsten Rockstuhl
Abstract:
In the last years, Infrared Reflection-Absorption Spectroscopy (IRRAS) became a standard technique to study vibrational excitations of molecules. These investigations are strongly motivated by perspective applications in monitoring chemical processes. For a better understanding of the adsorption mechanism of molecules on dielectrics, the polarization-dependence of an interaction of infrared light…
▽ More
In the last years, Infrared Reflection-Absorption Spectroscopy (IRRAS) became a standard technique to study vibrational excitations of molecules. These investigations are strongly motivated by perspective applications in monitoring chemical processes. For a better understanding of the adsorption mechanism of molecules on dielectrics, the polarization-dependence of an interaction of infrared light with adsorbates at dielectric surfaces is commonly used. Thus, the peak positions in absorption spectra could be different for s- and p-polarized light. This shift between the peak positions depends on both the molecule itself and the dielectric substrate. While the origin of this shift is well understood for infinite two-dimensional adsorbate layers, finite-size samples, which consist of 2D islands of a small number of molecules, have never been considered. Here, we present a study on polarization-dependent finite-size effects in the optical response of such islands on dielectric substrates. The study uses a multi-scale modeling approach that connects quantum chemistry calculations to Maxwell scattering simulations. We distinguish the optical response of a single molecule, a finite number of molecules, and a two-dimensional adsorbate layer. We analyze CO and CO$_2$ molecules deposited on CeO$_2$ and Al$_2$O$_3$ substrates. The evolution of the shift between the polarization-dependent absorbance peaks is firstly studied for a single molecule, which it does not exhibit for at all, and for finite molecular islands, which it increases with increasing island size for, as well as for an infinite two-dimensional adsorbate layer. In the latter case, the agreement between the obtained results and the experimental IRRAS data and more traditional three/four-layer-model theoretical studies supports the predictive power of the multi-scale approach.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Deadzone-Adapted Disturbance Suppression Control for Strict-Feedback Systems
Authors:
Iasson Karafyllis,
Miroslav Krstic,
Alexandros Aslanidis
Abstract:
In this paper we extend our recently proposed Deadzone-Adapted Disturbance Suppression (DADS) Control approach from systems with matched uncertainties to general systems in parametric strict feedback form. The DADS approach prevents gain and state drift regardless of the size of the disturbance and unknown parameter and achieves an attenuation of the plant output to an assignable small level, desp…
▽ More
In this paper we extend our recently proposed Deadzone-Adapted Disturbance Suppression (DADS) Control approach from systems with matched uncertainties to general systems in parametric strict feedback form. The DADS approach prevents gain and state drift regardless of the size of the disturbance and unknown parameter and achieves an attenuation of the plant output to an assignable small level, despite the presence of persistent disturbances and unknown parameters of arbitrary and unknown bounds. The controller is designed by means of a step-by-step backstep** procedure which can be applied in an algorithmic fashion. Examples are provided which illustrate the efficiency of the DADS controller compared to existing adaptive control schemes.
△ Less
Submitted 27 February, 2024;
originally announced February 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.
-
Adaptive Neural-Operator Backstep** Control of a Benchmark Hyperbolic PDE
Authors:
Maxence Lamarque,
Luke Bhan,
Yuanyuan Shi,
Miroslav Krstic
Abstract:
To stabilize PDEs, feedback controllers require gain kernel functions, which are themselves governed by PDEs. Furthermore, these gain-kernel PDEs depend on the PDE plants' functional coefficients. The functional coefficients in PDE plants are often unknown. This requires an adaptive approach to PDE control, i.e., an estimation of the plant coefficients conducted concurrently with control, where a…
▽ More
To stabilize PDEs, feedback controllers require gain kernel functions, which are themselves governed by PDEs. Furthermore, these gain-kernel PDEs depend on the PDE plants' functional coefficients. The functional coefficients in PDE plants are often unknown. This requires an adaptive approach to PDE control, i.e., an estimation of the plant coefficients conducted concurrently with control, where a separate PDE for the gain kernel must be solved at each timestep upon the update in the plant coefficient function estimate. Solving a PDE at each timestep is computationally expensive and a barrier to the implementation of real-time adaptive control of PDEs. Recently, results in neural operator (NO) approximations of functional map**s have been introduced into PDE control, for replacing the computation of the gain kernel with a neural network that is trained, once offline, and reused in real-time for rapid solution of the PDEs. In this paper, we present the first result on applying NOs in adaptive PDE control, presented for a benchmark 1-D hyperbolic PDE with recirculation. We establish global stabilization via Lyapunov analysis, in the plant and parameter error states, and also present an alternative approach, via passive identifiers, which avoids the strong assumptions on kernel differentiability. We then present numerical simulations demonstrating stability and observe speedups up to three orders of magnitude, highlighting the real-time efficacy of neural operators in adaptive control. Our code (Github) is made publicly available for future researchers.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Separating the Material and Geometry Contribution to the Circular Dichroism of Chiral Objects Made from Chiral Media
Authors:
Lukas Rebholz,
Marjan Krstić,
Benedikt Zerulla,
Mateusz Pawlak,
Wiktor Lewandowski,
Ivan Fernandez-Corbaton,
Carsten Rockstuhl
Abstract:
The chirality of an object can be studied by measuring the circular dichroism, that is, the difference in absorption of light with different helicity. The chiral optical response of an object, however, can have two different origins. On the one hand, it can be linked to the chiral geometry of the object. On the other hand, it can be linked to the chiral material from which the object is made. Wher…
▽ More
The chirality of an object can be studied by measuring the circular dichroism, that is, the difference in absorption of light with different helicity. The chiral optical response of an object, however, can have two different origins. On the one hand, it can be linked to the chiral geometry of the object. On the other hand, it can be linked to the chiral material from which the object is made. Whereas previously, no distinction between the two contributions could be made, we report here a computational approach that allows us to separate these two contributions to the circular dichroism of an object. We consider separately the cases where geometry-related resonances affect the optical response and where they are absent. In both cases, we find the circular dichroism to be easily decomposable if a geometrically achiral object has a similar absorption spectrum to the chiral object under investigation. Furthermore, in the non-resonant case, the contribution attributed to the material can be obtained without taking any geometry into account. Besides being of fundamental importance, the possibility of disentangling both contributions will be important for guiding the future design of chiral objects and devices.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Moving-Horizon Estimators for Hyperbolic and Parabolic PDEs in 1-D
Authors:
Luke Bhan,
Yuanyuan Shi,
Iasson Karafyllis,
Miroslav Krstic,
James B. Rawlings
Abstract:
Observers for PDEs are themselves PDEs. Therefore, producing real time estimates with such observers is computationally burdensome. For both finite-dimensional and ODE systems, moving-horizon estimators (MHE) are operators whose output is the state estimate, while their inputs are the initial state estimate at the beginning of the horizon as well as the measured output and input signals over the m…
▽ More
Observers for PDEs are themselves PDEs. Therefore, producing real time estimates with such observers is computationally burdensome. For both finite-dimensional and ODE systems, moving-horizon estimators (MHE) are operators whose output is the state estimate, while their inputs are the initial state estimate at the beginning of the horizon as well as the measured output and input signals over the moving time horizon. In this paper we introduce MHEs for PDEs which remove the need for a numerical solution of an observer PDE in real time. We accomplish this using the PDE backstep** method which, for certain classes of both hyperbolic and parabolic PDEs, produces moving-horizon state estimates explicitly. Precisely, to explicitly produce the state estimates, we employ a backstep** transformation of a hard-to-solve observer PDE into a target observer PDE, which is explicitly solvable. The MHEs we propose are not new observer designs but simply the explicit MHE realizations, over a moving horizon of arbitrary length, of the existing backstep** observers. Our PDE MHEs lack the optimality of the MHEs that arose as duals of MPC, but they are given explicitly, even for PDEs. In the paper we provide explicit formulae for MHEs for both hyperbolic and parabolic PDEs, as well as simulation results that illustrate theoretically guaranteed convergence of the MHEs.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Gain Scheduling with a Neural Operator for a Transport PDE with Nonlinear Recirculation
Authors:
Maxence Lamarque,
Luke Bhan,
Rafael Vazquez,
Miroslav Krstic
Abstract:
To stabilize PDE models, control laws require space-dependent functional gains mapped by nonlinear operators from the PDE functional coefficients. When a PDE is nonlinear and its "pseudo-coefficient" functions are state-dependent, a gain-scheduling (GS) nonlinear design is the simplest approach to the design of nonlinear feedback. The GS version of PDE backstep** employs gains obtained by solvin…
▽ More
To stabilize PDE models, control laws require space-dependent functional gains mapped by nonlinear operators from the PDE functional coefficients. When a PDE is nonlinear and its "pseudo-coefficient" functions are state-dependent, a gain-scheduling (GS) nonlinear design is the simplest approach to the design of nonlinear feedback. The GS version of PDE backstep** employs gains obtained by solving a PDE at each value of the state. Performing such PDE computations in real time may be prohibitive. The recently introduced neural operators (NO) can be trained to produce the gain functions, rapidly in real time, for each state value, without requiring a PDE solution. In this paper we introduce NOs for GS-PDE backstep**. GS controllers act on the premise that the state change is slow and, as a result, guarantee only local stability, even for ODEs. We establish local stabilization of hyperbolic PDEs with nonlinear recirculation using both a "full-kernel" approach and the "gain-only" approach to gain operator approximation. Numerical simulations illustrate stabilization and demonstrate speedup by three orders of magnitude over traditional PDE gain-scheduling. Code (Github) for the numerical implementation is published to enable exploration.
△ Less
Submitted 4 January, 2024;
originally announced January 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.
-
Application of Reconfigurable All-Optical Activation Unit based on Optical Injection into Bistable Fabry-Pérot Laser in Multilayer Perceptron Neural Networks
Authors:
Jasna V. Crnjanski,
Isidora Teofilović,
Marko M. Krstić,
Dejan M. Gvozdić
Abstract:
In this paper we theoretically investigate application of a bistable Fabry-Pérot semiconductor laser under optical-injection as all-optical activation unit for multilayer perceptron optical neural networks. The proposed device is programmed to provide reconfigurable sigmoid-like activation functions with adjustable thresholds and saturation points and benchmarked on machine learning image recognit…
▽ More
In this paper we theoretically investigate application of a bistable Fabry-Pérot semiconductor laser under optical-injection as all-optical activation unit for multilayer perceptron optical neural networks. The proposed device is programmed to provide reconfigurable sigmoid-like activation functions with adjustable thresholds and saturation points and benchmarked on machine learning image recognition problems. Due to the reconfigurability of the activation unit, the accuracy can be increased by up to 2% simply by adjusting the control parameter of the activation unit to suit the specific problem. For a simple two-layer perceptron neural network, we achieve inference accuracies of up to 95% and 85%, for the MNIST and Fashion-MNIST datasets, respectively.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Deadzone-Adapted Disturbance Suppression Control for Global Practical IOS and Zero Asymptotic Gain to Matched Uncertainties
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
In this paper we study a special class of systems: time-invariant control systems that satisfy the matching condition for which no bounds for the disturbance and the unknown parameters are known. For this class of systems, we provide a simple, direct, adaptive control scheme that combines three elements: (a) nonlinear dam**, (b) single-gain adjustment, and (c) deadzone in the update law. It is t…
▽ More
In this paper we study a special class of systems: time-invariant control systems that satisfy the matching condition for which no bounds for the disturbance and the unknown parameters are known. For this class of systems, we provide a simple, direct, adaptive control scheme that combines three elements: (a) nonlinear dam**, (b) single-gain adjustment, and (c) deadzone in the update law. It is the first time that these three tools are combined and the proposed controller is called a Deadzone-Adapted Disturbance Suppression (DADS) Controller. The proposed adaptive control scheme achieves for the first time an attenuation of the plant state to an assignable small level, despite the presence of disturbances and unknown parameters of arbitrary and unknown bounds. Moreover, the DADS Controller prevents gain and state drift regardless of the size of the disturbance and unknown parameter.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Extremum Seeking for Stefan PDE with Moving Boundary
Authors:
Mauricio Linhares Galvao,
Tiago Roux Oliveira,
Miroslav Krstic
Abstract:
This paper presents the design and analysis of the extremum seeking for static maps with input passed through a partial differential equation (PDE) of the diffusion type defined on a time-varying spatial domain whose boundary position is governed by an ordinary differential equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. We c…
▽ More
This paper presents the design and analysis of the extremum seeking for static maps with input passed through a partial differential equation (PDE) of the diffusion type defined on a time-varying spatial domain whose boundary position is governed by an ordinary differential equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. We compensate the average-based actuation dynamics by a controller via backstep** transformation for the moving boundary, which is utilized to transform the original coupled PDE-ODE into a target system whose exponential stability of the average equilibrium of the average system is proved. The discussion for the delay-compensated extremum seeking control of the Stefan problem is also presented and illustrated with numerical simulations.
△ Less
Submitted 11 November, 2023;
originally announced November 2023.
-
Surface Second Harmonic Generation in Centrosymmetric Molecular Crystalline Materials: How Thick is the Surface?
Authors:
Benedikt Zerulla,
Alejandro Luna Díaz,
Christof Holzer,
Carsten Rockstuhl,
Ivan Fernandez-Corbaton,
Marjan Krstić
Abstract:
Second harmonic generation (SHG) is forbidden in centrosymmetric molecular materials. However, a signal is frequently observed from interfaces where the symmetry is broken. Whereas the effect can be phenomenologically accommodated, an ab initio qualitative and quantitative description has remained elusive, preventing the exploration of fascinating questions such as how deep below the surface the s…
▽ More
Second harmonic generation (SHG) is forbidden in centrosymmetric molecular materials. However, a signal is frequently observed from interfaces where the symmetry is broken. Whereas the effect can be phenomenologically accommodated, an ab initio qualitative and quantitative description has remained elusive, preventing the exploration of fascinating questions such as how deep below the surface the second harmonic can still be generated. To answer such questions, we present an ab initio multiscale approach to compute the total and layer-dependent intensity of surface SHG from molecular crystals. The microscopic origin of surface SHG is identified in layer-dependent models with embedding partial charges combined with density functional theory. The models show increasing symmetry-breaking distortions of the electron cloud around the molecules as the surface layer is approached. The SHG at the molecular level is determined using time-dependent density functional theory and then brought to the scale of macroscopic films through a rigorous self-consistent multiple scattering formalism capable of predicting the measurable optical intensities of the generated second harmonic signal. We study crystalline molecular films with centrosymmetric unit cells of 7,9-Dibromobenzo[h]quinolin-10-ol. The intensity of the SHG at the surface layer is two orders of magnitude larger than at the next layer below and three orders of magnitude larger than two layers below. Besides providing fundamental understanding, our approach can be used for designing and optimizing optical devices containing nonlinear molecular materials, such as molecular laminates. We show that a relatively basic Kretschmann-like setup can enhance the surface SHG of a crystalline film of centrosymmetric molecular unit cells a thousand times.
△ Less
Submitted 11 January, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Block Backstep** for Isotachic Hyperbolic PDEs and Multilayer Timoshenko Beams
Authors:
Guangwei Chen,
Rafael Vazquez,
Junfei Qiao,
Miroslav Krstic
Abstract:
In this paper, we investigate the rapid stabilization of N-layer Timoshenko composite beams with anti-dam** and anti-stiffness at the uncontrolled boundaries. The problem of stabilization for a two-layer composite beam has been previously studied by transforming the model into a 1-D hyperbolic PIDE-ODE form and then applying backstep** to this new system. In principle this approach is generali…
▽ More
In this paper, we investigate the rapid stabilization of N-layer Timoshenko composite beams with anti-dam** and anti-stiffness at the uncontrolled boundaries. The problem of stabilization for a two-layer composite beam has been previously studied by transforming the model into a 1-D hyperbolic PIDE-ODE form and then applying backstep** to this new system. In principle this approach is generalizable to any number of layers. However, when some of the layers have the same physical properties (as e.g. in lamination of repeated layers), the approach leads to isotachic hyperbolic PDEs (i.e. where some states have the same transport speed). This particular yet physical and interesting case has not received much attention beyond a few remarks in the early hyperbolic design. Thus, this work starts by extending the theory of backstep** control of (m + n) hyperbolic PIDEs and m ODEs to blocks of isotachic states, leading to a block backstep** design. Then, returning to multilayer Timoshenko beams, the Riemann transformation is used to transform the states of N-layer Timoshenko beams into a 1-D hyperbolic PIDE-ODE system. The block backstep** method is then applied to this model, obtaining closed-loop stability of the origin in the L2 sense. An arbitrarily rapid convergence rate can be obtained by adjusting control parameters. Finally, numerical simulations are presented corroborating the theoretical developments.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Event-Triggered Control of Neuron Growth with Actuation at Soma
Authors:
Cenk Demir,
Shumon Koga,
Miroslav Krstic
Abstract:
We introduce a dynamic event-triggering mechanism for regulating the axonal growth of a neuron. We apply boundary actuation at the soma (the part of a neuron that contains the nucleus) and regulate the dynamics of tubulin concentration and axon length. The control law is formulated by applying a Zero-Order Hold (ZOH) to a continuous-time controller which guides the axon to reach the desired length…
▽ More
We introduce a dynamic event-triggering mechanism for regulating the axonal growth of a neuron. We apply boundary actuation at the soma (the part of a neuron that contains the nucleus) and regulate the dynamics of tubulin concentration and axon length. The control law is formulated by applying a Zero-Order Hold (ZOH) to a continuous-time controller which guides the axon to reach the desired length. The proposed dynamic event-triggering mechanism determines the specific time instants at which control inputs are sampled from the continuous-time control law. We establish the existence of a minimum dwell-time between two triggering times that ensures avoidance of Zeno behavior. Through employing the Lyapunov analysis with PDE backstep**, we prove the local stability of the closed-loop system in $L_2$-norm, initially for the target system, and subsequently for the original system. The effectiveness of the proposed method is showcased through numerical simulations.
△ Less
Submitted 18 March, 2024; v1 submitted 29 September, 2023;
originally announced October 2023.
-
Semi-Global Practical Extremum Seeking with Practical Safety
Authors:
Alan Williams,
Miroslav Krstic,
Alexander Scheinker
Abstract:
We introduce a type of safe extremum seeking (ES) controller, which minimizes an unknown objective function while also maintaining practical positivity of an unknown barrier function. We show semi-global practical asymptotic stability of our algorithm and present an analogous notion of practical safety. The dynamics of the controller are inspired by the quadratic program (QP) based safety filter d…
▽ More
We introduce a type of safe extremum seeking (ES) controller, which minimizes an unknown objective function while also maintaining practical positivity of an unknown barrier function. We show semi-global practical asymptotic stability of our algorithm and present an analogous notion of practical safety. The dynamics of the controller are inspired by the quadratic program (QP) based safety filter designs which, in the literature, are more commonly used in cases where the barrier function is known. Conditions on the barrier and objective function are explored showing that non convex problems can be solved. A Lyapunov argument is proposed to achieve the main results of the paper. Finally, an example is given of the algorithm which solves the constrained optimization problem.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
A digital twin for a chiral sensing platform
Authors:
Markus Nyman,
Xavier Garcia-Santiago,
Marjan Krstić,
Lukas Materne,
Ivan Fernandez-Corbaton,
Christof Holzer,
Philip Scott,
Martin Wegener,
Willem Klopper,
Carsten Rockstuhl
Abstract:
Nanophotonic concepts can improve many measurement techniques by enhancing and tailoring the light-matter interaction. However, the optical response of devices that implement such techniques can be intricate, depending on the sample under investigation. That combination of a promise and a challenge makes nanophotonics a ripe field for applying the concept of a digital twin: a digital representatio…
▽ More
Nanophotonic concepts can improve many measurement techniques by enhancing and tailoring the light-matter interaction. However, the optical response of devices that implement such techniques can be intricate, depending on the sample under investigation. That combination of a promise and a challenge makes nanophotonics a ripe field for applying the concept of a digital twin: a digital representation of an entire real-world device. In this work, we detail the concept of a digital twin with the example of a nanophotonically-enhanced chiral sensing platform. In that platform, helicity-preserving cavities with diffractive mirrors enhance the light-matter interaction between chiral molecules and circularly polarized light, allowing a faster measurement of the circular dichroism of the molecules. However, the sheer presence of the molecules affects the cavity's functionality, demanding a holistic treatment to understand the device's performance. In our digital twin, optical and quantum chemistry simulations are fused to provide a comprehensive description of the device with the molecules across all length scales and predict the circular dichroism spectrum of the device containing molecules to be sensed. Performing simulations in lockstep with the experiment will allow a clear interpretation of the results of complex measurements. We also demonstrate how to design a cavity-enhanced circular dichroism spectrometer by utilizing our digital twin. The digital twin can be used to guide experiments and analyze results, and its underlying concept can be translated to many other optical experiments.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Safe Adaptive Control of Hyperbolic PDE-ODE Cascades
Authors:
Ji Wang,
Miroslav Krstic
Abstract:
Adaptive safe control employing conventional continuous infinite-time adaptation requires that the initial conditions be restricted to a subset of the safe set due to parametric uncertainty, where the safe set is shrunk in inverse proportion to the adaptation gain. The recent regulation-triggered adaptive control approach with batch least-squares identification (BaLSI, pronounced "ballsy") complet…
▽ More
Adaptive safe control employing conventional continuous infinite-time adaptation requires that the initial conditions be restricted to a subset of the safe set due to parametric uncertainty, where the safe set is shrunk in inverse proportion to the adaptation gain. The recent regulation-triggered adaptive control approach with batch least-squares identification (BaLSI, pronounced "ballsy") completes perfect parameter identification in finite time and offers a previously unforeseen advantage in adaptive safe control, which we elucidate in this paper. Since the true challenge of safe control is exhibited for CBF of a high relative degree, we undertake a safe BaLSI design in this paper for a class of systems that possess a particularly extreme relative degree: ODE-PDE-ODE sandwich systems. Such sandwich systems arise in various applications, including delivery UAVs (Unmanned Aerial Vehicles) with a cable-suspended load. Collision avoidance of the payload with the surrounding environment is required. The considered class of plants is $2\times2$ hyperbolic PDEs sandwiched by a strict-feedback nonlinear ODE and a linear ODE, where the unknown coefficients, whose bounds are known and arbitrary, are associated with the PDE in-domain coupling terms that can cause instability and with the input signal of the distal ODE. This is the first safe adaptive control design for PDEs, where we introduce the concept of PDE CBF whose non-negativity, as well as the ODE CBF's non-negativity, are ensured with a backstep**-based safety filter. Our safe adaptive controller is explicit and operates in the entire original safe set.
△ Less
Submitted 25 June, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
A Multi-Scale Approach to Simulate the Nonlinear Optical Response of Molecular Nanomaterials
Authors:
Benedikt Zerulla,
Dominik Beutel,
Christof Holzer,
Ivan Fernandez-Corbaton,
Carsten Rockstuhl,
Marjan Krstić
Abstract:
Nonlinear optics is essential for many recent photonic technologies. Here, we introduce a novel multi-scale approach to simulate the nonlinear optical response of molecular nanomaterials combining ab initio quantum-chemical and classical Maxwell-scattering computations. In this approach, the first hyperpolarizability tensor is computed with time-dependent density-functional theory and translated i…
▽ More
Nonlinear optics is essential for many recent photonic technologies. Here, we introduce a novel multi-scale approach to simulate the nonlinear optical response of molecular nanomaterials combining ab initio quantum-chemical and classical Maxwell-scattering computations. In this approach, the first hyperpolarizability tensor is computed with time-dependent density-functional theory and translated into a multi-scattering formalism that considers the optical interaction between neighboring molecules. A novel object is introduce to perform this transition from quantum-chemistry to classical scattering theory: the Hyper-Transition(T)-matrix. With this object at hand, the nonlinear optical response from single molecules and also from entire photonic devices can be computed, incorporating the full tensorial and dispersive nature of the optical response of the molecules. To demonstrate the applicability of our novel approach, the generation of a second-harmonic signal from a thin film of a Urea molecular crystal is computed and compared to more traditional simulations. Furthermore, an optical cavity is designed, which enhances the second-harmonic response of the molecular film by more than two orders of magnitude. Our approach is highly versatile and accurate and can be the working horse for the future exploration of nonlinear photonic molecular materials in structured photonic environments.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Experimental Safe Extremum Seeking for Accelerators
Authors:
Alan Williams,
Alexander Scheinker,
En-Chuan Huang,
Charles Taylor,
Miroslav Krstic
Abstract:
We demonstrate the recent designs of Safe Extremum Seeking (Safe ES) on the 1 kilometer-long charged particle accelerator at the Los Alamos Neutron Science Center (LANSCE). Safe ES is a modification of ES which, in addition to minimizing an analytically unknown cost, also employs a safety filter based on an analytically unknown control barrier function (CBF) safety metric. Accelerator tuning is ne…
▽ More
We demonstrate the recent designs of Safe Extremum Seeking (Safe ES) on the 1 kilometer-long charged particle accelerator at the Los Alamos Neutron Science Center (LANSCE). Safe ES is a modification of ES which, in addition to minimizing an analytically unknown cost, also employs a safety filter based on an analytically unknown control barrier function (CBF) safety metric. Accelerator tuning is necessitated by the accelerators being large, with many drifting parameters due to thermal effects and degradation. At the same time, safe operation (the maintenance of state constraints) is crucial, as damage brings astronomical costs, both financially and in operation downtime. Our measured (but analytically unknown) safety metric is the beam current. We perform multivariable Safe ES on three accelerator applications, in which we adapt 4, 6, and 3 magnet strength parameters, respectively. Two of the three applications are for validated simulation models of beamlines at LANSCE: the first for the Proton Radiography (pRad) beamline of 800 MeV protons for spot size tuning; the second on a high performance code, HPSim, for tuning the low energy beam transport (LEBT) region of of 750 keV protons. The third is an experimental tuning of the steering magnets in the LEBT at LANSCE.
△ Less
Submitted 29 August, 2023;
originally announced August 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.
-
Ensembles of Hyperbolic PDEs: Stabilization by Backstep**
Authors:
Valentin Alleaume,
Miroslav Krstic
Abstract:
For the quite extensively developed PDE backstep** methodology for coupled linear hyperbolic PDEs, we provide a generalization from finite collections of such PDEs, whose states at each location in space are vector-valued, to previously unstudied infinite (continuum) ensembles of such hyperbolic PDEs, whose states are function-valued. The motivation for studying such systems comes from traffic a…
▽ More
For the quite extensively developed PDE backstep** methodology for coupled linear hyperbolic PDEs, we provide a generalization from finite collections of such PDEs, whose states at each location in space are vector-valued, to previously unstudied infinite (continuum) ensembles of such hyperbolic PDEs, whose states are function-valued. The motivation for studying such systems comes from traffic applications (where driver and vehicle characteristics are continuously parametrized), fluid and structural applications, and future applications in population dynamics, including epidemiology. Our design is of an exponentially stabilizing scalar-valued control law for a PDE system in two independent dimensions, one spatial dimension and one ensemble dimension. In the process of generalizing PDE backstep** from finite to infinite collections of PDE systems, we generalize the results for PDE backstep** kernels to the continuously parametrized Goursat-form PDEs that govern such continuously parametrized kernels. The theory is illustrated with a simulation example, which is selected so that the kernels are explicitly solvable, to lend clarity and interpretability to the simulation results.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Newton Nonholonomic Source Seeking for Distance-Dependent Maps
Authors:
Velimir Todorovski,
Miroslav Krstic
Abstract:
The topics of source seeking and Newton-based extremum seeking have flourished, independently, but never combined. We present the first Newton-based source seeking algorithm. The algorithm employs forward velocity tuning, as in the very first source seeker for the unicycle, and incorporates an additional Riccati filter for inverting the Hessian inverse and feeding it into the demodulation signal.…
▽ More
The topics of source seeking and Newton-based extremum seeking have flourished, independently, but never combined. We present the first Newton-based source seeking algorithm. The algorithm employs forward velocity tuning, as in the very first source seeker for the unicycle, and incorporates an additional Riccati filter for inverting the Hessian inverse and feeding it into the demodulation signal. Using second-order Lie bracket averaging, we prove convergence to the source at a rate that is independent of the unknown Hessian of the map. The result is semiglobal and practical, for a map that is quadratic in the distance from the source. The paper presents a theory and simulations, which show advantage of the Newton-based over the gradient-based source seeking.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Neural Operators for PDE Backstep** Control of First-Order Hyperbolic PIDE with Recycle and Delay
Authors:
Jie Qi,
**g Zhang,
Miroslav Krstic
Abstract:
The recently introduced DeepONet operator-learning framework for PDE control is extended from the results for basic hyperbolic and parabolic PDEs to an advanced hyperbolic class that involves delays on both the state and the system output or input. The PDE backstep** design produces gain functions that are outputs of a nonlinear operator, map** functions on a spatial domain into functions on a…
▽ More
The recently introduced DeepONet operator-learning framework for PDE control is extended from the results for basic hyperbolic and parabolic PDEs to an advanced hyperbolic class that involves delays on both the state and the system output or input. The PDE backstep** design produces gain functions that are outputs of a nonlinear operator, map** functions on a spatial domain into functions on a spatial domain, and where this gain-generating operator's inputs are the PDE's coefficients. The operator is approximated with a DeepONet neural network to a degree of accuracy that is provably arbitrarily tight. Once we produce this approximation-theoretic result in infinite dimension, with it we establish stability in closed loop under feedback that employs approximate gains. In addition to supplying such results under full-state feedback, we also develop DeepONet-approximated observers and output-feedback laws and prove their own stabilizing properties under neural operator approximations. With numerical simulations we illustrate the theoretical results and quantify the numerical effort savings, which are of two orders of magnitude, thanks to replacing the numerical PDE solving with the DeepONet.
△ Less
Submitted 14 June, 2024; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Delay-Adaptive Control of First-order Hyperbolic PIDEs
Authors:
Shanshan Wang,
Jie Qi,
Miroslav Krstic
Abstract:
We develop a delay-adaptive controller for a class of first-order hyperbolic partial integro-differential equations (PIDEs) with an unknown input delay. By employing a transport PDE to represent delayed actuator states, the system is transformed into a transport partial differential equation (PDE) with unknown propagation speed cascaded with a PIDE. A parameter update law is designed using a Lyapu…
▽ More
We develop a delay-adaptive controller for a class of first-order hyperbolic partial integro-differential equations (PIDEs) with an unknown input delay. By employing a transport PDE to represent delayed actuator states, the system is transformed into a transport partial differential equation (PDE) with unknown propagation speed cascaded with a PIDE. A parameter update law is designed using a Lyapunov argument and the infinite-dimensional backstep** technique to establish global stability results. Furthermore, the well-posedness of the closed-loop system is analyzed. Finally, the effectiveness of the proposed method was validated through numerical simulations
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Fixed-time Stabilization with a Prescribed Constant Settling Time by Static Feedback for Delay-Free and Input Delay Systems
Authors:
Andrey Polyakov,
Miroslav Krstic
Abstract:
A static non-linear homogeneous feedback for a fixed-time stabilization of a linear time-invariant (LTI) system is designed in such a way that the settling time is assigned exactly to a prescribed constant for all nonzero initial conditions. The constant convergence time is achieved due to a dependence of the feedback gain of the initial state of the system. The robustness of the closed-loop syste…
▽ More
A static non-linear homogeneous feedback for a fixed-time stabilization of a linear time-invariant (LTI) system is designed in such a way that the settling time is assigned exactly to a prescribed constant for all nonzero initial conditions. The constant convergence time is achieved due to a dependence of the feedback gain of the initial state of the system. The robustness of the closed-loop system with respect to measurement noises and exogenous perturbations is studied using the concept of Input-to-State Stability (ISS). Both delay-free and input delay systems are studied. Theoretical results are illustrated by numerical simulations.
△ Less
Submitted 4 July, 2023;
originally announced July 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.
-
Stabilization and Spill-Free Transfer of Viscous Liquid in a Tank
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
Flow control occupies a special place in the fields of partial differential equations (PDEs) and control theory, where the complex behavior of solutions of nonlinear dynamics in very high dimension is not just to be understood but also to be assigned specific desired properties, by feedback control. Among several benchmark problems in flow control, the liquid-tank problem is particularly attractiv…
▽ More
Flow control occupies a special place in the fields of partial differential equations (PDEs) and control theory, where the complex behavior of solutions of nonlinear dynamics in very high dimension is not just to be understood but also to be assigned specific desired properties, by feedback control. Among several benchmark problems in flow control, the liquid-tank problem is particularly attractive as a research topic. In the liquid-tank problem the objective is to move a tank filled with liquid, suppress the nonlinear oscillations of the liquid in the process, bring the tank and liquid to rest, and avoid liquid spillage in the process. In other words, this is a problem of nonlinear PDE stabilization subject to state constraints.
This review article focuses only on recent results on liquid-tank stabilization for viscous liquids. All possible cases are studied: with and without friction from the tank walls, with and without surface tension. Moreover, novel results are provided for the linearization of the tank-liquid system. The linearization of the tank-liquid system gives a high-order PDE which is a combination of a wave equation with Kelvin-Voigt dam** and an Euler-Bernoulli beam equation.
The feedback design methodology presented in the article is based on Control Lyapunov Functionals (CLFs), suitably extended from the CLF methodology for ODEs to the infinite-dimensional case. The CLFs proposed are modifications and augmentations of the total energy functionals for the tank-liquid system, so that the dissipative effects of viscosity, friction, and surface tension are captured and additional dissipation by feedback is made relatively easy.
The article closes with an extensive list of open problems.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Homogeneous Control Systems on Cones and Nonovershooting Finite-time Stabilizers
Authors:
Andrey Polyakov,
Miroslav Krstic
Abstract:
A nonovershooting finite-time control design for linear multi-input system is proposed by upgrading a linear (asymptotic) nonovershooting stabilizer to a homogeneous one. Robustness of the safety and stability properties is analyzed using the concept of Input-to-State Stability (ISS) on invariant sets and Input-to-State Safety (ISSf). Theoretical results are illustrated on numerical examples.
A nonovershooting finite-time control design for linear multi-input system is proposed by upgrading a linear (asymptotic) nonovershooting stabilizer to a homogeneous one. Robustness of the safety and stability properties is analyzed using the concept of Input-to-State Stability (ISS) on invariant sets and Input-to-State Safety (ISSf). Theoretical results are illustrated on numerical examples.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
On Disturbance-to-State Adaptive Stabilization without Parameter Bound by Nonlinear Feedback of Delayed State and Input
Authors:
Iasson Karafyllis,
Miroslav Krstic,
Alexandros Aslanidis
Abstract:
We complete the first step towards the resolution of several decades-old challenges in disturbance-robust adaptive control. For a scalar linear system with an unknown parameter for which no a priori bound is given, with a disturbance that is of unlimited magnitude and possibly persistent (not square integrable), and without a persistency of excitation necessarily verified by the state, we consider…
▽ More
We complete the first step towards the resolution of several decades-old challenges in disturbance-robust adaptive control. For a scalar linear system with an unknown parameter for which no a priori bound is given, with a disturbance that is of unlimited magnitude and possibly persistent (not square integrable), and without a persistency of excitation necessarily verified by the state, we consider the problems of (practical) gain assignment relative to the disturbance. We provide a solution to these heretofore unsolved feedback design problems with the aid of infinite-dimensional nonlinear feedback employing distributed delay of the state and input itself. Specifically, in addition to (0) the global boundedness of the infinite-dimensional state of the closed-loop system when the disturbance is present, we establish (1) practical input-to-output stability with assignable asymptotic gain from the disturbance to the plant state; (2) assignable exponential convergence rate; and (3) assignable radius of the residual set. The accompanying identifier in our adaptive controller guarantees (4) boundedness of the parameter estimate even when disturbances are present; (5) an ultimate estimation error which is proportional to the magnitude of the disturbance with assignable gain when there exists sufficient excitation of the state; and (6) exact parameter estimation in finite-time when the disturbance is absent and there is sufficient excitation. Among our results, one reveals a tradeoff between "learning capacity" and "disturbance robustness:" the less sensitive the identifier is to the disturbance, the less likely it is to learn the parameter.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.