-
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.
-
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.
-
Deadzone-Adapted Disturbance Suppression Control for Strict-Feedback Systems
Authors:
Iasson Karafyllis,
Miroslav Krstic,
Alexandros Aslanidis
Abstract:
In this paper we extend our recently proposed Deadzone-Adapted Disturbance Suppression (DADS) Control approach from systems with matched uncertainties to general systems in parametric strict feedback form. The DADS approach prevents gain and state drift regardless of the size of the disturbance and unknown parameter and achieves an attenuation of the plant output to an assignable small level, desp…
▽ More
In this paper we extend our recently proposed Deadzone-Adapted Disturbance Suppression (DADS) Control approach from systems with matched uncertainties to general systems in parametric strict feedback form. The DADS approach prevents gain and state drift regardless of the size of the disturbance and unknown parameter and achieves an attenuation of the plant output to an assignable small level, despite the presence of persistent disturbances and unknown parameters of arbitrary and unknown bounds. The controller is designed by means of a step-by-step backstepping procedure which can be applied in an algorithmic fashion. Examples are provided which illustrate the efficiency of the DADS controller compared to existing adaptive control schemes.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Moving-Horizon Estimators for Hyperbolic and Parabolic PDEs in 1-D
Authors:
Luke Bhan,
Yuanyuan Shi,
Iasson Karafyllis,
Miroslav Krstic,
James B. Rawlings
Abstract:
Observers for PDEs are themselves PDEs. Therefore, producing real time estimates with such observers is computationally burdensome. For both finite-dimensional and ODE systems, moving-horizon estimators (MHE) are operators whose output is the state estimate, while their inputs are the initial state estimate at the beginning of the horizon as well as the measured output and input signals over the m…
▽ More
Observers for PDEs are themselves PDEs. Therefore, producing real time estimates with such observers is computationally burdensome. For both finite-dimensional and ODE systems, moving-horizon estimators (MHE) are operators whose output is the state estimate, while their inputs are the initial state estimate at the beginning of the horizon as well as the measured output and input signals over the moving time horizon. In this paper we introduce MHEs for PDEs which remove the need for a numerical solution of an observer PDE in real time. We accomplish this using the PDE backstepping method which, for certain classes of both hyperbolic and parabolic PDEs, produces moving-horizon state estimates explicitly. Precisely, to explicitly produce the state estimates, we employ a backstepping transformation of a hard-to-solve observer PDE into a target observer PDE, which is explicitly solvable. The MHEs we propose are not new observer designs but simply the explicit MHE realizations, over a moving horizon of arbitrary length, of the existing backstepping observers. Our PDE MHEs lack the optimality of the MHEs that arose as duals of MPC, but they are given explicitly, even for PDEs. In the paper we provide explicit formulae for MHEs for both hyperbolic and parabolic PDEs, as well as simulation results that illustrate theoretically guaranteed convergence of the MHEs.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Deadzone-Adapted Disturbance Suppression Control for Global Practical IOS and Zero Asymptotic Gain to Matched Uncertainties
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
In this paper we study a special class of systems: time-invariant control systems that satisfy the matching condition for which no bounds for the disturbance and the unknown parameters are known. For this class of systems, we provide a simple, direct, adaptive control scheme that combines three elements: (a) nonlinear damping, (b) single-gain adjustment, and (c) deadzone in the update law. It is t…
▽ More
In this paper we study a special class of systems: time-invariant control systems that satisfy the matching condition for which no bounds for the disturbance and the unknown parameters are known. For this class of systems, we provide a simple, direct, adaptive control scheme that combines three elements: (a) nonlinear damping, (b) single-gain adjustment, and (c) deadzone in the update law. It is the first time that these three tools are combined and the proposed controller is called a Deadzone-Adapted Disturbance Suppression (DADS) Controller. The proposed adaptive control scheme achieves for the first time an attenuation of the plant state to an assignable small level, despite the presence of disturbances and unknown parameters of arbitrary and unknown bounds. Moreover, the DADS Controller prevents gain and state drift regardless of the size of the disturbance and unknown parameter.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Controlling Automated Vehicles on Large Lane-free Roundabouts (Extended Version)
Authors:
Mehdi Naderi,
Markos Papageorgiou,
Dimitrios Troullinos,
Iasson Karafyllis,
Ioannis Papamichail
Abstract:
Controlling automated vehicles on large lane-free roundabouts is challenging because of the geometrical complexity and frequent conflicts among entering, rotating, and exiting vehicles. This paper proposes a comprehensive methodology to control the vehicles within the roundabout and the connected road branches. The developed real-time vehicle movement strategy relies on offline-computed wide overl…
▽ More
Controlling automated vehicles on large lane-free roundabouts is challenging because of the geometrical complexity and frequent conflicts among entering, rotating, and exiting vehicles. This paper proposes a comprehensive methodology to control the vehicles within the roundabout and the connected road branches. The developed real-time vehicle movement strategy relies on offline-computed wide overlapping movement corridors, one for each Origin-Destination (OD) movement, which delineate the admissible movement zones of corresponding OD vehicles. Also, space-dependent desired orientations are determined by destination, so as to mitigate potential vehicle conflicts and reduce trip distance. A distributed (per vehicle) movement control strategy, using two nonlinear feedback controllers (NLFC), for circular and straight movements, respectively, is employed to navigate each vehicle within the respective OD corridor toward its destination, accounting for the desired orientation and avoiding collisions with other vehicles; while boundary controllers guarantee that the corridor boundaries will not be violated, and the exit will not be missed. As an overly complicated case study, we consider the famous roundabout of Place Charles de Gaulle in Paris, featuring a width of 38 m and comprising a dozen of bidirectional radial streets, hence a total of 144 ODs. The pertinence and effectiveness of the presented method is verified via microscopic simulation and evaluation of macroscopic data.
△ Less
Submitted 28 November, 2023; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Forward Completeness and Applications to Control of Automated Vehicles
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
Forward complete systems are guaranteed to have solutions that exist globally for all positive time. In this paper, a relaxed Lyapunov-like condition for forward completeness is presented for finite-dimensional systems defined on open sets that does not require boundedness of the Lyapunov-like function along the solutions of the system. The corresponding condition is then exploited for the design…
▽ More
Forward complete systems are guaranteed to have solutions that exist globally for all positive time. In this paper, a relaxed Lyapunov-like condition for forward completeness is presented for finite-dimensional systems defined on open sets that does not require boundedness of the Lyapunov-like function along the solutions of the system. The corresponding condition is then exploited for the design of autonomous two-dimensional movement, with focus on lane-free cruise controllers for automated vehicles described by the bicycle kinematic model. The derived feedback laws (cruise controllers) are decentralized and can account for collision avoidance, roads of variable width, on-ramps and off-ramps as well as different desired speed for each vehicle.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Stabilization of Age-Structured Chemostat Hyperbolic PDE with Actuator Dynamics
Authors:
Paul-Erik Haacker,
Iasson Karafyllis,
Miroslav Krstić,
Mamadou Diagne
Abstract:
For population systems modeled by age-structured hyperbolic partial differential equations (PDEs), we redesign the existing feedback laws, designed under the assumption that the dilution input is directly actuated, to the more realistic case where dilution is governed by actuation dynamics (modeled simply by an integrator). In addition to the standard constraint that the population density must re…
▽ More
For population systems modeled by age-structured hyperbolic partial differential equations (PDEs), we redesign the existing feedback laws, designed under the assumption that the dilution input is directly actuated, to the more realistic case where dilution is governed by actuation dynamics (modeled simply by an integrator). In addition to the standard constraint that the population density must remain positive, the dilution dynamics introduce constraints of not only positivity of dilution, but possibly of given positive lower and upper bounds on dilution. We present several designs, of varying complexity, and with various measurement requirements, which not only ensure global asymptotic (and local exponential) stabilization of a desired positive population density profile from all positive initial conditions, but do so without violating the constraints on the dilution state. To develop the results, we exploit the relation between first-order hyperbolic PDEs and an equivalent representation in which a scalar input-driven mode is decoupled from input-free infinite-dimensional internal dynamics represented by an integral delay system.
△ Less
Submitted 24 June, 2023;
originally announced June 2023.
-
Stabilization and Spill-Free Transfer of Viscous Liquid in a Tank
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
Flow control occupies a special place in the fields of partial differential equations (PDEs) and control theory, where the complex behavior of solutions of nonlinear dynamics in very high dimension is not just to be understood but also to be assigned specific desired properties, by feedback control. Among several benchmark problems in flow control, the liquid-tank problem is particularly attractiv…
▽ More
Flow control occupies a special place in the fields of partial differential equations (PDEs) and control theory, where the complex behavior of solutions of nonlinear dynamics in very high dimension is not just to be understood but also to be assigned specific desired properties, by feedback control. Among several benchmark problems in flow control, the liquid-tank problem is particularly attractive as a research topic. In the liquid-tank problem the objective is to move a tank filled with liquid, suppress the nonlinear oscillations of the liquid in the process, bring the tank and liquid to rest, and avoid liquid spillage in the process. In other words, this is a problem of nonlinear PDE stabilization subject to state constraints.
This review article focuses only on recent results on liquid-tank stabilization for viscous liquids. All possible cases are studied: with and without friction from the tank walls, with and without surface tension. Moreover, novel results are provided for the linearization of the tank-liquid system. The linearization of the tank-liquid system gives a high-order PDE which is a combination of a wave equation with Kelvin-Voigt damping and an Euler-Bernoulli beam equation.
The feedback design methodology presented in the article is based on Control Lyapunov Functionals (CLFs), suitably extended from the CLF methodology for ODEs to the infinite-dimensional case. The CLFs proposed are modifications and augmentations of the total energy functionals for the tank-liquid system, so that the dissipative effects of viscosity, friction, and surface tension are captured and additional dissipation by feedback is made relatively easy.
The article closes with an extensive list of open problems.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
On Disturbance-to-State Adaptive Stabilization without Parameter Bound by Nonlinear Feedback of Delayed State and Input
Authors:
Iasson Karafyllis,
Miroslav Krstic,
Alexandros Aslanidis
Abstract:
We complete the first step towards the resolution of several decades-old challenges in disturbance-robust adaptive control. For a scalar linear system with an unknown parameter for which no a priori bound is given, with a disturbance that is of unlimited magnitude and possibly persistent (not square integrable), and without a persistency of excitation necessarily verified by the state, we consider…
▽ More
We complete the first step towards the resolution of several decades-old challenges in disturbance-robust adaptive control. For a scalar linear system with an unknown parameter for which no a priori bound is given, with a disturbance that is of unlimited magnitude and possibly persistent (not square integrable), and without a persistency of excitation necessarily verified by the state, we consider the problems of (practical) gain assignment relative to the disturbance. We provide a solution to these heretofore unsolved feedback design problems with the aid of infinite-dimensional nonlinear feedback employing distributed delay of the state and input itself. Specifically, in addition to (0) the global boundedness of the infinite-dimensional state of the closed-loop system when the disturbance is present, we establish (1) practical input-to-output stability with assignable asymptotic gain from the disturbance to the plant state; (2) assignable exponential convergence rate; and (3) assignable radius of the residual set. The accompanying identifier in our adaptive controller guarantees (4) boundedness of the parameter estimate even when disturbances are present; (5) an ultimate estimation error which is proportional to the magnitude of the disturbance with assignable gain when there exists sufficient excitation of the state; and (6) exact parameter estimation in finite-time when the disturbance is absent and there is sufficient excitation. Among our results, one reveals a tradeoff between "learning capacity" and "disturbance robustness:" the less sensitive the identifier is to the disturbance, the less likely it is to learn the parameter.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Adaptive Regulation with Global KL Guarantees
Authors:
Iasson Karafyllis,
Alexandros Aslanidis,
Miroslav Krstic
Abstract:
In the absence of persistency of excitation (PE), referring to adaptive control systems as "asymptotically stable" typically indicates insufficient understanding of stability concepts. While the state is indeed regulated to zero and the parameter estimate has some limit, namely, the overall state converges to some equilibrium, the equilibrium reached is not unique (and not even necessarily stable)…
▽ More
In the absence of persistency of excitation (PE), referring to adaptive control systems as "asymptotically stable" typically indicates insufficient understanding of stability concepts. While the state is indeed regulated to zero and the parameter estimate has some limit, namely, the overall state converges to some equilibrium, the equilibrium reached is not unique (and not even necessarily stable) but is dependent on the initial condition. The equilibrium set in the absence of PE is not uniformly attractive (from an open set containing the equilibrium set); hence, asymptotic stability does not hold and KL estimates are unavailable for the full state. In this paper we pursue adaptive control design with KL guarantees on the regulated state, something that is possible but previously unachieved with smooth, time-invariant and non-hybrid adaptive controllers. This property is referred to as Uniform Global Asymptotic Output Stability, where the regulated state is thought of as a system output. We provide designs for (i) systems with a matched uncertainty and (ii) systems in the parametric strict feedback form. To guarantee KL estimates in the absence of PE, our designs employ time-invariant nonlinear damping terms, which depend both on the state and the parameter estimate. With an example, we illustrate the theory.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Feedback Stabilization of Tank-Liquid System with Robustness to Surface Tension
Authors:
Iasson Karafyllis,
Filippos Vokos,
Miroslav Krstic
Abstract:
We construct a robust stabilizing feedback law for the viscous Saint-Venant system of Partial Differential Equations (PDEs) with surface tension and without wall friction. The Saint-Venant system describes the movement of a tank which contains a viscous liquid. We assume constant contact angles between the liquid and the walls of the tank and we achieve a spill-free exponential stabilization with…
▽ More
We construct a robust stabilizing feedback law for the viscous Saint-Venant system of Partial Differential Equations (PDEs) with surface tension and without wall friction. The Saint-Venant system describes the movement of a tank which contains a viscous liquid. We assume constant contact angles between the liquid and the walls of the tank and we achieve a spill-free exponential stabilization with robustness to surface tension by using a Control Lyapunov Functional (CLF). The proposed CLF provides a parameterized family of sets which approximate the state space from the interior. Based on the CLF, we construct a nonlinear stabilizing feedback law which ensures that the closed-loop system converges exponentially to the desired equilibrium point in the sense of an appropriate norm.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
Sampled-Data Observer Design for Linear Kuramoto-Sivashinsky Systems with Non-Local Output
Authors:
Iasson Karafyllis,
Tarek Ahmed Ali
Abstract:
The aim of this paper is to provide a novel systematic methodology for the design of sampled-data observers for Linear Kuramoto-Sivashinsky systems (LK-S) with non-local outputs. More precisely, we extend the systematic sampled-data observer design approach which is based on the use of an Inter-Sample output predictor to the class of LK-S systems. By using a small-gain methodology we provide suffi…
▽ More
The aim of this paper is to provide a novel systematic methodology for the design of sampled-data observers for Linear Kuramoto-Sivashinsky systems (LK-S) with non-local outputs. More precisely, we extend the systematic sampled-data observer design approach which is based on the use of an Inter-Sample output predictor to the class of LK-S systems. By using a small-gain methodology we provide sufficient conditions ensuring the Input-to-Output Stability (IOS) property of the estimation errors in the presence of measurement noise. Our Inter-Sample output predictor contains a tuning term which can enlarge significantly the Maximum Allowable Sampling Period (MASP).
△ Less
Submitted 4 December, 2022;
originally announced December 2022.
-
Cruise Controllers for Lane-Free Ring-Roads based on Control Lyapunov Functions
Authors:
Dionysis Theodosis,
Iasson Karafyllis,
Markos Papageorgiou
Abstract:
The paper introduces novel families of cruise controllers for autonomous vehicles on lane-free ring-roads. The design of the cruise controllers is based on the appropriate selection of a Control Lyapunov Function expressed on measures of the energy of the system with the kinetic energy expressed in ways similar to Newtonian or relativistic mechanics. The derived feedback laws (cruise controllers)…
▽ More
The paper introduces novel families of cruise controllers for autonomous vehicles on lane-free ring-roads. The design of the cruise controllers is based on the appropriate selection of a Control Lyapunov Function expressed on measures of the energy of the system with the kinetic energy expressed in ways similar to Newtonian or relativistic mechanics. The derived feedback laws (cruise controllers) are decentralized (per vehicle), as each vehicle determines its control input based on: (i) its own state; (ii) either only the distance from adjacent vehicles (inviscid cruise controllers) or the state of adjacent vehicles (viscous cruise controllers); and (iii) its distance from the boundaries of the ring-road. A detailed analysis of the differences and similarities between lane-free straight roads and lane-free ring-roads is also presented.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Feedback Stabilization of Tank-Liquid System with Robustness to Wall Friction
Authors:
Iasson Karafyllis,
Filippos Vokos,
Miroslav Krstic
Abstract:
We solve the feedback stabilization problem for a tank, with friction, containing a liquid modeled by the viscous Saint-Venant system of Partial Differential Equations. A spill-free exponential stabilization is achieved, with robustness to the wall friction forces. A Control Lyapunov Functional (CLF) methodology with two different Lyapunov functionals is employed. These functionals determine speci…
▽ More
We solve the feedback stabilization problem for a tank, with friction, containing a liquid modeled by the viscous Saint-Venant system of Partial Differential Equations. A spill-free exponential stabilization is achieved, with robustness to the wall friction forces. A Control Lyapunov Functional (CLF) methodology with two different Lyapunov functionals is employed. These functionals determine specific parameterized sets which approximate the state space. The feedback law is designed based only on one of the two functionals (which is the CLF) while the other functional is used for the derivation of estimates of the sup-norm of the velocity. The feedback law does not require the knowledge of the exact relation of the friction coefficient. Two main results are provided: the first deals with the special case of a velocity-independent friction coefficient, while the second deals with the general case. The obtained results are new even in the frictionless case.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Constructing Artificial Traffic Fluids by Designing Cruise Controllers
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
In this paper, we apply a Control Lyapunov Function methodology to design two families of cruise controllers for the two-dimensional movement of autonomous vehicles on lane-free roads using the bicycle kinematic model. The control Lyapunov functions are based on measures of the energy of the system with the kinetic energy expressed in ways similar to Newtonian or relativistic mechanics. The derive…
▽ More
In this paper, we apply a Control Lyapunov Function methodology to design two families of cruise controllers for the two-dimensional movement of autonomous vehicles on lane-free roads using the bicycle kinematic model. The control Lyapunov functions are based on measures of the energy of the system with the kinetic energy expressed in ways similar to Newtonian or relativistic mechanics. The derived feedback laws (cruise controllers) are decentralized, as each vehicle determines its control input based on its own speed and on the relative speeds and distances from adjacent vehicles and from the boundary of the road. Moreover, the corresponding macroscopic models are derived, obtaining fluid-like models that consist of a conservation equation and a momentum equation with pressure and viscous terms. Finally, we show that, by selecting appropriately the parameters of the feedback laws, we can determine the physical properties of the "traffic fluid", i.e. we get free hand to create an artificial fluid that approximates the emerging traffic flow.
△ Less
Submitted 5 March, 2022;
originally announced March 2022.
-
Is Global Asymptotic Stability Necessarily Uniform for Time-Delay Systems?
Authors:
Iasson Karafyllis,
Pierdomenico Pepe,
Antoine Chaillet,
Yuan Wang
Abstract:
For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be uniform on bounded sets of initial states. This paper investigates this relationship for time-invariant delay systems. We show that UGAS and GAS are equivalent…
▽ More
For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be uniform on bounded sets of initial states. This paper investigates this relationship for time-invariant delay systems. We show that UGAS and GAS are equivalent for this class of systems under the assumption of robust forward completeness, i.e. under the assumption that the reachable set from any bounded set of initial states on any finite time horizon is bounded. We also show that, if the state space is a space in a particular family of Sobolev or Holder spaces, then GAS is equivalent to UGAS and that robust forward completeness holds. Based on these equivalences, we provide a novel Lyapunov characterization of GAS (and UGAS) in the aforementioned spaces.
△ Less
Submitted 16 March, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Output-Feedback Control of Viscous Liquid-Tank System and its Numerical Approximation
Authors:
Iasson Karafyllis,
Filippos Vokos,
Miroslav Krstic
Abstract:
We solve the output-feedback stabilization problem for a tank with a liquid modeled by the viscous Saint-Venant PDE system. The control input is the acceleration of the tank and a Control Lyapunov Functional methodology is used. The measurements are the tank position and the liquid level at the tank walls. The control scheme is a combination of a state feedback law with functional observers for th…
▽ More
We solve the output-feedback stabilization problem for a tank with a liquid modeled by the viscous Saint-Venant PDE system. The control input is the acceleration of the tank and a Control Lyapunov Functional methodology is used. The measurements are the tank position and the liquid level at the tank walls. The control scheme is a combination of a state feedback law with functional observers for the tank velocity and the liquid momentum. Four different types of output feedback stabilizers are proposed. A full-order observer and a reduced-order observer are used in order to estimate the tank velocity while the unmeasured liquid momentum is either estimated by using an appropriate scalar filter or is ignored. The reduced order observer differs from the full order observer because it omits the estimation of the measured tank position. Exponential convergence of the closed-loop system to the desired equilibrium point is achieved in each case. An algorithm is provided that guarantees that a robotic arm can move a glass of water to a pre-specified position no matter how full the glass is, without spilling water out of the glass, without residual end point sloshing and without measuring the water momentum and the glass velocity. Finally, the efficiency of the proposed output feedback laws is validated by numerical examples, obtained by using a simple finite-difference numerical scheme. The properties of the proposed, explicit, finite-difference scheme are determined.
△ Less
Submitted 6 February, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
ISS-Based Robustness to Various Neglected Damping Mechanisms for the 1-D Wave PDE
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper is devoted to the study of the robustness properties of the 1-D wave equation for an elastic vibrating string under four different damping mechanisms that are usually neglected in the study of the wave equation: (i) friction with the surrounding medium of the string (or viscous damping), (ii) thermoelastic phenomena (or thermal damping), (iii) internal friction of the string (or Kelvin-…
▽ More
This paper is devoted to the study of the robustness properties of the 1-D wave equation for an elastic vibrating string under four different damping mechanisms that are usually neglected in the study of the wave equation: (i) friction with the surrounding medium of the string (or viscous damping), (ii) thermoelastic phenomena (or thermal damping), (iii) internal friction of the string (or Kelvin-Voigt damping), and (iv) friction at the free end of the string (the so-called passive damper). The passive damper is also the simplest boundary feedback law that guarantees exponential stability for the string. We study robustness with respect to distributed inputs and boundary disturbances in the context of Input-to-State Stability (ISS). By constructing appropriate ISS Lyapunov functionals, we prove the ISS property expressed in various spatial norms.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Stability Analysis of Nonlinear Inviscid Microscopic and Macroscopic Traffic Flow Models of Bidirectional Cruise-Controlled Vehicles
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
The paper introduces a new bidirectional microscopic inviscid Adaptive Cruise Control (ACC) model that uses only spacing information from the preceding and following vehicles in order to select the proper control action to avoid collisions and maintain a desired speed. KL estimates that guarantee uniform convergence of the ACC model to the set of equilibria are provided. Moreover, the correspondin…
▽ More
The paper introduces a new bidirectional microscopic inviscid Adaptive Cruise Control (ACC) model that uses only spacing information from the preceding and following vehicles in order to select the proper control action to avoid collisions and maintain a desired speed. KL estimates that guarantee uniform convergence of the ACC model to the set of equilibria are provided. Moreover, the corresponding macroscopic model is derived, consisting of a conservation equation and a momentum equation that contains a nonlinear relaxation term. It is shown that, if the density is sufficiently small, then the macroscopic model has a solution that approaches exponentially the equilibrium speed (in the sup norm) while the density converges exponentially to a traveling wave. Numerical simulations are also provided, illustrating the properties of the microscopic and macroscopic inviscid ACC models.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Spill-Free Transfer and Stabilization of Viscous Liquid
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper studies the feedback stabilization problem of the motion of a tank that contains an incompressible, Newtonian, viscous liquid. The control input is the force applied on the tank and the overall system consists of two nonlinear Partial Differential Equations and two Ordinary Differential Equations. Moreover, a spill-free condition is required to hold. By applying the Control Lyapunov Fun…
▽ More
This paper studies the feedback stabilization problem of the motion of a tank that contains an incompressible, Newtonian, viscous liquid. The control input is the force applied on the tank and the overall system consists of two nonlinear Partial Differential Equations and two Ordinary Differential Equations. Moreover, a spill-free condition is required to hold. By applying the Control Lyapunov Functional methodology, a set of initial conditions (state space) is determined for which spill-free motion of the liquid is possible by applying an appropriate control input. Semi-global stabilization of the liquid and the tank by means of a simple feedback law is achieved, in the sense that for every closed subset of the state space, it is possible to find appropriate controller gains, so that every solution of the closed-loop system initiated from the given closed subset satisfies specific stability estimates. The closed-loop system exhibits an exponential convergence rate to the desired equilibrium point. The proposed stabilizing feedback law does not require measurement of the liquid level and velocity profiles inside the tank and simply requires measurements of: (i) the tank position error and tank velocity, (ii) the total momentum of the liquid, and (iii) the liquid levels at the tank walls. The obtained results allow an algorithmic solution of the problem of the spill-free movement and slosh-free settlement of a liquid in a vessel of limited height (such as water in a glass) by a robot to a pre-specified position, no matter how full the vessel is.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Sampled-Data and Event-triggered Boundary Control of a Class of Reaction-Diffusion PDEs with Collocated Sensing and Actuation
Authors:
Bhathiya Rathnayake,
Mamadou Diagne,
Iasson Karafyllis
Abstract:
This paper provides observer-based sampled-data and event-triggered boundary control strategies for a class of reaction-diffusion PDEs with collocated sensing and Robin actuation. Infinite-dimensional backstepping design is used as the underlying control approach. It is shown that the continuous-time output feedback boundary control applied in a sample-and-hold fashion ensures global closed-loop e…
▽ More
This paper provides observer-based sampled-data and event-triggered boundary control strategies for a class of reaction-diffusion PDEs with collocated sensing and Robin actuation. Infinite-dimensional backstepping design is used as the underlying control approach. It is shown that the continuous-time output feedback boundary control applied in a sample-and-hold fashion ensures global closed-loop exponential stability, provided that the sampling period is sufficiently small. Further, robustness to perturbations of the sampling schedule is guaranteed. For the event-triggered implementation of the continuous-time controller, a dynamic triggering condition is utilized. The triggering condition determines the time instants at which the control input needs to be updated. Under the observer-based event-triggered boundary control, it is shown that there is a minimal dwell-time between two triggering instants independent of initial conditions. Further, the global exponential convergence of the closed-loop system to the equilibrium point is established. A simulation example is provided to validate the theoretical results.
△ Less
Submitted 7 August, 2021;
originally announced August 2021.
-
Global Stabilization of Compressible Flow Between Two Moving Pistons
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper studies the global feedback stabilization problem of a system with two pistons and the area between them containing a viscous compressible fluid (gas) modeled by the Navier-Stokes equations. The control input is the force applied on the left piston (boundary input) and the overall system consists of two nonlinear Partial Differential Equations and four nonlinear Ordinary Differential Eq…
▽ More
This paper studies the global feedback stabilization problem of a system with two pistons and the area between them containing a viscous compressible fluid (gas) modeled by the Navier-Stokes equations. The control input is the force applied on the left piston (boundary input) and the overall system consists of two nonlinear Partial Differential Equations and four nonlinear Ordinary Differential Equations. Global feedback stabilizers are designed for the overall system by means of the Control Lyapunov Functional methodology. The closed-loop system exhibits global asymptotic stability with an exponential convergence rate. The proposed stabilizing boundary feedback laws do not require measurement of the density and velocity profiles inside the area between the pistons and simply require measurements of the gas density and velocity at the position of the actuated piston.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Two-Dimensional Cruise Control of Autonomous Vehicles on Lane-Free Roads
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
In this paper, we design decentralized control strategies for the two-dimensional movement of autonomous vehicles on lane-free roads. The bicycle kinematic model is used to model the dynamics of the vehicles, and each vehicle determines its control input based only on its own speed and on the distance from other (adjacent) vehicles and the boundary of the road. Potential functions and Barbalat's l…
▽ More
In this paper, we design decentralized control strategies for the two-dimensional movement of autonomous vehicles on lane-free roads. The bicycle kinematic model is used to model the dynamics of the vehicles, and each vehicle determines its control input based only on its own speed and on the distance from other (adjacent) vehicles and the boundary of the road. Potential functions and Barbalat's lemma are employed to prove the following properties, which are ensured by the proposed controller: (i) the vehicles do not collide with each other or with the boundary of the road; (ii) the speeds of all vehicles are always positive, i.e., no vehicle moves backwards at any time; (iii) the speed of all vehicles remain below a given speed limit; (iv) all vehicle speeds converge to a given longitudinal speed set-point; and (v) the accelerations, lateral speeds, and orientations of all vehicles tend to zero. The efficiency of the proposed 2-D cruise controllers is illustrated by means of numerical examples.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
Lyapunov Conditions for Uniform Asymptotic Output Stability and a Relaxation of Barbalat's Lemma
Authors:
Iasson Karafyllis,
Antoine Chaillet
Abstract:
Asymptotic output stability (AOS) is an interesting property when addressing control applications in which not all state variables are requested to converge to the origin. AOS is often established by invoking classical tools such as Barbashin-Krasovskii-LaSalle's invariance principle or Barbalat's lemma. Nevertheless, none of these tools allow to predict whether the output convergence is uniform o…
▽ More
Asymptotic output stability (AOS) is an interesting property when addressing control applications in which not all state variables are requested to converge to the origin. AOS is often established by invoking classical tools such as Barbashin-Krasovskii-LaSalle's invariance principle or Barbalat's lemma. Nevertheless, none of these tools allow to predict whether the output convergence is uniform on bounded sets of initial conditions, which may lead to practical issues related to convergence speed and robustness. The contribution of this paper is twofold. First, we provide a testable sufficient condition under which this uniform convergence holds. Second, we provide an extension of Barbalat's lemma, which relaxes the uniform continuity requirement. Both these results are first stated in a finite-dimensional context and then extended to infinite-dimensional systems. We provide academic examples to illustrate the usefulness of these results and show that they can be invoked to establish uniform AOS for systems under adaptive control.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Observer-based Event-triggered Boundary Control of a Class of Reaction-Diffusion PDEs
Authors:
Bhathiya Rathnayake,
Mamadou Diagne,
Nicolas Espitia,
Iasson Karafyllis
Abstract:
This paper presents an observer-based event-triggered boundary control strategy for a class of reaction-diffusion PDEs with Robin actuation. The observer only requires boundary measurements. The control approach consists of a backstepping output feedback boundary controller, derived using estimated states, and a dynamic triggering condition, which determines the time instants at which the control…
▽ More
This paper presents an observer-based event-triggered boundary control strategy for a class of reaction-diffusion PDEs with Robin actuation. The observer only requires boundary measurements. The control approach consists of a backstepping output feedback boundary controller, derived using estimated states, and a dynamic triggering condition, which determines the time instants at which the control input needs to be updated. It is shown that under the proposed observer-based event-triggered boundary control approach, there is a minimal dwell-time between two triggering instants independent of initial conditions. Furthermore, the well-posedness and the global exponential convergence of the closed-loop system to the equilibrium point are established. A simulation example is provided to validate the theoretical developments.
△ Less
Submitted 7 August, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
ISS Estimates in the Spatial Sup-Norm for Nonlinear 1-D Parabolic PDEs
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper provides novel Input-to-State Stability (ISS)-style maximum principle estimates for classical solutions of highly nonlinear 1-D parabolic Partial Differential Equations (PDEs). The derivation of the ISS-style maximum principle estimates is performed by using an ISS Lyapunov Functional for the sup norm. The estimates provide fading memory ISS estimates in the sup norm of the state with r…
▽ More
This paper provides novel Input-to-State Stability (ISS)-style maximum principle estimates for classical solutions of highly nonlinear 1-D parabolic Partial Differential Equations (PDEs). The derivation of the ISS-style maximum principle estimates is performed by using an ISS Lyapunov Functional for the sup norm. The estimates provide fading memory ISS estimates in the sup norm of the state with respect to distributed and boundary inputs. The obtained results can handle parabolic PDEs with nonlinear and non-local in-domain terms/boundary conditions. Three illustrative examples show the efficiency of the proposed methodology for the derivation of ISS estimates in the sup norm of the state.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Nonlinear Adaptive Cruise Control of Vehicular Platoons
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
The paper deals with the design of nonlinear adaptive cruise controllers for vehicular platoons operating on an open road or a ring-road. The constructed feedback controllers are nonlinear functions of the distance between successive vehicles and their speeds. It is shown that the proposed novel controllers guarantee safety (collision avoidance) and bounded vehicle speeds by explicitly characteriz…
▽ More
The paper deals with the design of nonlinear adaptive cruise controllers for vehicular platoons operating on an open road or a ring-road. The constructed feedback controllers are nonlinear functions of the distance between successive vehicles and their speeds. It is shown that the proposed novel controllers guarantee safety (collision avoidance) and bounded vehicle speeds by explicitly characterizing the set of allowable inputs. Moreover, we guarantee global asymptotic stability of the platoon to a desired configuration as well as string stability. Certain macroscopic properties are also investigated. The efficiency of the nonlinear adaptive cruise controllers is demonstrated by means of a numerical example.
△ Less
Submitted 14 July, 2020;
originally announced July 2020.
-
Event-triggered gain scheduling of reaction-diffusion PDEs
Authors:
Iasson Karafyllis,
Nicolas Espitia,
Miroslav Krstic
Abstract:
This paper deals with the problem of boundary stabilization of 1D reaction-diffusion PDEs with a time- and space- varying reaction coefficient. The boundary control design relies on the backstepping approach. The gains of the boundary control are scheduled under two suitable event-triggered mechanisms. More precisely, gains are computed/updated on events according to two state-dependent event-trig…
▽ More
This paper deals with the problem of boundary stabilization of 1D reaction-diffusion PDEs with a time- and space- varying reaction coefficient. The boundary control design relies on the backstepping approach. The gains of the boundary control are scheduled under two suitable event-triggered mechanisms. More precisely, gains are computed/updated on events according to two state-dependent event-triggering conditions: static-based and dynamic-based conditions, under which, the Zeno behavior is avoided and well-posedness as well as exponential stability of the closed-loop system are guaranteed. Numerical simulations are presented to illustrate the results.
△ Less
Submitted 28 May, 2020;
originally announced May 2020.
-
Event-Triggered Control of a Continuum Model of Highly Re-Entrant Manufacturing System
Authors:
Mamadou Diagne,
Iasson Karafyllis
Abstract:
With the unceasing growth of intelligent production lines that integrate sensors, actuators, and controllers in a wireless communication environment via internet of things (IoT), we design an event-triggered boundary controller for a continuum model of highly re-entrant manufacturing systems for which the influx rate of products is the controlled quantity. The designed controller can potentially o…
▽ More
With the unceasing growth of intelligent production lines that integrate sensors, actuators, and controllers in a wireless communication environment via internet of things (IoT), we design an event-triggered boundary controller for a continuum model of highly re-entrant manufacturing systems for which the influx rate of products is the controlled quantity. The designed controller can potentially operate in networked control systems subject to limited information sharing resources. A Lyapunov argument is utilized to derive the boundary controller together with a feasible event generator that avoids the occurrence of Zeno behavior for the closed-loop system. The global stability estimate is established using the logarithmic norm of the state due to the system's nonlinearity and positivity of the density. Furthermore, robustness of the proposed controller with respect to the sampling schedule and sampled-data stabilization results are established. Consistent simulation results that support the proposed theoretical statements are provided.
△ Less
Submitted 4 April, 2020;
originally announced April 2020.
-
Analysis and Control of a Non-Local PDE Traffic Flow Model
Authors:
Iasson Karafyllis,
Dionysis Theodosis,
Markos Papageorgiou
Abstract:
The paper provides conditions that guarantee existence and uniqueness of classical solutions for a non-local conservation law on a ring-road with possible nudging (or "look behind") terms. The obtained conditions are novel, as they are not covered by existing results in the literature. The paper also provides results which indicate that nudging can increase the flow in a ring-road and, if properly…
▽ More
The paper provides conditions that guarantee existence and uniqueness of classical solutions for a non-local conservation law on a ring-road with possible nudging (or "look behind") terms. The obtained conditions are novel, as they are not covered by existing results in the literature. The paper also provides results which indicate that nudging can increase the flow in a ring-road and, if properly designed, can have a strong stabilizing effect on traffic flow. More specifically, the paper gives results which guarantee local exponential stability of the uniform equilibrium in the L2 state norm even for cases where the uniform equilibrium profile in a ring-road without nudging is not asymptotically stable and the model admits density waves. The efficiency of the use of nudging terms is demonstrated by means of a numerical example.even for cases where the uniform equilibrium profile in a ring-road without nudging is not asymptotically stable and the model admits density waves. The efficiency of the use of nudging terms is demonstrated by means of a numerical example.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
On the Relation of IOS-Gains and Asymptotic Gains For Linear Systems
Authors:
Iasson Karafyllis
Abstract:
This paper presents a fundamental relation between Output Asymptotic Gains (OAG) and Input-to-Output Stability (IOS) gains for linear systems. For any Input-to-State Stable, strictly causal linear system the minimum OAG is equal to the minimum IOS-gain. Moreover, both quantities can be computed by solving a specific optimal control problem and by considering only periodic inputs. The result is val…
▽ More
This paper presents a fundamental relation between Output Asymptotic Gains (OAG) and Input-to-Output Stability (IOS) gains for linear systems. For any Input-to-State Stable, strictly causal linear system the minimum OAG is equal to the minimum IOS-gain. Moreover, both quantities can be computed by solving a specific optimal control problem and by considering only periodic inputs. The result is valid for wide classes of linear systems (involving delay systems or systems described by PDEs). The characterization of the minimum IOS-gain is important because it allows the non-conservative computation of the IOS-gains, which can be used in a small-gain analysis. The paper also presents a number of cases for finite-dimensional linear systems, where exact computation of the minimum IOS gain can be performed.
△ Less
Submitted 18 January, 2020;
originally announced January 2020.
-
A Note on Sampled-Data Observers
Authors:
Iasson Karafyllis,
Tarek Ahmed-Ali,
Fouad Giri
Abstract:
We present a new approach for deriving sampled-data observers from continuous-time observers that feature an Input-to-Output Stability property with respect to the output measurement noise and exponential convergence in the noiseless case. The design approach applies to a wide class of systems and yields sampled-data observers that inherit all performance characteristics of the underlying continuo…
▽ More
We present a new approach for deriving sampled-data observers from continuous-time observers that feature an Input-to-Output Stability property with respect to the output measurement noise and exponential convergence in the noiseless case. The design approach applies to a wide class of systems and yields sampled-data observers that inherit all performance characteristics of the underlying continuous-time observers. The main component of the proposed sampled-data observer is a novel output predictor that encompasses both inter-sample predictors and ZOH-predictors.
△ Less
Submitted 18 November, 2019;
originally announced November 2019.
-
Event-triggered boundary control of constant-parameter reaction-diffusion PDEs: a small-gain approach
Authors:
Nicolas Espitia,
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper deals with an event-triggered boundary control of constant-parameters reaction-diffusion PDE systems. The approach relies on the emulation of backstepping control along with a suitable triggering condition which establishes the time instants at which the control value needs to be sampled/updated. In this paper, it is shown that under the proposed event-triggered boundary control, there…
▽ More
This paper deals with an event-triggered boundary control of constant-parameters reaction-diffusion PDE systems. The approach relies on the emulation of backstepping control along with a suitable triggering condition which establishes the time instants at which the control value needs to be sampled/updated. In this paper, it is shown that under the proposed event-triggered boundary control, there exists a minimal dwell-time (independent of the initial condition) between two triggering times and furthermore the well-posedness and global exponential stability are guaranteed. The analysis follows small-gain arguments and builds on recent papers on sampled-data control for this kind of PDE. A simulation example is presented to validate the theoretical results.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Stability Results for the Continuity Equation
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
We provide a thorough study of stability of the 1-D continuity equation, which models many physical conservation laws. In our system-theoretic perspective, the velocity is considered to be an input. An additional input appears in the boundary condition (boundary disturbance). Stability estimates are provided in all Lp state norms with p>1, as well as in the sup norm. However, in our Input-to-State…
▽ More
We provide a thorough study of stability of the 1-D continuity equation, which models many physical conservation laws. In our system-theoretic perspective, the velocity is considered to be an input. An additional input appears in the boundary condition (boundary disturbance). Stability estimates are provided in all Lp state norms with p>1, as well as in the sup norm. However, in our Input-to-State Stability estimates, the gain and overshoot coefficients depend on the velocity. Moreover, the logarithmic norm of the state appears instead of the usual norm. The obtained results can be used in the stability analysis of larger models that contain the continuity equation. In particular, it is shown that the obtained results can be used in a straightforward way for the stability analysis of non-local, nonlinear manufacturing models under feedback control.
△ Less
Submitted 16 August, 2019;
originally announced August 2019.
-
Sampled-Data Observers for Delay Systems and Hyperbolic PDE-ODE Loops
Authors:
Tarek Ahmed-Ali,
Iasson Karafyllis,
Fouad Giri
Abstract:
This paper studies the problem of designing sampled-data observers and observer-based, sampled-data, output feedback stabilizers for systems with both discrete and distributed, state and output time-delays. The obtained results can be applied to time delay systems of strict-feedback structure, transport Partial Differential Equations (PDEs) with nonlocal terms, and feedback interconnections of Ord…
▽ More
This paper studies the problem of designing sampled-data observers and observer-based, sampled-data, output feedback stabilizers for systems with both discrete and distributed, state and output time-delays. The obtained results can be applied to time delay systems of strict-feedback structure, transport Partial Differential Equations (PDEs) with nonlocal terms, and feedback interconnections of Ordinary Differential Equations with a transport PDE. The proposed design approach consists in exploiting an existing observer, which features robust exponential convergence of the error when continuous-time output measurements are available. The observer is then modified, mainly by adding an inter-sample output predictor, to compensate for the effect of data-sampling. Using Lyapunov stability tools and small-gain analysis, we show that robust exponential stability of the error is preserved, provided the sampling period is not too large. The general result is illustrated with different examples including state observation and output-feedback stabilization of a chemical reactor.
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
Lane-free Artificial-Fluid Concept for Vehicular Traffic
Authors:
Markos Papageorgiou,
Kyriakos-Simon Mountakis,
Iasson Karafyllis,
Ioannis Papamichail
Abstract:
A novel paradigm for vehicular traffic in the era of connected and automated vehicles (CAVs) is proposed, which includes two combined principles: lane-free traffic and vehicle nudging, whereby vehicles are "pushing" (from a distance, using communication or sensors) other vehicles in front of them. This traffic paradigm features several advantages, including: smoother and safer driving; increase of…
▽ More
A novel paradigm for vehicular traffic in the era of connected and automated vehicles (CAVs) is proposed, which includes two combined principles: lane-free traffic and vehicle nudging, whereby vehicles are "pushing" (from a distance, using communication or sensors) other vehicles in front of them. This traffic paradigm features several advantages, including: smoother and safer driving; increase of roadway capacity; and no need for the anisotropy restriction. The proposed concept provides, for the first time since the automobile invention, the possibility to actively design (rather than describe) the traffic flow characteristics in an optimal way, i.e. to engineer the future CAV traffic flow as an efficient artificial fluid. Options, features, application domains and required research topics are discussed. Preliminary simulation results illustrate some basic features of the concept.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Lyapunov-Based Boundary Feedback Design For Parabolic PDEs
Authors:
Iasson Karafyllis
Abstract:
This paper presents a methodology for the construction of simple Control Lyapunov Functionals (CLFs) for boundary controlled parabolic Partial Differential Equations (PDEs). The proposed methodology provides functionals that contain only simple (and not double or triple) integrals of the state. Moreover, the constructed CLF is "almost diagonal" in the sense that it contains only a finite number of…
▽ More
This paper presents a methodology for the construction of simple Control Lyapunov Functionals (CLFs) for boundary controlled parabolic Partial Differential Equations (PDEs). The proposed methodology provides functionals that contain only simple (and not double or triple) integrals of the state. Moreover, the constructed CLF is "almost diagonal" in the sense that it contains only a finite number of cross-products of the (generalized) Fourier coefficients of the state. The methodology for the construction of a CLF is combined with a novel methodology for boundary feedback design in parabolic PDEs. The proposed feedback design methodology is Lyapunov-based and the feedback controller is an "integral" controller with internal dynamics. It is also shown that the obtained simple CLFs can provide nonlinear boundary feedback laws which achieve global exponential stabilization of semilinear parabolic PDEs with nonlinearities that satisfy a linear growth condition.
△ Less
Submitted 5 May, 2019;
originally announced May 2019.
-
Global Stabilization of a Class of Nonlinear Reaction-Diffusion PDEs by Boundary Feedback
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper provides global exponential stabilization results by means of boundary feedback control for 1-D nonlinear unstable reaction-diffusion Partial Differential Equations (PDEs) with nonlinearities of superlinear growth. The class of systems studied are parabolic PDEs with nonlinear reaction terms that provide "damping" when the norm of the state is large (the class includes reaction-diffusio…
▽ More
This paper provides global exponential stabilization results by means of boundary feedback control for 1-D nonlinear unstable reaction-diffusion Partial Differential Equations (PDEs) with nonlinearities of superlinear growth. The class of systems studied are parabolic PDEs with nonlinear reaction terms that provide "damping" when the norm of the state is large (the class includes reaction-diffusion PDEs with polynomial nonlinearities). The case of Dirichlet actuation at one end of the domain is considered and a Control-Lypunov Functional construction is applied in conjunction with Stampacchia's truncation method. The paper also provides several important auxiliary results; among which is an extension of Wirtinger's inequality, used here for the construction of the Control Lyapunov functional.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
Sampled-Data Observers for 1-D Parabolic PDEs with Non-Local Outputs
Authors:
Iasson Karafyllis,
Tarek Ahmed-Ali,
Fouad Giri
Abstract:
The present work provides a systematic approach for the design of sampled-data observers to a wide class of 1-D, parabolic PDEs with non-local outputs. The studied class of parabolic PDEs allows the presence of globally Lipschitz nonlinear and non-local terms in the PDE. Two different sampled-data observers are presented: one with an inter-sample predictor for the unavailable continuous measuremen…
▽ More
The present work provides a systematic approach for the design of sampled-data observers to a wide class of 1-D, parabolic PDEs with non-local outputs. The studied class of parabolic PDEs allows the presence of globally Lipschitz nonlinear and non-local terms in the PDE. Two different sampled-data observers are presented: one with an inter-sample predictor for the unavailable continuous measurement signal and one without an inter-sample predictor. Explicit conditions on the upper diameter of the (uncertain) sampling schedule for both designs are derived for exponential convergence of the observer error to zero in the absence of measurement noise and modeling errors. Moreover, explicit estimates of the convergence rate can be deduced based on the knowledge of the upper diameter of the sampling schedule. When measurement noise and/or modeling errors are present, Input-to-Output Stability (IOS) estimates of the observer error hold for both designs with respect to noise and modeling errors. The main results are illustrated by two examples which show how the proposed methodology can be extended to other cases (e.g., boundary point measurements).
△ Less
Submitted 8 January, 2019;
originally announced January 2019.
-
Adaptive Control By Regulation-Triggered Batch Least-Squares Estimation of Non-Observable Parameters
Authors:
Iasson Karafyllis,
Maria Kontorinaki,
Miroslav Krstic
Abstract:
The paper extends a recently proposed indirect, certainty-equivalence, event-triggered adaptive control scheme to the case of non-observable parameters. The extension is achieved by using a novel Batch Least-Squares Identifier (BaLSI), which is activated at the times of the events. The BaLSI guarantees the finite-time asymptotic constancy of the parameter estimates and the fact that the trajectori…
▽ More
The paper extends a recently proposed indirect, certainty-equivalence, event-triggered adaptive control scheme to the case of non-observable parameters. The extension is achieved by using a novel Batch Least-Squares Identifier (BaLSI), which is activated at the times of the events. The BaLSI guarantees the finite-time asymptotic constancy of the parameter estimates and the fact that the trajectories of the closed-loop system follow the trajectories of the nominal closed-loop system ("nominal" in the sense of the asymptotic parameter estimate, not in the sense of the true unknown parameter). Thus, if the nominal feedback guarantees global asymptotic stability and local exponential stability, then unlike conventional adaptive control, the newly proposed event-triggered adaptive scheme guarantees global asymptotic regulation with a uniform exponential convergence rate. The developed adaptive scheme is tested to a well-known control problem: the state regulation of the wing-rock model. Comparisons with other adaptive schemes are provided for this particular problem.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
Small-Gain-Based Boundary Feedback Design for Global Exponential Stabilization of 1-D Semilinear Parabolic PDEs
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This paper presents a novel methodology for the design of boundary feedback stabilizers for 1-D, semilinear, parabolic PDEs. The methodology is based on the use of small-gain arguments and can be applied to parabolic PDEs with nonlinearities that satisfy a linear growth condition. The nonlinearities may contain nonlocal terms. Two different types of boundary feedback stabilizers are constructed: a…
▽ More
This paper presents a novel methodology for the design of boundary feedback stabilizers for 1-D, semilinear, parabolic PDEs. The methodology is based on the use of small-gain arguments and can be applied to parabolic PDEs with nonlinearities that satisfy a linear growth condition. The nonlinearities may contain nonlocal terms. Two different types of boundary feedback stabilizers are constructed: a linear static boundary feedback and a nonlinear dynamic boundary feedback. It is also shown that there are fundamental limitations for feedback design in the parabolic case: arbitrary gain assignment is not possible by means of boundary feedback. An example with a nonlocal nonlinear term illustrates the applicability of the proposed methodology.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Boundary-to-Displacement Asymptotic Gains for Wave Systems With Kelvin-Voigt Damping
Authors:
Iasson Karafyllis,
Maria Kontorinaki,
Miroslav Krstic
Abstract:
We provide estimates for the asymptotic gains of the displacement of a vibrating string with endpoint forcing, modeled by the wave equation with Kelvin-Voigt and viscous damping and a boundary disturbance. Two asymptotic gains are studied: the gain in the L2 spatial norm and the gain in the spatial sup norm. It is shown that the asymptotic gain property holds in the L2 norm of the displacement wit…
▽ More
We provide estimates for the asymptotic gains of the displacement of a vibrating string with endpoint forcing, modeled by the wave equation with Kelvin-Voigt and viscous damping and a boundary disturbance. Two asymptotic gains are studied: the gain in the L2 spatial norm and the gain in the spatial sup norm. It is shown that the asymptotic gain property holds in the L2 norm of the displacement without any assumption for the damping coefficients. The derivation of the upper bounds for the asymptotic gains is performed by either employing an eigenfunction expansion methodology or by means of a small-gain argument, whereas a novel frequency analysis methodology is employed for the derivation of the lower bounds for the asymptotic gains. The graphical illustration of the upper and lower bounds for the gains shows that that the asymptotic gain in the L2 norm is estimated much more accurately than the asymptotic gain in the sup norm.
△ Less
Submitted 17 July, 2018;
originally announced July 2018.
-
Adaptive Boundary Control of Constant-Parameter Reaction-Diffusion PDEs Using Regulation-Triggered Finite-Time Identification
Authors:
Iasson Karafyllis,
Miroslav Krstic,
Katerina Chrysafi
Abstract:
For parabolic PDEs, we present a new certainty equivalence-based adaptive boundary control scheme with a least-squares identifier of an event-triggering type, where the triggering is based on the size of the regulation error (as opposed to the identifier updates being triggered by the estimation error, or the control changes being triggered by the regulation error). The scheme guarantees exponenti…
▽ More
For parabolic PDEs, we present a new certainty equivalence-based adaptive boundary control scheme with a least-squares identifier of an event-triggering type, where the triggering is based on the size of the regulation error (as opposed to the identifier updates being triggered by the estimation error, or the control changes being triggered by the regulation error). The scheme guarantees exponential convergence of the state to zero in the L2 norm and a finite-time convergence of the parameter estimates to the true values of the unknown parameters. The scheme is developed for a specific benchmark problem with Dirichlet actuation, where the only unknown parameters are the reaction coefficient and the high-frequency gain. For this specific problem, no existing adaptive scheme can handle the unknown high-frequency gain. An illustrative example allows the comparison with other adaptive control design methodologies.
△ Less
Submitted 22 May, 2018;
originally announced May 2018.
-
Feedback Control of Scalar Conservation Laws with Application to Density Control in Freeways by Means of Variable Speed Limits
Authors:
Iasson Karafyllis,
Markos Papageorgiou
Abstract:
The paper provides results for the stabilization of a spatially uniform equilibrium profile for a scalar conservation law that arises in the study of traffic dynamics under variable speed limit control. Two different control problems are studied: the problem with free speed limits at the inlet and the problem with no speed limits at the inlet. Explicit formulas are provided for respective feedback…
▽ More
The paper provides results for the stabilization of a spatially uniform equilibrium profile for a scalar conservation law that arises in the study of traffic dynamics under variable speed limit control. Two different control problems are studied: the problem with free speed limits at the inlet and the problem with no speed limits at the inlet. Explicit formulas are provided for respective feedback laws that guarantee stabilization of the desired equilibrium profile. For the first problem, global asymptotic stabilization is achieved; while for the second problem, regional exponential stabilization is achieved. Moreover, the solutions for the corresponding closed-loop systems are guaranteed to be classical solutions, i.e., there are no shocks. The obtained results are illustrated by means of a numerical example.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
Small-Gain Stability Analysis of Hyperbolic-Parabolic PDE Loops
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
This work provides stability results in the spatial sup norm for hyperbolic-parabolic loops in one spatial dimension. The results are obtained by an application of the small-gain stability analysis. Two particular cases are selected for the study because they contain challenges typical of more general systems (to which the results are easily generalizable but at the expense of less pedagogical cla…
▽ More
This work provides stability results in the spatial sup norm for hyperbolic-parabolic loops in one spatial dimension. The results are obtained by an application of the small-gain stability analysis. Two particular cases are selected for the study because they contain challenges typical of more general systems (to which the results are easily generalizable but at the expense of less pedagogical clarity and more notational clutter): (i) the feedback interconnection of a parabolic PDE with a first-order zero-speed hyperbolic PDE with boundary disturbances, and (ii) the feedback interconnection, by means of a combination of boundary and in-domain terms, of a parabolic PDE with a first-order hyperbolic PDE. The first case arises in the study of the movement of chemicals underground and includes the wave equation with Kelvin-Voigt damping as a subcase. The second case arises when we apply backstepping to a pair of hyperbolic PDEs that is obtained by ignoring diffusion phenomena. Moreover, the second case arises in the study of parabolic PDEs with distributed delays. In the first case, we provide sufficient conditions for ISS in the spatial sup norm with respect to boundary disturbances. In the second case, we provide (delay-independent) sufficient conditions for exponential stability in the spatial sup norm.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
Analysis and Control of a Non-Standard Hyperbolic PDE Traffic Flow Model
Authors:
Iasson Karafyllis,
Nikolaos Bekiaris-Liberis,
Markos Papageorgiou
Abstract:
The paper provides results for a non-standard, hyperbolic, 1-D, nonlinear traffic flow model on a bounded domain. The model consists of two first-order PDEs with a dynamic boundary condition that involves the time derivative of the velocity. The proposed model has features that are important from a traffic-theoretic point of view: is completely anisotropic and information travels forward exactly a…
▽ More
The paper provides results for a non-standard, hyperbolic, 1-D, nonlinear traffic flow model on a bounded domain. The model consists of two first-order PDEs with a dynamic boundary condition that involves the time derivative of the velocity. The proposed model has features that are important from a traffic-theoretic point of view: is completely anisotropic and information travels forward exactly at the same speed as traffic. It is shown that, for all physically meaningful initial conditions, the model admits a globally defined, unique, classical solution that remains positive and bounded for all times. Moreover, it is shown that global stabilization can be achieved for arbitrary equilibria by means of an explicit boundary feedback law. The stabilizing feedback law depends only on the inlet velocity and consequently, the measurement requirements for the implementation of the proposed boundary feedback law are minimal. The efficiency of the proposed boundary feedback law is demonstrated by means of a numerical example.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
Decay Estimates for 1-D Parabolic PDEs with Boundary Disturbances
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
In this work decay estimates are derived for the solutions of 1-D linear parabolic PDEs with disturbances at both boundaries and distributed disturbances. The decay estimates are given in the L2 and H1 norms of the solution and discontinuous disturbances are allowed. Although an eigenfunction expansion for the solution is exploited for the proof of the decay estimates, the estimates do not require…
▽ More
In this work decay estimates are derived for the solutions of 1-D linear parabolic PDEs with disturbances at both boundaries and distributed disturbances. The decay estimates are given in the L2 and H1 norms of the solution and discontinuous disturbances are allowed. Although an eigenfunction expansion for the solution is exploited for the proof of the decay estimates, the estimates do not require knowledge of the eigenvalues and the eigenfunctions of the corresponding Sturm-Liouville operator. Examples show that the obtained results can be applied for the stability analysis of parabolic PDEs with nonlocal terms.
△ Less
Submitted 5 June, 2017;
originally announced June 2017.
-
Sampled-Data Boundary Feedback Control of 1-D Hyperbolic PDEs with Non-Local Terms
Authors:
Iasson Karafyllis,
Miroslav Krstic
Abstract:
The paper provides results for the application of boundary feedback control with Zero-Order-Hold (ZOH) to 1-D linear, first-order, hyperbolic systems with non-local terms on bounded domains. It is shown that the emulation design based on the recently proposed continuous-time, boundary feedback, designed by means of backstepping, guarantees closed-loop exponential stability, provided that the sampl…
▽ More
The paper provides results for the application of boundary feedback control with Zero-Order-Hold (ZOH) to 1-D linear, first-order, hyperbolic systems with non-local terms on bounded domains. It is shown that the emulation design based on the recently proposed continuous-time, boundary feedback, designed by means of backstepping, guarantees closed-loop exponential stability, provided that the sampling period is sufficiently small. It is also shown that, contrary to the parabolic case, a smaller sampling period implies a faster convergence rate with no upper bound for the achieved convergence rate. The obtained results provide stability estimates for the sup-norm of the state and robustness with respect to perturbations of the sampling schedule is guaranteed.
△ Less
Submitted 28 February, 2017;
originally announced February 2017.
-
Yield Trajectory Tracking for Hyperbolic Age-Structured Population Systems
Authors:
Kevin Schmidt,
Iasson Karafyllis,
Miroslav Krstic
Abstract:
For population systems modeled by age-structured hyperbolic partial differential equations (PDEs) that are bilinear in the input and evolve with a positive-valued infinite-dimensional state, global stabilization of constant yield set points was achieved in prior work. Seasonal demands in biotechnological production processes give rise to time-varying yield references. For the proposed control obje…
▽ More
For population systems modeled by age-structured hyperbolic partial differential equations (PDEs) that are bilinear in the input and evolve with a positive-valued infinite-dimensional state, global stabilization of constant yield set points was achieved in prior work. Seasonal demands in biotechnological production processes give rise to time-varying yield references. For the proposed control objective aiming at a global attractivity of desired yield trajectories, multiple non-standard features have to be considered: a non-local boundary condition, a PDE state restricted to the positive orthant of the function space and arbitrary restrictive but physically meaningful input constraints. Moreover, we provide Control Lyapunov Functionals ensuring an exponentially fast attraction of adequate reference trajectories. To achieve this goal, we make use of the relation between first-order hyperbolic PDEs and integral delay equations leading to a decoupling of the input-dependent dynamics and the infinite-dimensional internal one. Furthermore, the dynamic control structure does not necessitate exact knowledge of the model parameters or online measurements of the age-profile. With a Galerkin-based numerical simulation scheme using the key ideas of the Karhunen-Loève-decomposition, we demonstrate the controller's performance.
△ Less
Submitted 31 March, 2017; v1 submitted 20 January, 2017;
originally announced January 2017.