-
Observer-Based Output-Feedback Backstepping Stabilization of Continua of Hyperbolic PDEs and Application to Large-Scale $n+m$ Coupled Hyperbolic PDEs
Authors:
Jukka-Pekka Humaloja,
Nikolaos Bekiaris-Liberis
Abstract:
We develop a non-collocated, observer-based output-feedback law for a class of continua of linear hyperbolic PDE systems, which are viewed as the continuum version of $n+m$, general heterodirectional hyperbolic systems as $n\to\infty$. The design relies on the introduction of a novel, continuum PDE backstepping transformation, which enables the construction of a Lyapunov functional for the estimat…
▽ More
We develop a non-collocated, observer-based output-feedback law for a class of continua of linear hyperbolic PDE systems, which are viewed as the continuum version of $n+m$, general heterodirectional hyperbolic systems as $n\to\infty$. The design relies on the introduction of a novel, continuum PDE backstepping transformation, which enables the construction of a Lyapunov functional for the estimation error system. Stability under the observer-based output-feedback law is established by using the Lyapunov functional construction for the estimation error system and proving well-posedness of the complete closed-loop system, which allows utilization of the separation principle.
Motivated by the fact that the continuum-based designs may provide computationally tractable control laws for large-scale, $n+m$ systems, we then utilize the control/observer kernels and the observer constructed for the continuum system to introduce an output-feedback control design for the original $n+m$ system. We establish exponential stability of the resulting closed-loop system, which consists of a mixed $n+m$-continuum PDE system (comprising the plant-observer dynamics), introducing a virtual continuum system with resets, which enables utilization of the continuum approximation property of the solutions of the $n+m$ system by its continuum counterpart (for large $n$). We illustrate the potential computational complexity/flexibility benefits of our approach via a numerical example of stabilization of a large-scale $n+m$ system, for which we employ the continuum observer-based controller, while the continuum-based stabilizing control/observer kernels can be computed in closed form.
△ Less
Submitted 11 March, 2025;
originally announced March 2025.
-
Stabilization of an unstable reaction-diffusion PDE with input delay despite state and input quantization
Authors:
Florent Koudohode,
Nikolaos Bekiaris-Liberis
Abstract:
We solve the global asymptotic stability problem of an unstable reaction-diffusion Partial Differential Equation (PDE) subject to input delay and state quantization developing a switched predictor-feedback law. To deal with the input delay, we reformulate the problem as an actuated transport PDE coupled with the original reaction-diffusion PDE. Then, we design a quantized predictor-based feedback…
▽ More
We solve the global asymptotic stability problem of an unstable reaction-diffusion Partial Differential Equation (PDE) subject to input delay and state quantization developing a switched predictor-feedback law. To deal with the input delay, we reformulate the problem as an actuated transport PDE coupled with the original reaction-diffusion PDE. Then, we design a quantized predictor-based feedback mechanism that employs a dynamic switching strategy to adjust the quantization range and error over time. The stability of the closed-loop system is proven properly combining backstepping with a small-gain approach and input-to-state stability techniques, for deriving estimates on solutions, despite the quantization effect and the system's instability. We also extend this result to the input quantization case.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Predictor-Feedback Stabilization of Globally Lipschitz Nonlinear Systems with State and Input Quantization
Authors:
Florent Koudohode,
Nikolaos Bekiaris-Liberis
Abstract:
We develop a switched nonlinear predictor-feedback control law to achieve global asymptotic stabilization for nonlinear systems with arbitrarily long input delay, under state quantization. The proposed design generalizes the nonlinear predictor-feedback framework by incorporating quantized measurements of both the plant and actuator states into the predictor state formulation. Due to the mismatch…
▽ More
We develop a switched nonlinear predictor-feedback control law to achieve global asymptotic stabilization for nonlinear systems with arbitrarily long input delay, under state quantization. The proposed design generalizes the nonlinear predictor-feedback framework by incorporating quantized measurements of both the plant and actuator states into the predictor state formulation. Due to the mismatch between the (inapplicable) exact predictor state and the predictor state constructed in the presence of state quantization, a global stabilization result is possible under a global Lipschitzness assumption on the vector field, as well as under the assumption of existence of a globally Lipschitz, nominal feedback law that achieves global exponential stability of the delay and quantization-free system. To address the constraints imposed by quantization, a dynamic switching strategy is constructed, adjusting the quantizer's tunable parameter in a piecewise constant manner-initially increasing the quantization range, to capture potentially large system states and subsequently refining the precision to reduce quantization error. The global asymptotic stability of the closed-loop system is established through solutions estimates derived using backstepping transformations, combined with small-gain and input-to-state stability arguments. We also extend our approach to the case of input quantization.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
Numerical investigation of the effect of macro control measures on epidemics transport via a coupled PDE crowd flow - epidemics spreading dynamics model
Authors:
A. I. Delis,
N. Bekiaris-Liberis
Abstract:
This work aims to provide an approach to the macroscopic modeling and simulation of pedestrian flow, coupled with contagion spreading, towards numerical investigation of the effect of certain, macro-control measures on epidemics transport dynamics. To model the dynamics of the pedestrians, a second-order macroscopic model, coupled with an Eikonal equation, is used. This model is coupled with a mac…
▽ More
This work aims to provide an approach to the macroscopic modeling and simulation of pedestrian flow, coupled with contagion spreading, towards numerical investigation of the effect of certain, macro-control measures on epidemics transport dynamics. To model the dynamics of the pedestrians, a second-order macroscopic model, coupled with an Eikonal equation, is used. This model is coupled with a macroscopic Susceptible-Exposed-Infected-Susceptible-Vaccinated (SEISV) contagion model, where the force-of-infection $β$ coefficient is modeled via a drift-diffusion equation, which is affected by the air-flow dynamics due to the ventilation. The air-flow dynamics are obtained assuming a potential flow that can imitate the existence of ventilation in the computational domain. Numerical approximations are considered for the coupled model along with numerical tests and results. In particular, we investigate the effect of employment of different, epidemics transport control measures, which may be implemented through real-time manipulation of i) ventilation rate and direction, ii) maximum speed of pedestrians, and iii) average distances between pedestrians, and through iv) incorporation in the crowd of masked or vaccinated individuals. Such simulations of disease spreading in a moving crowd can potentially provide valuable information about the risks of infection in relevant situations and support the design of systematic intervention/control measures.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
-
Backstepping Control of Continua of Linear Hyperbolic PDEs and Application to Stabilization of Large-Scale $n+m$ Coupled Hyperbolic PDE Systems
Authors:
Jukka-Pekka Humaloja,
Nikolaos Bekiaris-Liberis
Abstract:
We develop a backstepping control design for a class of continuum systems of linear hyperbolic PDEs, described by a coupled system of an ensemble of rightward transporting PDEs and a (finite) system of $m$ leftward transporting PDEs. The key analysis challenge of the design is to establish well-posedness of the resulting ensemble of kernel equations, since they evolve on a prismatic (3-D) domain a…
▽ More
We develop a backstepping control design for a class of continuum systems of linear hyperbolic PDEs, described by a coupled system of an ensemble of rightward transporting PDEs and a (finite) system of $m$ leftward transporting PDEs. The key analysis challenge of the design is to establish well-posedness of the resulting ensemble of kernel equations, since they evolve on a prismatic (3-D) domain and inherit the potential discontinuities of the kernels for the case of $n+m$ hyperbolic systems. We resolve this challenge generalizing the well-posedness analysis of Hu, Di Meglio, Vazquez, and Krstic to continua of general, heterodirectional hyperbolic PDE systems, while also constructing a proper Lyapunov functional.
Since the motivation for addressing such PDE systems continua comes from the objective to develop computationally tractable control designs for large-scale PDE systems, we then introduce a methodology for stabilization of general $n+m$ hyperbolic systems, constructing stabilizing backstepping control kernels based on the continuum kernels derived from the continuum system counterpart. This control design procedure is enabled by establishing that, as $n$ grows, the continuum backstepping control kernels can approximate (in certain sense) the exact kernels, and thus, they remain stabilizing (as formally proven). This approach guarantees that complexity of computation of stabilizing kernels does not grow with the number $n$ of PDE systems components. We further establish that the solutions to the $n+m$ PDE system converge, as $n\to\infty$, to the solutions of the corresponding continuum PDE system.
We also provide a numerical example in which the continuum kernels can be obtained in closed form (in contrast to the large-scale kernels), thus resulting in minimum complexity of control kernels computation, which illustrates the potential computational benefits of our approach.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Numerical and Lyapunov-Based Investigation of the Effect of Stenosis on Blood Transport Stability Using a Control-Theoretic PDE Model of Cardiovascular Flow
Authors:
Shantanu Singh,
Nikolaos Bekiaris-Liberis
Abstract:
We perform various numerical tests to study the effect of (boundary) stenosis on blood flow stability, employing a detailed and accurate, second-order finite-volume scheme for numerically implementing a partial differential equation (PDE) model, using clinically realistic values for the artery's parameters and the blood inflow. The model consists of a baseline $2\times 2$ hetero-directional, nonli…
▽ More
We perform various numerical tests to study the effect of (boundary) stenosis on blood flow stability, employing a detailed and accurate, second-order finite-volume scheme for numerically implementing a partial differential equation (PDE) model, using clinically realistic values for the artery's parameters and the blood inflow. The model consists of a baseline $2\times 2$ hetero-directional, nonlinear hyperbolic PDE system, in which, the stenosis' effect is described by a pressure drop at the outlet of an arterial segment considered. We then study the stability properties (observed in our numerical tests) of a reference trajectory, corresponding to a given time-varying inflow (e.g., a periodic trajectory with period equal to the time interval between two consecutive heartbeats) and stenosis severity, deriving the respective linearized system and constructing a Lyapunov functional. Due to the fact that the linearized system is time varying, with time-varying parameters depending on the reference trajectories themselves (that, in turn, depend in an implicit manner on the stenosis degree), which cannot be derived analytically, we verify the Lyapunov-based stability conditions obtained, numerically. Both the numerical tests and the Lyapunov-based stability analysis show that a reference trajectory is asymptotically stable with a decay rate that decreases as the stenosis severity deteriorates.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
On Computation of Approximate Solutions to Large-Scale Backstepping Kernel Equations via Continuum Approximation
Authors:
Jukka-Pekka Humaloja,
Nikolaos Bekiaris-Liberis
Abstract:
We provide two methods for computation of continuum backstepping kernels that arise in control of continua (ensembles) of linear hyperbolic PDEs and which can approximate backstepping kernels arising in control of a large-scale, PDE system counterpart (with computational complexity that does not grow with the number of state components of the large-scale system). In the first method, we provide ex…
▽ More
We provide two methods for computation of continuum backstepping kernels that arise in control of continua (ensembles) of linear hyperbolic PDEs and which can approximate backstepping kernels arising in control of a large-scale, PDE system counterpart (with computational complexity that does not grow with the number of state components of the large-scale system). In the first method, we provide explicit formulae for the solution to the continuum kernels PDEs, employing a (triple) power series representation of the continuum kernel and establishing its convergence properties. In this case, we also provide means for reducing computational complexity by properly truncating the power series (in the powers of the ensemble variable). In the second method, we identify a class of systems for which the solution to the continuum (and hence, also an approximate solution to the respective large-scale) kernel equations can be constructed in closed form. We also present numerical examples to illustrate computational efficiency/accuracy of the approaches, as well as to validate the stabilization properties of the approximate control kernels, constructed based on the continuum.
△ Less
Submitted 5 December, 2024; v1 submitted 19 June, 2024;
originally announced June 2024.
-
Simultaneous compensation of input delay and state/input quantization for linear systems via switched predictor feedback
Authors:
Florent Koudohode,
Nikolaos Bekiaris-Liberis
Abstract:
We develop a switched predictor-feedback law, which achieves global asymptotic stabilization of linear systems with input delay and with the plant and actuator states available only in (almost) quantized form. The control design relies on a quantized version of the nominal predictor-feedback law for linear systems, in which quantized measurements of the plant and actuator states enter the predicto…
▽ More
We develop a switched predictor-feedback law, which achieves global asymptotic stabilization of linear systems with input delay and with the plant and actuator states available only in (almost) quantized form. The control design relies on a quantized version of the nominal predictor-feedback law for linear systems, in which quantized measurements of the plant and actuator states enter the predictor state formula. A switching strategy is constructed to dynamically adjust the tunable parameter of the quantizer (in a piecewise constant manner), in order to initially increase the range and subsequently decrease the error of the quantizers. The key element in the proof of global asymptotic stability in the supremum norm of the actuator state is derivation of solutions' estimates combining a backstepping transformation with small-gain and input-to-state stability arguments, for addressing the error due to quantization. We extend this result to the input quantization case and illustrate our theory with a numerical example.
△ Less
Submitted 5 September, 2024; v1 submitted 17 April, 2024;
originally announced April 2024.
-
Stabilization of a Class of Large-Scale Systems of Linear Hyperbolic PDEs via Continuum Approximation of Exact Backstepping Kernels
Authors:
Jukka-Pekka Humaloja,
Nikolaos Bekiaris-Liberis
Abstract:
We establish that stabilization of a class of linear, hyperbolic partial differential equations (PDEs) with a large (nevertheless finite) number of components, can be achieved via employment of a backstepping-based control law, which is constructed for stabilization of a continuum version (i.e., as the number of components tends to infinity) of the PDE system. This is achieved by proving that the…
▽ More
We establish that stabilization of a class of linear, hyperbolic partial differential equations (PDEs) with a large (nevertheless finite) number of components, can be achieved via employment of a backstepping-based control law, which is constructed for stabilization of a continuum version (i.e., as the number of components tends to infinity) of the PDE system. This is achieved by proving that the exact backstepping kernels, constructed for stabilization of the large-scale system, can be approximated (in certain sense such that exponential stability is preserved) by the backstepping kernels constructed for stabilization of a continuum version (essentially an infinite ensemble) of the original PDE system. The proof relies on construction of a convergent sequence of backstepping kernels that is defined such that each kernel matches the exact backstepping kernels (derived based on the original, large-scale system), in a piecewise constant manner with respect to an ensemble variable; while showing that they satisfy the continuum backstepping kernel equations. We present a numerical example that reveals that complexity of computation of stabilizing backstepping kernels may not scale with the number of components of the PDE state, when the kernels are constructed on the basis of the continuum version, in contrast to the case in which they are constructed on the basis of the original, large-scale system. In addition, we formally establish the connection between the solutions to the large-scale system and its continuum counterpart. Thus, this approach can be useful for design of computationally tractable, stabilizing backstepping-based control laws for large-scale PDE systems.
△ Less
Submitted 4 November, 2024; v1 submitted 28 March, 2024;
originally announced March 2024.
-
On 1-D PDE-Based Cardiovascular Flow Bottleneck Modeling and Analysis: A Vehicular Traffic Flow-Inspired Approach
Authors:
Nikolaos Bekiaris-Liberis
Abstract:
We illustrate the potential of PDE-based traffic flow control in cardiovascular flow analysis, monitoring, and control, presenting a PDE-based control-oriented formulation, for 1-D blood flow dynamics in the presence of stenosis. This is achieved adopting an approach for modeling and analysis that relies on the potential correspondence of 1-D blood flow dynamics in the presence of stenosis, with 1…
▽ More
We illustrate the potential of PDE-based traffic flow control in cardiovascular flow analysis, monitoring, and control, presenting a PDE-based control-oriented formulation, for 1-D blood flow dynamics in the presence of stenosis. This is achieved adopting an approach for modeling and analysis that relies on the potential correspondence of 1-D blood flow dynamics in the presence of stenosis, with 1-D traffic flow dynamics in the presence of bottleneck. We reveal such correspondence in relation to the respective (for the two flow types), speed dynamics and a (consistent with them) fundamental diagram-based reduction; bottleneck dynamic effects description and resulting boundary conditions; and free-flow/congested regimes characterization.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
PDE-Based Feedback Control of Freeway Traffic Flow via Time-Gap Manipulation of ACC-Equipped Vehicles
Authors:
Nikolaos Bekiaris-Liberis,
Argiris I. Delis
Abstract:
We develop a control design for stabilization of traffic flow in congested regime, based on an Aw-Rascle-Zhang-type (ARZ-type) Partial Differential Equation (PDE) model, for traffic consisting of both ACC-equipped (Adaptive Cruise Control-equipped) and manual vehicles. The control input is the value of the time-gap setting of ACC-equipped and connected vehicles, which gives rise to a problem of co…
▽ More
We develop a control design for stabilization of traffic flow in congested regime, based on an Aw-Rascle-Zhang-type (ARZ-type) Partial Differential Equation (PDE) model, for traffic consisting of both ACC-equipped (Adaptive Cruise Control-equipped) and manual vehicles. The control input is the value of the time-gap setting of ACC-equipped and connected vehicles, which gives rise to a problem of control of a 2x2 nonlinear system of first-order hyperbolic PDEs with in-domain actuation. The feedback law is designed in order to stabilize the linearized system, around a uniform, congested equilibrium profile. Stability of the closed-loop system under the developed control law is shown constructing a Lyapunov functional. Convective stability is also proved adopting an input-output approach. The performance improvement of the closed-loop system under the proposed strategy is illustrated in simulation, also employing four different metrics, which quantify the performance in terms of fuel consumption, total travel time, and comfort.
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Nonlinear Bilateral Output-Feedback Control for a Class of Viscous Hamilton-Jacobi PDEs
Authors:
Nikolaos Bekiaris-Liberis,
Rafael Vazquez
Abstract:
We tackle the boundary control and estimation problems for a class of viscous Hamilton-Jacobi PDEs, considering bilateral actuation and sensing, i.e., at the two boundaries of a 1-D spatial domain. First, we solve the nonlinear trajectory generation problem for this type of PDEs, providing the necessary feedforward actions at both boundaries. Second, in order to guarantee trajectory tracking with…
▽ More
We tackle the boundary control and estimation problems for a class of viscous Hamilton-Jacobi PDEs, considering bilateral actuation and sensing, i.e., at the two boundaries of a 1-D spatial domain. First, we solve the nonlinear trajectory generation problem for this type of PDEs, providing the necessary feedforward actions at both boundaries. Second, in order to guarantee trajectory tracking with an arbitrary decay rate, we construct nonlinear, full-state feedback laws employed at the two boundary ends. Third, a nonlinear observer is constructed, using measurements from both boundaries, which is combined with the full-state feedback designs into an observer-based output-feedback law. All of our designs are explicit since they are constructed interlacing a feedback linearizing transformation (which we introduce) with backstepping. Due to the fact that the linearizing transformation is locally invertible, only regional stability results are established, which are, nevertheless, accompanied with region of attraction estimates. Our stability proofs are based on the utilization of the linearizing transformation together with the employment of backstepping transformations, suitably formulated to handle the case of bilateral actuation and sensing. We illustrate the developed methodologies via application to traffic flow control and we present consistent simulation results.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
Compensation of Actuator Dynamics Governed by Quasilinear Hyperbolic PDEs
Authors:
Nikolaos Bekiaris-Liberis,
Miroslav Krstic
Abstract:
We present a methodology for stabilization of general nonlinear systems with actuator dynamics governed by general, quasilinear, first-order hyperbolic PDEs. Since for such PDE-ODE cascades the speed of propagation depends on the PDE state itself (which implies that the prediction horizon cannot be a priori known analytically), the key design challenge is the determination of the predictor state.…
▽ More
We present a methodology for stabilization of general nonlinear systems with actuator dynamics governed by general, quasilinear, first-order hyperbolic PDEs. Since for such PDE-ODE cascades the speed of propagation depends on the PDE state itself (which implies that the prediction horizon cannot be a priori known analytically), the key design challenge is the determination of the predictor state. We resolve this challenge and introduce a PDE predictor-feedback control law that compensates the transport actuator dynamics. Due to the potential formation of shock waves in the solutions of quasilinear, first-order hyperbolic PDEs (which is related to the fundamental restriction for systems with time-varying delays that the delay rate is bounded by unity), we limit ourselves to a certain feasibility region around the origin and we show that the PDE predictor-feedback law achieves asymptotic stability of the closed-loop system, providing an estimate of its region of attraction. Our analysis combines Lyapunov-like arguments and ISS estimates. Since it may be intriguing as to what is the exact relation of the cascade to a system with input delay, we highlight the fact that the considered PDE-ODE cascade gives rise to a system with input delay, with a delay that depends on past input values (defined implicitly via a nonlinear equation).
△ Less
Submitted 20 October, 2017;
originally announced October 2017.
-
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.
-
Predictor-Feedback Stabilization of Multi-Input Nonlinear Systems
Authors:
Nikolaos Bekiaris-Liberis,
Miroslav Krstic
Abstract:
We develop a predictor-feedback control design for multi-input nonlinear systems with distinct input delays, of arbitrary length, in each individual input channel. Due to the fact that different input signals reach the plant at different time instants, the key design challenge, which we resolve, is the construction of the predictors of the plant's state over distinct prediction horizons such that…
▽ More
We develop a predictor-feedback control design for multi-input nonlinear systems with distinct input delays, of arbitrary length, in each individual input channel. Due to the fact that different input signals reach the plant at different time instants, the key design challenge, which we resolve, is the construction of the predictors of the plant's state over distinct prediction horizons such that the corresponding input delays are compensated. Global asymptotic stability of the closed-loop system is established by utilizing arguments based on Lyapunov functionals or estimates on solutions. We specialize our methodology to linear systems for which the predictor-feedback control laws are available explicitly and for which global exponential stability is achievable. A detailed example is provided dealing with the stabilization of the nonholonomic unicycle, subject to two different input delays affecting the speed and turning rate, for the illustration of our methodology.
△ Less
Submitted 24 August, 2015;
originally announced August 2015.
-
Time- and State-Dependent Input Delay-Compensated Bang-Bang Control of a Screw Extruder for 3D Printing
Authors:
Mamadou Diagne,
Nikolaos Bekiaris-Liberis,
Miroslav Krstic
Abstract:
A delay-compensated Bang-Bang control design methodology for the control of the nozzle output flow rate of screw-extruder-based 3D printing processes is developed. The presented application has a great potential to move beyond the most commonly used processes such as Fused Deposition Modeling (FDM) and Syringe Based Extrusion (SBE), improving the build speed. A geometrical decomposition of the scr…
▽ More
A delay-compensated Bang-Bang control design methodology for the control of the nozzle output flow rate of screw-extruder-based 3D printing processes is developed. The presented application has a great potential to move beyond the most commonly used processes such as Fused Deposition Modeling (FDM) and Syringe Based Extrusion (SBE), improving the build speed. A geometrical decomposition of the screw extruder in a partially and a fully filled regions (PFZ and FFZ) allows to describe the material convection in the extruder chamber by a 1D hyperbolic Partial Differential Equation (PDE) coupled with an Ordinary Differential Equation (ODE). After solving the hyperbolic PDE by the Method of Characteristics (MC), the coupled PDE-ODE's system is transformed into a nonlinear state-dependent input delay system. The aforementioned delay system is extended to the nonisothermal case with the consideration of periodic fluctuations acting on the material's convection speed, which represent the effect of viscosity variations due to temperature changes in the extruder chamber, resulting to a nonlinear system with an input delay that simultaneously depends on the state and the time variable. Global Exponential Stability (GES) of the nonlinear delay-free plant is established under a piecewise exponential feedback controller that is designed. By combining the nominal, piecewise exponential feedback controller with nonlinear predictor feedback the compensation of the time- and state-dependent input delay of the extruder model is achieved. Global Asymptotic Stability (GAS) of the closed-loop system under the Bang-Bang predictor feedback control law is established when certain conditions, which are easy to verify, related to the extruder design and the material properties, as well as to the magnitude and frequency of the materials transport speed variations, are satisfied.
△ Less
Submitted 23 May, 2015;
originally announced May 2015.
-
Highway Traffic State Estimation with Mixed Connected and Conventional Vehicles
Authors:
Nikolaos Bekiaris-Liberis,
Claudio Roncoli,
Markos Papageorgiou
Abstract:
A macroscopic model-based approach for estimation of the traffic state, specifically of the (total) density and flow of vehicles, is developed for the case of "mixed" traffic, i.e., traffic comprising both ordinary and connected vehicles. The development relies on the following realistic assumptions: (i) The density and flow of connected vehicles are known at the (local or central) traffic monitor…
▽ More
A macroscopic model-based approach for estimation of the traffic state, specifically of the (total) density and flow of vehicles, is developed for the case of "mixed" traffic, i.e., traffic comprising both ordinary and connected vehicles. The development relies on the following realistic assumptions: (i) The density and flow of connected vehicles are known at the (local or central) traffic monitoring and control unit on the basis of their regularly reported positions, and (ii) the average speed of conventional vehicles is roughly equal to the average speed of connected vehicles. Thus, complete traffic state estimation (for arbitrarily selected segments in the network) may be achieved by merely estimating the percentage of connected vehicles with respect to the total number of vehicles. A model is derived, which describes the dynamics of the percentage of connected vehicles, utilizing only well-known conservation law equations that describe the dynamics of the density of connected vehicles and of the total density of all vehicles. Based on this model, which is a linear time-varying system, an estimation algorithm for the percentage of connected vehicles is developed employing a Kalman filter. The estimation methodology is validated through simulations using a second-order macroscopic traffic flow model as ground truth for the traffic state. The approach calls for a minimum of spot sensor-based total flow measurements {according to a variety of possible location configurations.
△ Less
Submitted 26 April, 2015;
originally announced April 2015.
-
Modeling and Estimation of the Humans' Effect on the CO2 Dynamics Inside a Conference Room
Authors:
Kevin Weekly,
Nikolaos Bekiaris-Liberis,
Alexandre M. Bayen
Abstract:
We develop a data-driven, {\em Partial Differential Equation-Ordinary Differential Equation} (PDE-ODE) model that describes the response of the {\em Carbon Dioxide} (\cotwon) dynamics inside a conference room, due to the presence of humans, or of a user-controlled exogenous source of \cotwon. We conduct two controlled experiments in order to develop and tune a model whose output matches the measur…
▽ More
We develop a data-driven, {\em Partial Differential Equation-Ordinary Differential Equation} (PDE-ODE) model that describes the response of the {\em Carbon Dioxide} (\cotwon) dynamics inside a conference room, due to the presence of humans, or of a user-controlled exogenous source of \cotwon. We conduct two controlled experiments in order to develop and tune a model whose output matches the measured output concentration of \cotwo inside the room, when known inputs are applied to the model. In the first experiment, a controlled amount of \cotwo gas is released inside the room from a regulated supply, and in the second, a known number of humans produce a certain amount of \cotwo inside the room. For the estimation of the exogenous inputs, we design an observer, based on our model, using measurements of \cotwo concentrations at two locations inside the room. Parameter identifiers are also designed, based on our model, for the online estimation of the parameters of the model. We perform several simulation studies for the illustration of our designs.
△ Less
Submitted 20 March, 2014;
originally announced March 2014.
-
Robustness of Nonlinear Predictor Feedback Laws to Time- and State-Dependent Delay Perturbations
Authors:
Nikolaos Bekiaris-Liberis,
Miroslav Krstic
Abstract:
Much recent progress has been achieved for stabilization of linear and nonlinear systems with input delays that are long and dependent on either time or the plant state---provided the dependence is known. In this paper we consider the delay variations as unknown and study robustness of nominal constant-delay predictor feedbacks under delay variations that depend on time and the state. We show that…
▽ More
Much recent progress has been achieved for stabilization of linear and nonlinear systems with input delays that are long and dependent on either time or the plant state---provided the dependence is known. In this paper we consider the delay variations as unknown and study robustness of nominal constant-delay predictor feedbacks under delay variations that depend on time and the state. We show that when the delay perturbation and its rate have sufficiently small magnitude, the local asymptotic stability of the closed-loop system, under the nominal predictor-based design, is preserved. For the special case of linear systems, and under only time-varying delay perturbations, we prove robustness of global exponential stability of the predictor feedback when the delay perturbation and its rate are small in any one of four different metrics. We present two examples, one that is concerned with the control of a DC motor through a network and one of a bilateral teleoperation between two robotic systems.
△ Less
Submitted 8 September, 2012;
originally announced September 2012.
