Showing 1–50 of 194 results for author: Krstic, M

Deception in Oligopoly Games via Adaptive Nash Seeking Systems

Authors: Michael Tang, Miroslav Krstic, Jorge Poveda

Abstract: In the theory of multi-agent systems, deception refers to the strategic manipulation of information to influence the behavior of other agents, ultimately altering the long-term dynamics of the entire system. Recently, this concept has been examined in the context of model-free Nash equilibrium seeking (NES) algorithms for noncooperative games. Specifically, it was demonstrated that players can exp… ▽ More In the theory of multi-agent systems, deception refers to the strategic manipulation of information to influence the behavior of other agents, ultimately altering the long-term dynamics of the entire system. Recently, this concept has been examined in the context of model-free Nash equilibrium seeking (NES) algorithms for noncooperative games. Specifically, it was demonstrated that players can exploit knowledge of other players' exploration signals to drive the system toward a ``deceptive" Nash equilibrium, while maintaining the stability of the closed-loop system. To extend this insight beyond the duopoly case, in this paper we conduct a comprehensive study of deception mechanisms in N-player oligopoly markets. By leveraging the structure of these games and employing stability techniques for nonlinear dynamical systems, we provide game-theoretic insights into deception and derive specialized results, including stability conditions. These results allow players to systematically adjust their NES dynamics by tuning gains and signal amplitudes, all while ensuring closed-loop stability. Additionally, we introduce novel sufficient conditions to demonstrate that the (practically) stable equilibrium point of the deceptive dynamics corresponds to a true Nash equilibrium of a different game, which we term the ``deceptive game." Our results show that, under the proposed adaptive dynamics with deception, a victim firm may develop a distorted perception of its competitors' product appeal, which could lead to setting suboptimal prices. △ Less

Submitted 29 May, 2025; originally announced May 2025.

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

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

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

Submitted 21 May, 2025; originally announced May 2025.

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

Boundary Stabilization of Quasilinear Parabolic PDEs that Blow Up in Open Loop for Arbitrarily Small Initial Conditions

Authors: M C Belhadjoudja, M Maghenem, E Witrant, M Krstic

Abstract: We propose a novel framework for stabilization, with an estimate of the region of attraction, of quasilinear parabolic partial differential equations (PDEs) that exhibit finite-time blow-up phenomena when null boundary inputs are imposed. Using Neumann-type boundary controllers, which are cubic polynomials in boundary measurements, we ensure L2 exponential stability of the origin with an estimate… ▽ More We propose a novel framework for stabilization, with an estimate of the region of attraction, of quasilinear parabolic partial differential equations (PDEs) that exhibit finite-time blow-up phenomena when null boundary inputs are imposed. Using Neumann-type boundary controllers, which are cubic polynomials in boundary measurements, we ensure L2 exponential stability of the origin with an estimate of the region of attraction, boundedness and exponential decay towards zero of the state's max norm, well-posedness, as well as positivity of solutions starting from positive initial conditions. Unlike existing methods, our approach handles nonlinear state-dependent diffusion, convection, and reaction terms. In many cases, our estimate of the size of the region of attraction is shown to expand unboundedly as diffusion increases. Our controllers can be implemented as Neumann, Dirichlet, or mixed-type boundary conditions. Numerical simulations validate the effectiveness of our approach in preventing finite-time blow up. △ Less

Submitted 19 May, 2025; v1 submitted 16 May, 2025; originally announced May 2025.

Comments: Submitted to the 2025 IEEE Conference on Decision and Control (CDC'25)

Predicting the optical properties of organometallic nanoparticles with a scale-bridging method: The importance of the embedding

Authors: Mariia Poleva, Benedikt Zerulla, Christof Holzer, Vlasta Bonačić-Koutecký, Anna Pniakowska, Joanna Olesiak-Banska, Rodolphe Antoine, Ivan Fernandez-Corbaton, Carsten Rockstuhl, Marjan Krstić

Abstract: It remains a prime question of how to describe the optical properties of large molecular clusters accurately. Quantum chemical methods capture essential electronic details but are infeasible for entire clusters, while optical simulations handle cluster-scale effects but miss crucial quantum effects. To overcome such limitations, we apply here a multi-scale modeling approach, combining precise quan… ▽ More It remains a prime question of how to describe the optical properties of large molecular clusters accurately. Quantum chemical methods capture essential electronic details but are infeasible for entire clusters, while optical simulations handle cluster-scale effects but miss crucial quantum effects. To overcome such limitations, we apply here a multi-scale modeling approach, combining precise quantum chemistry calculations with Maxwell scattering simulations, to study the linear and nonlinear optical response of finite-size supramolecular gold-cysteine nanoparticles dispersed in water. In this approach, every molecular unit that forms the cluster is represented by a polarizability and a hyperpolarizability, and the overall response is obtained from solving an optical multiple scattering problem. We particularly demonstrate how important it is to accurately consider the environment of the individual molecular units when computing their polarizability and hyperpolarizability. In our quantum chemical simulations, we do so at the level of a static partial charge field that represents the presence of other molecular units. Without correctly considering these effects of the embedding, predictions would deviate from experimental observations even qualitatively. Our findings pave the way for more accurate predictions of the optical response of complex molecular systems, which is crucial for advancing applications in nanophotonics, biosensing, and molecular optoelectronics. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Distributed Event-Triggered Nash Equilibrium Seeking for Noncooperative Games

Authors: Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic, Tamer Basar

Abstract: We propose locally convergent Nash equilibrium seeking algorithms for $N$-player noncooperative games, which use distributed event-triggered pseudo-gradient estimates. The proposed approach employs sinusoidal perturbations to estimate the pseudo-gradients of unknown quadratic payoff functions. This is the first instance of noncooperative games being tackled in a model-free fashion with event-trigg… ▽ More We propose locally convergent Nash equilibrium seeking algorithms for $N$-player noncooperative games, which use distributed event-triggered pseudo-gradient estimates. The proposed approach employs sinusoidal perturbations to estimate the pseudo-gradients of unknown quadratic payoff functions. This is the first instance of noncooperative games being tackled in a model-free fashion with event-triggered extremum seeking. Each player evaluates independently the deviation between the corresponding current pseudo-gradient estimate and its last broadcasted value from the event-triggering mechanism to tune individually the player action, while they preserve collectively the closed-loop stability/convergence. We guarantee Zeno behavior avoidance by establishing a minimum dwell-time to avoid infinitely fast switching. In particular, the stability analysis is carried out using Lyapunov's method and averaging for systems with discontinuous right-hand sides. We quantify the size of the ultimate small residual sets around the Nash equilibrium and illustrate the theoretical results numerically on an oligopoly setting. △ Less

Submitted 10 May, 2025; originally announced May 2025.

Studying thermal radiation with T-matrices

Authors: Juan Diego Mazo-Vásquez, Markus Nyman, Marjan Krstić, Lukas Rebholz, Carsten Rockstuhl, Ivan Fernandez-Corbaton

Abstract: We introduce a basic formalism for computing thermal radiation by combining Waterman's T-matrix method with an algebraic approach to light-matter interactions. The formalism applies to nano-particles, clusters thereof, and also molecules. In exemplary applications, we explore how a chiral structure can induce an imbalance in the circular polarization of thermal radiation. While the imbalance is ra… ▽ More We introduce a basic formalism for computing thermal radiation by combining Waterman's T-matrix method with an algebraic approach to light-matter interactions. The formalism applies to nano-particles, clusters thereof, and also molecules. In exemplary applications, we explore how a chiral structure can induce an imbalance in the circular polarization of thermal radiation. While the imbalance is rather small for a chiral molecule such as R-BINOL, a much larger imbalance is observed for an optimized silver helix of approximately 200 nm in size. Besides the directional Kirchhoff law used in this article, the formalism is suitable for implementing more nuanced theories, and it provides a straightforward path to the computation of thermal radiation spectra of astronomical objects moving at relativistic speeds with respect to the measurement devices. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: 14 pages and 4 figures

Extremum Seeking Control for Multivariable Maps under Actuator Saturation

Authors: Enzo Ferreira Tomaz Silva, Pedro Henrique Silva Coutinho, Tiago Roux Oliveira, Miroslav Krstić

Abstract: This paper deals with the gradient-based extremum seeking control for multivariable maps under actuator saturation. By exploiting a polytopic embedding of the unknown Hessian, we derive a LMI-based synthesis condition to ensure that the origin of the average closed-loop error system is exponentially stable. Then, the convergence of the extremum seeking control system under actuator saturation to t… ▽ More This paper deals with the gradient-based extremum seeking control for multivariable maps under actuator saturation. By exploiting a polytopic embedding of the unknown Hessian, we derive a LMI-based synthesis condition to ensure that the origin of the average closed-loop error system is exponentially stable. Then, the convergence of the extremum seeking control system under actuator saturation to the unknown optimal point is proved by employing Lyapunov stability and averaging theories. Numerical simulations illustrate the efficacy of the proposed approach. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: 7 pages, 2 figures. arXiv admin note: text overlap with arXiv:2504.07251

Event-Triggered Source Seeking Control for Nonholonomic Systems

Authors: Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic

Abstract: This paper introduces an event-triggered source seeking control (ET-SSC) for autonomous vehicles modeled as the nonholonomic unicycle. The classical source seeking control is enhanced with static-triggering conditions to enable aperiodic and less frequent updates of the system's input signals, offering a resource-aware control design. Our convergence analysis is based on time-scaling combined with… ▽ More This paper introduces an event-triggered source seeking control (ET-SSC) for autonomous vehicles modeled as the nonholonomic unicycle. The classical source seeking control is enhanced with static-triggering conditions to enable aperiodic and less frequent updates of the system's input signals, offering a resource-aware control design. Our convergence analysis is based on time-scaling combined with Lyapunov and averaging theories for systems with discontinuous right-hand sides. ET-SSC ensures exponentially stable behavior for the resulting average system, leading to practical asymptotic convergence to a small neighborhood of the source point. We guarantee the avoidance of Zeno behavior by establishing a minimum dwell time to prevent infinitely fast switching. The performance optimization is aligned with classical continuous-time source seeking algorithms while balancing system performance with actuation resource consumption. Our ET-SSC algorithm, the first of its kind, allows for arbitrarily large inter-sampling times, overcoming the limitations of classical sampled-data implementations for source seeking control. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Comments: 9 pages, 4 figures

Extremum Seeking Boundary Control for Euler-Bernoulli Beam PDEs

Authors: Paulo H. F. Biazetto, Gustavo A. de Andrade, Tiago Roux Oliveira, Miroslav Krstic

Abstract: This paper presents the design and analysis of an extremum seeking (ES) controller for scalar static maps in the context of infinite-dimensional dynamics governed by the 1D Euler-Bernoulli (EB) beam Partial Differential Equation (PDE). The beam is actuated at one end (using position and moment actuators). The map's input is the displacement at the beam's uncontrolled end, which is subject to a sli… ▽ More This paper presents the design and analysis of an extremum seeking (ES) controller for scalar static maps in the context of infinite-dimensional dynamics governed by the 1D Euler-Bernoulli (EB) beam Partial Differential Equation (PDE). The beam is actuated at one end (using position and moment actuators). The map's input is the displacement at the beam's uncontrolled end, which is subject to a sliding boundary condition. Notably, ES for this class of PDEs remains unexplored in the existing literature. To compensate for PDE actuation dynamics, we employ a boundary control law via a backstepping transformation and averaging-based estimates for the gradient and Hessian of the static map to be optimized. This compensation controller leverages a Schrödinger equation representation of the EB beam and adapts existing backstepping designs to stabilize the beam. Using the semigroup and averaging theory in infinite dimensions, we prove local exponential convergence to a small neighborhood of the unknown optimal point. Finally, simulations illustrate the effectiveness of the design in optimizing the unknown static map. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Multivariable Extremum Seeking Unit-Vector Control Design

Authors: Enzo Ferreira Tomaz Silva, Pedro Henrique Silva Coutinho, Tiago Roux Oliveira, Miroslav Krstić

Abstract: This paper investigates multivariable extremum seeking using unit-vector control. By employing the gradient algorithm and a polytopic embedding of the unknown Hessian matrix, we establish sufficient conditions, expressed as linear matrix inequalities, for designing the unit-vector control gain that ensures finite-time stability of the origin of the average closed-loop error system. Notably, these… ▽ More This paper investigates multivariable extremum seeking using unit-vector control. By employing the gradient algorithm and a polytopic embedding of the unknown Hessian matrix, we establish sufficient conditions, expressed as linear matrix inequalities, for designing the unit-vector control gain that ensures finite-time stability of the origin of the average closed-loop error system. Notably, these conditions enable the design of non-diagonal control gains, which provide extra degrees of freedom to the solution. The convergence of the actual closed-loop system to a neighborhood of the unknown extremum point is rigorously proven through averaging analysis for systems with discontinuous right-hand sides. Numerical simulations illustrate the efficacy of the proposed extremum seeking control algorithm. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: 7 pages, 2 figures

All-Optical High-speed Programmable Nonlinear Activation Functions using a Fabry-Perot Laser

Authors: Mladen Banović, Petar Atanasijević, Antonios Prapas, Christos Pappas, Jasna Crnjanski, Apostolos Tsakyridis, Miltiadis Moralis-Pegios, Konstantinos Vyrsokinos, Milanka Lović, Nina Zdravković, Milena Mićić, Marko Krstić, Slobodan Petričević, Nikos Pleros, Dejan Gvozdić

Abstract: The threads of photonics are eagerly awaited to redefine the future of neuromorphic data processing, especially as the computing-intensive artificial intelligence models become an unavoidable part of our everyday lives. Still, there is much to be improved within the domain of photonic nonlinear activation functions, as the programmable, all-optical, energy-efficient nonlinearities remain beyond th… ▽ More The threads of photonics are eagerly awaited to redefine the future of neuromorphic data processing, especially as the computing-intensive artificial intelligence models become an unavoidable part of our everyday lives. Still, there is much to be improved within the domain of photonic nonlinear activation functions, as the programmable, all-optical, energy-efficient nonlinearities remain beyond the grasp of today's state of the art. In this paper, we address the issue at hand and propose a novel approach in the realization of high-performing all-optical photonic activations. Through simulations and experiments, we show that Fabry-Perot laser diodes (FP-LDs) exhibit richness and high programmability of their nonlinear response to input optical pulses with widths as low as 25 ps. We demonstrate a variety of sigmoid-like and inverted PReLU-like trends to be used as all-optical activation functions in photonic neural networks, testing their performance in stringent, real-life training scenarios with randomized data patterns at repetition rates up to 10 GHz. The programmability of activations is shown using a multitude of experimental operating parameters, among which we highlight the power variation of an additional continuous wave laser, injected into the FP-LD, enriching our approach with all-optical control of all-optical activations. With very low static power consumption of our active element, we achieve a record-breaking energy draw on the order of pJ to hundreds of fJ per nonlinear operation. △ Less

Submitted 27 March, 2025; originally announced March 2025.

$q$-numerical radius of rank-one operators and the generalized Buzano inequality

Authors: Dušan Denčić, Hranislav Stanković, Mihailo Krstić, Ivan Damnjanović

Abstract: Here, we study the $q$-numerical radius of rank-one operators on a Hilbert space $\mathcal{H}$. More precisely, for $q \in [0,1]$ and $a, b \in \mathcal{H}$, we establish the formula \[ ω_q(a \otimes b) = \frac{1}{2}\left(\|a\|\|b\| + q|\langle a, b \rangle| + \sqrt{1-q^2}\sqrt{\|a\|^2\|b\|^2 - |\langle a, b \rangle|^2}\right), \] which represents a generalization of the well-known formula for the… ▽ More Here, we study the $q$-numerical radius of rank-one operators on a Hilbert space $\mathcal{H}$. More precisely, for $q \in [0,1]$ and $a, b \in \mathcal{H}$, we establish the formula \[ ω_q(a \otimes b) = \frac{1}{2}\left(\|a\|\|b\| + q|\langle a, b \rangle| + \sqrt{1-q^2}\sqrt{\|a\|^2\|b\|^2 - |\langle a, b \rangle|^2}\right), \] which represents a generalization of the well-known formula for the numerical radius of a rank-one operator in a Hilbert space, obtained by setting $q = 1$. As a corollary, we also derive a generalization of the classical Buzano inequality. △ Less

Submitted 6 March, 2025; originally announced March 2025.

MSC Class: 47A12; 47A07; 47B99

Stochastic Real-Time Deception in Nash Equilibrium Seeking for Games with Quadratic Payoffs

Authors: Michael Tang, Miroslav Krstic, Jorge Poveda

Abstract: In multi-agent autonomous systems, deception is a fundamental concept which characterizes the exploitation of unbalanced information to mislead victims into choosing oblivious actions. This effectively alters the system's long term behavior, leading to outcomes that may be beneficial to the deceiver but detrimental to victim. We study this phenomenon for a class of model-free Nash equilibrium seek… ▽ More In multi-agent autonomous systems, deception is a fundamental concept which characterizes the exploitation of unbalanced information to mislead victims into choosing oblivious actions. This effectively alters the system's long term behavior, leading to outcomes that may be beneficial to the deceiver but detrimental to victim. We study this phenomenon for a class of model-free Nash equilibrium seeking (NES) where players implement independent stochastic exploration signals to learn the pseudogradient flow. In particular, we show that deceptive players who obtain real-time measurements of other players' stochastic perturbation can incorporate this information into their own NES action update, consequentially steering the overall dynamics to a new operating point that could potentially improve the payoffs of the deceptive players. We consider games with quadratic payoff functions, as this restriction allows us to derive a more explicit formulation of the capabilities of the deceptive players. By leveraging results on multi-input stochastic averaging for dynamical systems, we establish local exponential (in probability) convergence for the proposed deceptive NES dynamics. To illustrate our results, we apply them to a two player quadratic game. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Global Stabilization of Chemostats with Nonzero Mortality and Substrate Dynamics

Authors: Iasson Karafyllis, Epiphane Loko, Miroslav Krstic, Antoine Chaillet

Abstract: In "chemostat"-type population models that incorporate substrate (nutrient) dynamics, the dependence of the birth (or growth) rate on the substrate concentration introduces nonlinear coupling that creates a challenge for stabilization that is global, namely, for all positive concentrations of the biomass and nutrients. This challenge for global stabilization has been overcome in the literature usi… ▽ More In "chemostat"-type population models that incorporate substrate (nutrient) dynamics, the dependence of the birth (or growth) rate on the substrate concentration introduces nonlinear coupling that creates a challenge for stabilization that is global, namely, for all positive concentrations of the biomass and nutrients. This challenge for global stabilization has been overcome in the literature using relatively simple feedback when natural mortality of the biomass is absent. However, under natural mortality, it takes fortified, more complex feedback, outside of the existing nonlinear control design toolbox, to avoid biomass extinction from nutrient-depleted initial conditions. Such fortified feedback, the associated control Laypunov function design, and Lyapunov analysis of global stability are provided in this paper. We achieve global stabilization for two different chemostat models: (i) a lumped model, with two state variables, and (ii) a three-state model derived from an age-structured infinite-dimensional model. The proposed feedback stabilizers are explicit, applicable to both the lumped and the age-structured models, and coincide with simple feedback laws proposed in the literature when the mortality rate is zero. Global stabilization means subject to constraints: all positive biomass and nutrient concentrations are within the region of attraction of the desired equilibrium, and, additionally, this is achieved with a dilution input that is guaranteed to remain positive. For the lumped case with Haldane kinetics, we show that the reproduction rate dominating the mortality (excluding the reproduction and mortality being in balance) is not only sufficient but also necessary for global stabilization. The obtained results are illustrated with simple examples. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Prescribed-Time Newton Extremum Seeking using Delays and Time-Periodic Gains

Authors: Nicolas Espitia, Miroslav Krstic, Jorge I. Poveda

Abstract: We study prescribed-time extremum seeking (ES) for scalar maps in the presence of time delay. The problem has been solved by Yilmaz and Krstic using chirpy probing and time-varying singular gains. To alleviate the gain singularity, we present an alternative approach, employing delays with bounded time-periodic gains, for achieving prescribed-time convergence to the extremum. Our results are not ex… ▽ More We study prescribed-time extremum seeking (ES) for scalar maps in the presence of time delay. The problem has been solved by Yilmaz and Krstic using chirpy probing and time-varying singular gains. To alleviate the gain singularity, we present an alternative approach, employing delays with bounded time-periodic gains, for achieving prescribed-time convergence to the extremum. Our results are not extensions or refinements but a new methodological direction, even in the absence of the delay on the map. The main result we present compensates the map's delay and uses perturbation-based and the Newton (rather than gradient) approaches. The simultaneous presence of perturbation period, and two delays -- a map delay and a seeking feedback delay -- whose values are different (feedback delay must be longer than map delay), makes for an intricate situation in the design and analysis. ES can settle arbitrarily soon after four times the map delay. In the absence of a map delay, the settling time is arbitrarily short, with feedback delay chosen as one quarter of the prescribed settling time, i.e., the search settles after four times any positive feedback delay. In addition to removing the gain singularity of the Yilmaz-Krstic singular-gain prescribed-time ES, we go beyond that method's limitation to operating only up to the terminal time. With the help of averaging theorems in infinite dimension, we conduct a prescribed-time convergence analysis on a suitable perturbation-averaged \textit{target} ES system, which contains the time-periodic gains of the map and feedback delays. Since the notion of ``dead-beat'' Lyapunov stabilization by time-periodic delayed feedback originates from Hale and Verduyn-Lunel (analysis, 1993) and Karafyllis (feedback design, 2006), we refer to our approach to prescribed-time ES as the ``Karafyllis, Hale, Verduyn-Lunel" (KHV) PT-ES approach. △ Less

Submitted 8 February, 2025; originally announced February 2025.

Comments: 16 pages, 8 figures

Event-Triggered Newton-Based Extremum Seeking Control

Authors: Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic, Paulo Tabuada

Abstract: This paper proposes the incorporation of static event-triggered control in the actuation path of Newton-based extremum seeking and its comparison with the earlier gradient version. As in the continuous methods, the convergence rate of the gradient approach depends on the unknown Hessian of the nonlinear map to be optimized, whereas the proposed event-triggered Newton-based extremum seeking elimina… ▽ More This paper proposes the incorporation of static event-triggered control in the actuation path of Newton-based extremum seeking and its comparison with the earlier gradient version. As in the continuous methods, the convergence rate of the gradient approach depends on the unknown Hessian of the nonlinear map to be optimized, whereas the proposed event-triggered Newton-based extremum seeking eliminates this dependence, becoming user-assignable. This is achieved by means of a dynamic estimator for the Hessian's inverse, implemented as a Riccati equation filter. Lyapunov stability and averaging theory for discontinuous systems are applied to analyze the closed-loop system. Local exponential practical stability is guaranteed to a small neighborhood of the extremum point of scalar and static maps. Numerical simulations illustrate the advantages of the proposed approach over the previous gradient method, including improved convergence speed, followed by a reduction in the amplitude and updating frequency of the control signals. △ Less

Submitted 2 February, 2025; originally announced February 2025.

Comments: 9 pages, 3 figures

Lie-Bracket Nash Equilibrium Seeking with Bounded Update Rates for Noncooperative Games

Authors: Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic, Tamer Basar

Abstract: This paper proposes a novel approach for local convergence to Nash equilibrium in quadratic noncooperative games based on a distributed Lie-bracket extremum seeking control scheme. This is the first instance of noncooperative games being tackled in a model-free fashion integrated with the extremum seeking method of bounded update rates. In particular, the stability analysis is carried out using Li… ▽ More This paper proposes a novel approach for local convergence to Nash equilibrium in quadratic noncooperative games based on a distributed Lie-bracket extremum seeking control scheme. This is the first instance of noncooperative games being tackled in a model-free fashion integrated with the extremum seeking method of bounded update rates. In particular, the stability analysis is carried out using Lie-bracket approximation and Lyapunov's direct method. We quantify the size of the ultimate small residual sets around the Nash equilibrium and illustrate the theoretical results numerically on an example in an oligopoly setting. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Performance-Barrier Event-Triggered PDE Control of Traffic Flow

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

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

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

Fixed-Time Input-to-State Stability for Singularly Perturbed Systems via Composite Lyapunov Functions

Authors: Michael Tang, Miroslav Krstic, Jorge Poveda

Abstract: We study singularly perturbed systems that exhibit input-to-state stability (ISS) with fixed-time properties in the presence of bounded disturbances. In these systems, solutions converge to the origin within a time frame independent of initial conditions when undisturbed, and to a vicinity of the origin when subjected to bounded disturbances. First, we extend the traditional composite Lyapunov met… ▽ More We study singularly perturbed systems that exhibit input-to-state stability (ISS) with fixed-time properties in the presence of bounded disturbances. In these systems, solutions converge to the origin within a time frame independent of initial conditions when undisturbed, and to a vicinity of the origin when subjected to bounded disturbances. First, we extend the traditional composite Lyapunov method, commonly applied in singular perturbation theory to analyze asymptotic stability, to include fixed-time ISS. We demonstrate that if both the reduced system and the boundary layer system exhibit fixed-time ISS, and if certain interconnection conditions are met, the entire multi-time scale system retains this fixed-time ISS characteristic, provided the separation of time scales is sufficiently pronounced. Next, we illustrate our findings via analytical and numerical examples, including a novel application in fixed-time feedback optimization for dynamic plants with slowly varying cost functions. △ Less

Submitted 21 December, 2024; originally announced December 2024.

Neural Operator Feedback for a First-Order PIDE with Spatially-Varying State Delay

Authors: Jie Qi, Jiaqi Hu, Jing Zhang, Miroslav Krstic

Abstract: A transport PDE with a spatial integral and recirculation with constant delay has been a benchmark for neural operator approximations of PDE backstepping controllers. Introducing a spatially-varying delay into the model gives rise to a gain operator defined through integral equations which the operator's input -- the varying delay function -- enters in previously unencountered manners, including i… ▽ More A transport PDE with a spatial integral and recirculation with constant delay has been a benchmark for neural operator approximations of PDE backstepping controllers. Introducing a spatially-varying delay into the model gives rise to a gain operator defined through integral equations which the operator's input -- the varying delay function -- enters in previously unencountered manners, including in the limits of integration and as the inverse of the `delayED time' function. This, in turn, introduces novel mathematical challenges in estimating the operator's Lipschitz constant. The backstepping kernel function having two branches endows the feedback law with a two-branch structure, where only one of the two feedback branches depends on both of the kernel branches. For this rich feedback structure, we propose a neural operator approximation of such a two-branch feedback law and prove the approximator to be semiglobally practically stabilizing. With numerical results we illustrate the training of the neural operator and its stabilizing capability. △ Less

Submitted 14 December, 2024; v1 submitted 11 December, 2024; originally announced December 2024.

Comments: This 14 page paper contains 1 table and 20 figures

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

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

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

Submitted 4 December, 2024; originally announced December 2024.

Comments: Submitted to American Control Conference 2025

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems

Authors: Luke Bhan, Peijia Qin, Miroslav Krstic, Yuanyuan Shi

Abstract: Predictor feedback designs are critical for delay-compensating controllers in nonlinear systems. However, these designs are limited in practical applications as predictors cannot be directly implemented, but require numerical approximation schemes, which become computationally prohibitive when system dynamics are expensive to compute. To address this challenge, we recast the predictor design as an… ▽ More Predictor feedback designs are critical for delay-compensating controllers in nonlinear systems. However, these designs are limited in practical applications as predictors cannot be directly implemented, but require numerical approximation schemes, which become computationally prohibitive when system dynamics are expensive to compute. To address this challenge, we recast the predictor design as an operator learning problem, and learn the predictor mapping via a neural operator. We prove the existence of an arbitrarily accurate neural operator approximation of the predictor operator. Under the approximated predictor, we achieve semiglobal practical stability of the closed-loop nonlinear delay system. The estimate is semiglobal in a unique sense - one can enlarge the set of initial states as desired, though this increases the difficulty of training a neural operator, which appears practically in the stability estimate. Furthermore, our analysis holds for any black-box predictor satisfying the universal approximation error bound. We demonstrate the approach by controlling a 5-link robotic manipulator with different neural operator models, achieving significant speedups compared to classic predictor feedback schemes while maintaining closed-loop stability. △ Less

Submitted 2 June, 2025; v1 submitted 28 November, 2024; originally announced November 2024.

Comments: 26 pages. Learning for Dynamics and Control 2025

Extremum and Nash Equilibrium Seeking with Delays and PDEs: Designs & Applications

Authors: Tiago Roux Oliveira, Miroslav Krstić, Tamer Başar

Abstract: The development of extremum seeking (ES) has progressed, over the past hundred years, from static maps, to finite-dimensional dynamic systems, to networks of static and dynamic agents. Extensions from ODE dynamics to maps and agents that incorporate delays or even partial differential equations (PDEs) is the next natural step in that progression through ascending research challenges. This paper re… ▽ More The development of extremum seeking (ES) has progressed, over the past hundred years, from static maps, to finite-dimensional dynamic systems, to networks of static and dynamic agents. Extensions from ODE dynamics to maps and agents that incorporate delays or even partial differential equations (PDEs) is the next natural step in that progression through ascending research challenges. This paper reviews results on algorithm design and theory of ES for such infinite-dimensional systems. Both hyperbolic and parabolic dynamics are presented: delays or transport equations, heat-dominated equation, wave equations, and reaction-advection-diffusion equations. Nash equilibrium seeking (NES) methods are introduced for noncooperative game scenarios of the model-free kind and then specialized to single-agent optimization. Even heterogeneous PDE games, such as a duopoly with one parabolic and one hyperbolic agent, are considered. Several engineering applications are touched upon for illustration, including flow-traffic control for urban mobility, oil-drilling systems, deep-sea cable-actuated source seeking, additive manufacturing modeled by the Stefan PDE, biological reactors, light-source seeking with flexible-beam structures, and neuromuscular electrical stimulation. △ Less

Submitted 20 November, 2024; originally announced November 2024.

Comments: Preprint submitted to IEEE Control Systems Magazine (Special Issue: Into the Second Century of Extremum Seeking Control, 38 pages and 34 figures)

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control

Authors: Iasson Karafyllis, Miroslav Krstic

Abstract: Stability theory plays a crucial role in feedback control. However, adaptive control theory requires advanced and specialized stability notions that are not frequently used in standard feedback control theory. The present document is a set of notes for a graduate course. It describes the global stability notions needed in (robust) adaptive control and develops the mathematical tools that are used… ▽ More Stability theory plays a crucial role in feedback control. However, adaptive control theory requires advanced and specialized stability notions that are not frequently used in standard feedback control theory. The present document is a set of notes for a graduate course. It describes the global stability notions needed in (robust) adaptive control and develops the mathematical tools that are used for the proof of such stability properties. Moreover, the document shows why and how these global stability properties arise in adaptive control. We focus on stability properties for time-invariant systems. Consequently, tracking control problems are not covered by the present document. △ Less

Submitted 22 October, 2024; originally announced October 2024.

Comments: 48 pages, 4 figures

Backstepping for Partial Differential Equations

Authors: Rafael Vazquez, Jean Auriol, Federico Bribiesca-Argomedo, Miroslav Krstic

Abstract: Systems modeled by partial differential equations (PDEs) are at least as ubiquitous as systems that are by nature finite-dimensional and modeled by ordinary differential equations (ODEs). And yet, systematic and readily usable methodologies, for such a significant portion of real systems, have been historically scarce. Around the year 2000, the backstepping approach to PDE control began to offer n… ▽ More Systems modeled by partial differential equations (PDEs) are at least as ubiquitous as systems that are by nature finite-dimensional and modeled by ordinary differential equations (ODEs). And yet, systematic and readily usable methodologies, for such a significant portion of real systems, have been historically scarce. Around the year 2000, the backstepping approach to PDE control began to offer not only a less abstract alternative to PDE control techniques replicating optimal and spectrum assignment techniques of the 1960s, but also enabled the methodologies of adaptive and nonlinear control, matured in the 1980s and 1990s, to be extended from ODEs to PDEs, allowing feedback synthesis for physical and engineering systems that are uncertain, nonlinear, and infinite-dimensional. The PDE backstepping literature has grown in its nearly a quarter century of development to many hundreds of papers and nearly a dozen books. This survey aims to facilitate the entry, for a new researcher, into this thriving area of overwhelming size and topical diversity. Designs of controllers and observers, for parabolic, hyperbolic, and other classes of PDEs, in one and more dimensions (in box and spherical geometries), with nonlinear, adaptive, sampled-data, and event-triggered extensions, are covered in the survey. The lifeblood of control are technology and physics. The survey places a particular emphasis on applications that have motivated the development of the theory and which have benefited from the theory and designs: applications involving flows, flexible structures, materials, thermal and chemically reacting dynamics, energy (from oil drilling to batteries and magnetic confinement fusions), and vehicles. △ Less

Submitted 18 April, 2025; v1 submitted 19 October, 2024; originally announced October 2024.

Comments: Preprint submitted to Automatica, final submitted version

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

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

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

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

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

On Fixed-Time Stability for a Class of Singularly Perturbed Systems using Composite Lyapunov Functions

Authors: Michael Tang, Miroslav Krstic, Jorge Poveda

Abstract: Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing control, estimation, and optimization algorithms in applications with stringent performance requirements. However, the set of tools available for analyzing the… ▽ More Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing control, estimation, and optimization algorithms in applications with stringent performance requirements. However, the set of tools available for analyzing the interconnection of fixed-time stable systems is rather limited compared to their asymptotic counterparts. In this paper, we address some of these limitations by exploiting the emergence of multiple time scales in nonlinear singularly perturbed dynamical systems, where the fast dynamics and the slow dynamics are fixed-time stable on their own. By extending the so-called composite Lyapunov method from asymptotic stability to the context of fixed-time stability, we provide a novel class of Lyapunov-based sufficient conditions to certify fixed-time stability in a class of singularly perturbed dynamical systems. The results are illustrated, analytically and numerically, using a fixed-time gradient flow system interconnected with a fixed-time plant and an additional high-order example. △ Less

Submitted 29 August, 2024; originally announced August 2024.

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

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

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

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

On the Influence of the Laser Illumination on the Logic Cells Current Consumption

Authors: Dmytro Petryk, Zoya Dyka, Milos Krstic, Jan Bělohoubek, Petr Fišer, František Steiner, Tomáš Blecha, Peter Langendörfer, Ievgen Kabin

Abstract: Physical side-channel attacks represent a great challenge for today's chip design. Although attacks on CMOS dynamic power represent a class of state-of-the-art attacks, many other effects potentially affect the security of CMOS chips analogously by affecting mostly static behaviour of the chip, including aging, ionizing radiation, or non-ionizing illumination of the CMOS. Vulnerabilities exploitin… ▽ More Physical side-channel attacks represent a great challenge for today's chip design. Although attacks on CMOS dynamic power represent a class of state-of-the-art attacks, many other effects potentially affect the security of CMOS chips analogously by affecting mostly static behaviour of the chip, including aging, ionizing radiation, or non-ionizing illumination of the CMOS. Vulnerabilities exploiting data dependency in CMOS static power were already demonstrated in practice and the analogous vulnerability exploiting light-modulated static power was demonstrated by simulation. This work confirms the CMOS vulnerability related to the light-modulated data-dependent static power experimentally and discusses future work. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 8 figures

Laser Fault Injection Attacks against Radiation Tolerant TMR Registers

Authors: Dmytro Petryk, Zoya Dyka, Ievgen Kabin, Anselm Breitenreiter, Jan Schaeffner, Milos Krstic

Abstract: Security requirements for the Internet of things (IoT), wireless sensor nodes, and other wireless devices connected in a network for data exchange are high. These devices are often subject to lab analysis with the objective to reveal secret hidden information. One kind of attacks to reveal the cryptographic key is to perform optical Fault Injection attacks. In this work, we investigated the IHP ra… ▽ More Security requirements for the Internet of things (IoT), wireless sensor nodes, and other wireless devices connected in a network for data exchange are high. These devices are often subject to lab analysis with the objective to reveal secret hidden information. One kind of attacks to reveal the cryptographic key is to perform optical Fault Injection attacks. In this work, we investigated the IHP radiation tolerant shift registers built of Triple Modular Redundant flip-flops. In our experiments, we were able to inject different transient faults into TMR registers. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 2 figures, 1 table

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," keeping 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," keeping 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 backstepping 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 backstepping 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 28 November, 2024; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: 13 pages, 4 figures

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 backstepping 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 backstepping 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.

Comments: 8 pages and 7 figures

MSC Class: 93B52; 93C20; 93C40; 35B37

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.

Comments: 40 pages

MSC Class: 93C20; 93B52; 49N45; 35G16

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.

Comments: 8 pages and 2 figures. arXiv admin note: substantial text overlap with arXiv:2404.07287

MSC Class: 91Axx; 91A05; 91A10; 93-XX; 93B52; 93C40; 93D30

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 15 November, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 6 pages, 5 figures

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 backstepping. 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.

Comments: 26 pages 10 figures. Accepted L4DC 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.

Comments: 53 pages

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

Authors: Cenk Demir, Mamadou Diagne, Miroslav Krstic

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

Submitted 29 April, 2024; originally announced April 2024.

Comments: Submitted to 2024 Conference on Decision and Control

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. The description and numerical simulation of the interaction of nano… ▽ 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. The description and numerical simulation of the interaction of nanophotonic structures with bipartite states of light is challenging regardless of their intensity, and has important technological applications. To address such a challenge, we develop here a theoretical and computational framework for studying the interaction of material structures with bipartite states of light. The theory of the framework rests on the symmetrized tensor product space of two copies of an electromagnetic Hilbert space. For the computational side, the convenient T-matrix method is extended to the tensor product space. When the response of the object to one part of the state is independent of the other part, the T-matrix for bipartite states is a simple function of the typical T-matrix of the single Hilbert space. Such separable material response is relevant, for example, in the interaction of entangled biphoton states with nanostructures. Non-separable operators are identified as the adequate objects to fully integrate non-linear effects such as sum frequency generation or parametric down-conversion. As an example of application, we derive selection rules for second-order non-linear processes in objects with rotational and/or mirror symmetries, and verify them numerically in two different MoS$_2$ clusters. △ Less

Submitted 6 November, 2024; v1 submitted 29 April, 2024; originally announced April 2024.

Comments: 17 pages, 3 figures

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.

Comments: To Appear in Proceedings of the 2024 European Control Conference

Gain-Only Neural Operators for PDE Backstepping

Authors: Rafael Vazquez, Miroslav Krstic

Abstract: In this work we advance the recently-introduced deep learning-powered approach to PDE backstepping control by proposing a method that approximates only the control gain function -- a function of one variable -- instead of the entire kernel function of the backstepping transformation, which depends on two variables. This idea is introduced using several benchmark unstable PDEs, including hyperbolic… ▽ More In this work we advance the recently-introduced deep learning-powered approach to PDE backstepping control by proposing a method that approximates only the control gain function -- a function of one variable -- instead of the entire kernel function of the backstepping transformation, which depends on two variables. This idea is introduced using several benchmark unstable PDEs, including hyperbolic and parabolic types, and extended to 2X2 hyperbolic systems. By employing a backstepping transformation that utilizes the exact kernel (suitable for gain scheduling) rather than an approximated one (suitable for adaptive control), we alter the quantification of the approximation error. This leads to a significant simplification in the target system, shifting the perturbation due to approximation from the domain to the boundary condition. Despite the notable differences in the Lyapunov analysis, we are able to retain stability guarantees with this simplified approximation approach. Approximating only the control gain function simplifies the operator being approximated and the training of its neural approximation, potentially reducing the neural network size. The trade-off for these simplifications is a more intricate Lyapunov analysis, involving higher Sobolev spaces for some PDEs, and certain restrictions on initial conditions arising from these spaces. It is crucial to carefully consider the specific requirements and constraints of each problem to determine the most suitable approach; indeed, recent works have demonstrated successful applications of both full-kernel and gain-only approaches in adaptive control and gain scheduling contexts. △ Less

Submitted 20 October, 2024; v1 submitted 28 March, 2024; originally announced March 2024.

Comments: Preprint submitted to CAM

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.

Comments: To be presented at the 2024 American Control Conference

Unbiased Extremum Seeking for PDEs

Authors: Cemal Tugrul Yilmaz, Mamadou Diagne, Miroslav Krstic

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

Submitted 25 March, 2024; originally announced March 2024.

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

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

Authors: Cemal Tugrul Yilmaz, Mamadou Diagne, Miroslav Krstic

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

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

Comments: Submitted to Transactions on Automatic Control

Towards a MATLAB Toolbox to compute backstepping 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 backstepping kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstepping 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 backstepping kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstepping 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 backstepping 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 backstepping kernels and gains. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: Preprint submitted to CDC 2024

Convection-Enabled Boundary Control of a 2D Channel Flow

Authors: Mohamed Camil Belhadjoudja, Miroslav Krstic, Emmanuel Witrant

Abstract: Nonlinear convection, the source of turbulence in fluid flows, may hold the key to stabilizing turbulence by solving a specific cubic polynomial equation. 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 direction. The pressure difference between the left and right ends of the chan… ▽ More Nonlinear convection, the source of turbulence in fluid flows, may hold the key to stabilizing turbulence by solving a specific cubic polynomial equation. 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 direction. The pressure difference between the left and right ends of the channel is constant. Moreover, we consider no-slip boundary conditions, that is, zero tangential velocity, at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. We design the boundary control inputs to achieve global exponential stabilization, in the L2 sense, of a chosen Poiseuille equilibrium profile for an arbitrarily large Reynolds number. The key idea behind our approach is to select the boundary controllers such that they have zero spatial mean (to guarantee mass conservation) but non-zero spatial cubic mean. We reveal that, because of convection, the time derivative of the L2 energy of the regulation error is a cubic polynomial in the cubic mean of the boundary inputs. Regulation is then achieved by solving a specific cubic equation, using the Cardano root formula. The results are illustrated via a numerical example. △ Less

Submitted 26 September, 2024; v1 submitted 23 March, 2024; originally announced March 2024.

Comments: To be presented at the 63rd IEEE Conference on Decision and Control (CDC 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.