Source author record

Iasson Karafyllis

Iasson Karafyllis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

46works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

46 published item(s)

preprint2023arXiv

A Particle Method for 1-D Compressible Fluid Flow

This paper proposes a novel particle scheme that provides convergent approximations of a weak solution of the Navier-Stokes equations for the 1-D flow of a viscous compressible fluid. Moreover, it is shown that all differential inequalities that hold for the fluid model are preserved by the particle method: mass is conserved, mechanical energy is decaying, and a modified mechanical energy functional is also decaying. The proposed particle method can be used both as a numerical method and as a method of proving existence of solutions for compressible fluid models.

preprint2023arXiv

Adaptive Regulation with Global KL Guarantees

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.

preprint2023arXiv

Feedback Stabilization of Tank-Liquid System with Robustness to Surface Tension

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.

preprint2022arXiv

Constructing Artificial Traffic Fluids by Designing Cruise Controllers

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.

preprint2022arXiv

Cruise Controllers for Lane-Free Ring-Roads based on Control Lyapunov Functions

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.

preprint2022arXiv

Feedback Stabilization of Tank-Liquid System with Robustness to Wall Friction

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.

preprint2022arXiv

Growth conditions for global exponential stability and exp-ISS of time-delay systems under point-wise dissipation

For time-delay systems, it is known that global asymptotic stability is guaranteed by the existence of a Lyapunov-Krasovskii functional that dissipates in a point-wise manner along solutions, namely whose dissipation rate involves only the current value of the solution's norm. So far, the extension of this result to global exponential stability (GES) holds only for systems ruled by a globally Lipschitz vector field and remains largely open for the input-to-state stability (ISS) property. In this paper, we rely on the notion of exponential ISS to extend the class of systems for which GES or ISS can be concluded from a point-wise dissipation. Our results in turn show that these properties still hold in the presence of a sufficiently small additional term involving the whole state history norm. We provide explicit estimates of the tolerable magnitude of this extra term and show through an example how it can be used to assess robustness with respect to modeling uncertainties.

preprint2022arXiv

Is Global Asymptotic Stability Necessarily Uniform for Time-Delay Systems?

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.

preprint2022arXiv

Output-Feedback Control of Viscous Liquid-Tank System and its Numerical Approximation

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.

preprint2020arXiv

Analysis and Control of a Non-Local PDE Traffic Flow Model

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.

preprint2020arXiv

Event-Triggered Control of a Continuum Model of Highly Re-Entrant Manufacturing System

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.

preprint2020arXiv

Event-triggered gain scheduling of reaction-diffusion PDEs

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.

preprint2020arXiv

ISS Estimates in the Spatial Sup-Norm for Nonlinear 1-D Parabolic PDEs

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.

preprint2020arXiv

Nonlinear Adaptive Cruise Control of Vehicular Platoons

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.

preprint2020arXiv

On the Relation of IOS-Gains and Asymptotic Gains For Linear Systems

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.

preprint2016arXiv

Adaptive Certainty-Equivalence Control With Regulation-Triggered Finite-Time Least-Squares Identification, Part I: Design

For general nonlinear control systems we present a novel approach to adaptive control, which employs a certainty equivalence (indirect) control law and an identifier with event-triggered updates of the plant parameter estimates, where the triggers are based on the size of the plant's state and the updates are conducted using a non-recursive least-squares estimation over certain finite time intervals, with updates employing delayed measurements of the state. With a suitable non-restrictive parameter-observability assumption, our adaptive controller guarantees global stability, regulation of the plant state, and our identifier achieves parameter convergence, in finite time, even in the absence of persistent excitation, for all initial conditions other than those where the initial plant state is zero. The robustness of our event-triggered adaptive control scheme to vanishing and non-vanishing disturbances is verified in simulations with the assistance of a dead zone-like modification of the update law. The major distinctions of our approach from supervisory adaptive schemes is that our approach is indirect and our triggering is related to the control objective (the regulation error). The major distinction from the classical indirect Lyapunov adaptive schemes based on tuning related to the regulation error is that our approach does not involve a complex redesign of the controller to compensate for the detrimental effects of rapid tuning on the transients by incorporating the update law into the control law. Instead, our approach allows for the first time to use a simple certainty equivalence adaptive controller for general nonlinear systems. All proofs are given in a companion paper.

preprint2016arXiv

Adaptive Certainty-Equivalence Control With Regulation-Triggered Finite-Time Least-Squares Identification, Part II: Analysis

We present the stability analysis for the new regulation-triggered approach to adaptive control introduced in a companion paper. Due to the fact that the closed-loop system is hybrid, our proofs have essential differences from the conventional adaptive control proofs, where the Lyapunov analysis either encompasses the complete closed-loop state or is done in multiple steps through comparison or Gronwall-Bellman lemmas. In addition, we present a convenient algorithm for checking our parameter-observability assumption, which involves repeated Lie derivatives of appropriate vector fields and can be applied to the class of nonlinear control systems for which at most one unknown parameter appears in each differential equation.

preprint2016arXiv

Global Exponential Stabilization of Acyclic Traffic Networks

This work is devoted to the construction of explicit feedback control laws for the robust, global, exponential stabilization of general, uncertain, discrete-time, acyclic traffic networks. We consider discrete-time, uncertain network models which satisfy very weak assumptions. The construction of the controllers and the rigorous proof of the robust, global, exponential stability for the closed-loop system are based on recently proposed vector-Lyapunov function criteria, as well as the fact that the network is acyclic. It is shown, in this study, that the latter requirement is necessary for the existence of a robust, global, exponential stabilizer of the desired uncongested equilibrium point of the network. An illustrative example demonstrates the applicability of the obtained results to realistic traffic flow networks.

preprint2016arXiv

ISS in Different Norms for 1-D Parabolic PDES With Boundary Disturbances

For 1-D parabolic PDEs with disturbances at both boundaries and distributed disturbances we provide ISS estimates in various norms. Due to the lack of an ISS Lyapunov functional for boundary disturbances, the proof methodology uses (i) an eigenfunction expansion of the solution, and (ii) a finite-difference scheme. The ISS estimate for the sup-norm leads to a refinement of the well-known maximum principle for the heat equation. Finally, the obtained results are applied to quasi-static thermoelasticity models that involve nonlocal boundary conditions. Small-gain conditions that guarantee the global exponential stability of the zero solution for such models are derived.

preprint2016arXiv

Stability of Integral Delay Equations and Stabilization of Age-Structured Models

We present bounded dynamic (but observer-free) output feedback laws that achieve global stabilization of equilibrium profiles of the partial differential equation (PDE) model of a simplified, age-structured chemostat model. The chemostat PDE state is positive-valued, which means that our global stabilization is established in the positive orthant of a particular function space-a rather non-standard situation, for which we develop non-standard tools. Our feedback laws do not employ any of the (distributed) parametric knowledge of the model. Moreover, we provide a family of highly unconventional Control Lyapunov Functionals (CLFs) for the age-structured chemostat PDE model. Two kinds of feedback stabilizers are provided: stabilizers with continuously adjusted input and sampled-data stabilizers. The results are based on the transformation of the first-order hyperbolic partial differential equation to an ordinary differential equation (one-dimensional) and an integral delay equation (infinite-dimensional). Novel stability results for integral delay equations are also provided; the results are of independent interest and allow the explicit construction of the CLF for the age-structured chemostat model.

preprint2015arXiv

Ergodic Theorem for Stabilization of a Hyperbolic PDE Inspired by Age-Structured Chemostat

We study a feedback stabilization problem for a first-order hyperbolic partial differential equation. The problem is inspired by the stabilization of equilibrium age profiles for an age-structured chemostat, using the dilution rate as the control. Two distinguishing features of the problem are that (a) the PDE has a multiplicative (instead of an additive) input and (b) the state is fed back to the inlet boundary. We provide a sampled-data feedback that ensures stabilization under arbitrarily sparse sampling and that satisfies input constraints. Our chemostat feedback does not require measurement of the age profile, nor does it require exact knowledge of the model.

preprint2015arXiv

Global Exponential Stabilization of Freeway Models

This work is devoted to the construction of feedback laws which guarantee the robust global exponential stability of the uncongested equilibrium point for general discrete-time freeway models. The feedback construction is based on a control Lyapunov function approach and exploits certain important properties of freeway models. The developed feedback laws are tested in simulation and a detailed comparison is made with existing feedback laws in the literature. The robustness properties of the corresponding closed-loop system with respect to measurement errors are also studied.

preprint2015arXiv

ISS With Respect to Boundary Disturbances for 1-D Parabolic PDES

Due to unbounded input operators in partial differential equations (PDEs) with boundary inputs, there has been a long-held intuition that input-to-state stability (ISS) properties and finite gains cannot be established with respect to disturbances at the boundary. This intuition has been reinforced by many unsuccessful attempts, as well as by the success in establishing ISS only with respect to the derivative of the disturbance. Contrary to this intuition, we establish such a result for parabolic PDEs. Our methodology does not rely on the transformation of the boundary disturbance to a distributed input and the stability analysis is performed in time-varying subsets of the state space. The obtained results are used for the comparison of the gain coefficients of transport PDEs with respect to inlet disturbances and for the establishment of the ISS property with respect to control actuator errors for parabolic systems under boundary feedback control.

preprint2015arXiv

Robust Global Adaptive Exponential Stabilization of Discrete-Time Systems with Application to Freeway Traffic Control

This paper is devoted to the development of adaptive control schemes for uncertain discrete-time systems, which guarantee robust, global, exponential convergence to the desired equilibrium point of the system. The proposed control scheme consists of a nominal feedback law, which achieves robust, global, exponential stability properties when the vector of the parameters is known, in conjunction with a nonlinear, dead-beat observer. The obtained results are applicable to highly nonlinear, uncertain discrete-time systems with unknown constant parameters. The applicability of the obtained results to real control problems is demonstrated by the rigorous application of the proposed adaptive control scheme to uncertain freeway models.

preprint2015arXiv

Sampled-Data Stabilization of Nonlinear Delay Systems with a Compact Absorbing Set

We present a methodology for the global sampled-data stabilization of systems with a compact absorbing set and input/measurement delays. The methodology is based on the Inter-Sample-Predictor, Observer, Predictor, Delay-Free Controller (ISP-O-P-DFC) scheme and the stabilization is robust to perturbations of the sampling schedule. The obtained results are novel even for the delay-free case.

preprint2014arXiv

Global Stability Results for Traffic Networks

This paper provides sufficient conditions for global asymptotic stability and global exponential stability, which can be applied to nonlinear, large-scale, uncertain discrete-time systems. The conditions are derived by means of vector Lyapunov functions. The obtained results are applied to traffic networks for the derivation of sufficient conditions of global exponential stability of the uncongested equilibrium point of the network. Specific results and algorithms are provided for freeway models. Various examples illustrate the applicability of the obtained results.

preprint2013arXiv

Global Stabilization of Nonlinear Delay Systems With a Compact Absorbing Set

Predictor-based stabilization results are provided for nonlinear systems with input delays and a compact absorbing set. The control scheme consists of an inter-sample predictor, a global observer, an approximate predictor, and a nominal controller for the delay-free case. The control scheme is applicable even to the case where the measurement is sampled and possibly delayed. The closed-loop system is shown to have the properties of global asymptotic stability and exponential convergence in the disturbance-free case, robustness with respect to perturbations of the sampling schedule, and robustness with respect to measurement errors. In contrast to existing predictor feedback laws, the proposed control scheme utilizes an approximate predictor of a dynamic type which is expressed by a system described by Integral Delay Equations. Additional results are provided for systems that can be transformed to systems with a compact absorbing set by means of a preliminary predictor feedback.

preprint2013arXiv

Predictor-Based Tracking For Neuromuscular Electrical Stimulation

A new hybrid tracking controller for neuromuscular electrical stimulation is proposed. The control scheme uses sampled measurements and is designed by utilizing a numerical prediction of the state variables. The tracking error of the closed-loop system converges exponentially to zero and robustness to perturbations of the sampling schedule is exhibited. One of the novelties of our approach is the ability to satisfy a state constraint imposed by the physical system.

preprint2013arXiv

Stability Results for Simple Traffic Models Under PI-Regulator Control

This paper provides necessary conditions and sufficient conditions for the (global) Input-to-State Stability property of simple uncertain vehicular-traffic network models under the effect of a PI-regulator. Local stability properties for vehicular-traffic networks under the effect of PI-regulator control are studied as well: the region of attraction of a locally exponentially stable equilibrium point is estimated by means of Lyapunov functions. All obtained results are illustrated by means of simple examples.

preprint2013arXiv

Stabilization of Nonlinear Delay Systems Using Approximate Predictors and High-Gain Observers

We provide a solution to the heretofore open problem of stabilization of systems with arbitrarily long delays at the input and output of a nonlinear system using output feedback only. The solution is global, employs the predictor approach over the period that combines the input and output delays, addresses nonlinear systems with sampled measurements and with control applied using a zero-order hold, and requires that the sampling/holding periods be sufficiently short, though not necessarily constant. Our approach considers a class of globally Lipschitz strict-feedback systems with disturbances and employs an appropriately constructed successive approximation of the predictor map, a high-gain sampled-data observer, and a linear stabilizing feedback for the delay-free system. The obtained results guarantee robustness to perturbations of the sampling schedule and different sampling and holding periods are considered. The approach is specialized to linear systems, where the predictor is available explicitly.

preprint2012arXiv

Converse Lyapunov-Krasovskii Theorems for Systems Described by Neutral Functional Differential Equation in Hale's Form

In this paper we show that the existence of a Lyapunov-Krasovskii functional is necessary and sufficient condition for the uniform global asymptotic stability and the global exponential stability of time-invariant systems described by neutral functional differential equations in Hale's form. It is assumed that the difference operator is linear and strongly stable, and that the map in the right-hand side of the equation is Lipschitz on bounded sets. A link between global exponential stability and input-to-state stability is also provided. @ The extended version of this paper has been submitted to the International Journal of Control, Taylor & Francis.

preprint2012arXiv

Delay-Robustness of Linear Predictor Feedback Without Restriction on Delay Rate

Robustness is established for the predictor feedback for linear time-invariant systems with respect to possibly time-varying perturbations of the input delay, with a constant nominal delay. Prior results have addressed qualitatively constant delay perturbations (robustness of stability in L2 norm of actuator state) and delay perturbations with restricted rate of change (robustness of stability in H1 norm of actuator state). The present work provides simple formulae that allow direct and accurate computation of the least upper bound of the magnitude of the delay perturbation for which exponential stability in supremum norm on the actuator state is preserved. While prior work has employed Lyapunov-Krasovskii functionals constructed via backstepping, the present work employs a particular form of small-gain analysis. Two cases are considered: the case of measurable (possibly discontinuous) perturbations and the case of constant perturbations.

preprint2012arXiv

Feedback Stabilization Methods for the Solution of Nonlinear Programming Problems

In this work we show that given a nonlinear programming problem, it is possible to construct a family of dynamical systems defined on the feasible set of the given problem, so that: (a) the equilibrium points are the unknown critical points of the problem, (b) each dynamical system admits the objective function of the problem as a Lyapunov function, and (c) explicit formulae are available without involving the unknown critical points of the problem. The construction of the family of dynamical systems is based on the Control Lyapunov Function methodology, which is used in mathematical control theory for the construction of stabilizing feedback. The knowledge of a dynamical system with the previously mentioned properties allows the construction of algorithms which guarantee global convergence to the set of the critical points.

preprint2012arXiv

Global Exponential Sampled-Data Observers for Nonlinear Systems with Delayed Measurements

This paper presents new results concerning the observer design for wide classes of nonlinear systems with both sampled and delayed measurements. By using a small gain approach we provide sufficient conditions, which involve both the delay and the sampling period, ensuring exponential convergence of the observer system error. The proposed observer is robust with respect to measurement errors and perturbations of the sampling schedule. Moreover, new results on the robust global exponential state predictor design problem are provided, for wide classes of nonlinear systems.

preprint2012arXiv

Global stabilization of nonlinear systems based on vector control lyapunov functions

This paper studies the use of vector Lyapunov functions for the design of globally stabilizing feedback laws for nonlinear systems. Recent results on vector Lyapunov functions are utilized. The main result of the paper shows that the existence of a vector control Lyapunov function is a necessary and sufficient condition for the existence of a smooth globally stabilizing feedback. Applications to nonlinear systems are provided: simple and easily checkable sufficient conditions are proposed to guarantee the existence of a smooth globally stabilizing feedback law. The obtained results are applied to the problem of the stabilization of an equilibrium point of a reaction network taking place in a continuous stirred tank reactor.

preprint2012arXiv

Numerical Schemes for Nonlinear Predictor Feedback

Implementation is a common problem with feedback laws with distributed delays. This paper focuses on a specific aspect of the implementation problem for predictor-based feedback laws: the problem of the approximation of the predictor mapping. It is shown that the numerical approximation of the predictor mapping by means of a numerical scheme in conjunction with a hybrid feedback law that uses sampled measurements, can be used for the global stabilization of all forward complete nonlinear systems that are globally asymptotically stabilizable and locally exponentially stabilizable in the delay-free case. Special results are provided for the linear time invariant case. Explicit formulae are provided for the estimation of the parameters of the resulting hybrid control scheme.

preprint2012arXiv

Robust Predictor Feedback for Discrete-Time Systems with Input Delays

This work studies the design problem of feedback stabilizers for discrete-time systems with input delays. A backstepping procedure is proposed for disturbance-free discrete-time systems. The feedback law designed by using backstepping coincides with the predictor-based feedback law used in continuous-time systems with input delays. However, simple examples demonstrate that the sensitivity of the closed-loop system with respect to modeling errors increases as the value of the delay increases. The paper proposes a Lyapunov redesign procedure which can minimize the effect of the uncertainty. Specific results are provided for linear single-input discrete-time systems with multiplicative uncertainty. The feedback law that guarantees robust global exponential stability is a nonlinear, homogeneous of degree 1 feedback law.

preprint2011arXiv

Global Exponential Observers for Two Classes of Nonlinear Systems

This paper develops sufficient conditions for the existence of global exponential observers for two classes of nonlinear systems: (i) the class of systems with a globally asymptotically stable compact set, and (ii) the class of systems that evolve on an open set. In the first class, the derived continuous-time observer also leads to the construction of a robust global sampled-data exponential observer, under additional conditions. Two illustrative examples of applications of the general results are presented, one is a system with monotone nonlinearities and the other is the chemostat system.

preprint2011arXiv

Global stabilization of feedforward systems under perturbations in sampling schedule

For nonlinear systems that are known to be globally asymptotically stabilizable, control over networks introduces a major challenge because of the asynchrony in the transmission schedule. Maintaining global asymptotic stabilization in sampled-data implementations with zero-order hold and with perturbations in the sampling schedule is not achievable in general but we show in this paper that it is achievable for the class of feedforward systems. We develop sampled-data feedback stabilizers which are not approximations of continuous-time designs but are discontinuous feedback laws that are specifically developed for maintaining global asymptotic stabilizability under any sequence of sampling periods that is uniformly bounded by a certain "maximum allowable sampling period".

preprint2011arXiv

Predictor-Based Output Feedback for Nonlinear Delay Systems

We provide two solutions to the heretofore open problem of stabilization of systems with arbitrarily long delays at the input and output of a nonlinear system using output feedback only. Both of our solutions are global, employ the predictor approach over the period that combines the input and output delays, address nonlinear systems with sampled measurements and with control applied using a zero-order hold, and require that the sampling/holding periods be sufficiently short, though not necessarily constant. Our first approach considers general nonlinear systems for which the solution map is available explicitly and whose one-sample-period predictor-based discrete-time model allows state reconstruction, in a finite number of steps, from the past values of inputs and output measurements. Our second approach considers a class of globally Lipschitz strict-feedback systems with disturbances and employs an appropriately constructed successive approximation of the predictor map, a high-gain sampled-data observer, and a linear stabilizing feedback for the delay-free system. We specialize the second approach to linear systems, where the predictor is available explicitly. We provide two illustrative examples-one analytical for the first approach and one numerical for the second approach.

preprint2010arXiv

Nash Equilibrium and Robust Stability in Dynamic Games: A Small-Gain Perspective

This paper develops a novel methodology to study robust stability properties of Nash equilibrium points in dynamic games. Small-gain techniques in modern mathematical control theory are used for the first time to derive conditions guaranteeing uniqueness and global asymptotic stability of Nash equilibrium point for economic models described by functional difference equations. Specification to a Cournot oligopoly game is studied in detail to demonstrate the power of the proposed methodology.

preprint2010arXiv

New Results in Trajectory-Based Small-Gain with Application to the Stabilization of a Chemostat

New trajectory-based small-gain results are obtained for nonlinear feedback systems under relaxed assumptions. Specifically, during a transient period, the solutions of the feedback system may not satisfy some key inequalities that previous small-gain results usually utilize to prove stability properties. The results allow the application of the small-gain perspective to various systems which satisfy less demanding stability notions than the Input-to-Output Stability property. The robust global feedback stabilization problem of an uncertain time-delayed chemostat model is solved by means of the trajectory-based small-gain results.

preprint2010arXiv

Nonlinear Stabilization under Sampled and Delayed Measurements, and with Inputs Subject to Delay and Zero-Order Hold

Sampling arises simultaneously with input and output delays in networked control systems. When the delay is left uncompensated, the sampling period is generally required to be sufficiently small, the delay sufficiently short, and, for nonlinear systems, only semiglobal practical stability is generally achieved. For example, global stabilization of strict-feedforward systems under sampled measurements, sampled-data stabilization of the nonholonomic unicycle with arbitrarily sparse sampling, and sampled-data stabilization of LTI systems over networks with long delays, are open problems. In this paper we present two general results that address these example problems as special cases. First, we present global asymptotic stabilizers for forward complete systems under arbitrarily long input and output delays, with arbitrarily long sampling periods, and with continuous application of the control input. Second, we consider systems with sampled measurements and with control applied through a zero-order hold, under the assumption that the system is stabilizable under sampled-data feedback for some sampling period, and then construct sampled-data feedback laws that achieve global asymptotic stabilization under arbitrarily long input and measurement delays. All the results employ "nominal" feedback laws designed for the continuous-time systems in the absence of delays, combined with "predictor-based" compensation of delays and the effect of sampling.

preprint2010arXiv

Reduced Order Dead-Beat Observers for a Bioreactor

This paper studies the strong observability property and the reduced-order dead-beat observer design problem for a continuous bioreactor. New relationships between coexistence and strong observability, and checkable sufficient conditions for strong observability, are established for a chemostat with two competing microbial species. Furthermore, the dynamic output feedback stabilization problem is solved for the case of one species.

preprint2008arXiv

Feedback Stabilization Methods for the Numerical Solution of Systems of Ordinary Differential Equations

In this work we study the problem of step size selection for numerical schemes, which guarantees that the numerical solution presents the same qualitative behavior as the original system of ordinary differential equations, by means of tools from nonlinear control theory. Lyapunov-based and Small-Gain feedback stabilization methods are exploited and numerous illustrating applications are presented for systems with a globally asymptotically stable equilibrium point. The obtained results can be used for the control of the global discretization error as well.