A system-theoretic framework for a wide class of systems I: Applications to numerical analysis

A system-theoretic framework is proposed, which allows the study of hybrid uncertain systems, which do not satisfy the so-called “semigroup property.” Characterizations of the notion of robust global asymptotic output stability (RGAOS) are given. Based on the provided characterizations, the qualitative behavior of hybrid systems obtained by time-discretization of systems of ordinary differential equations with a globally asymptotically stable equilibrium point, is studied.     

Necessary and sufficient conditions for robust global asymptotic stabilization of discrete-time systems

We give Lyapunov-like conditions for non-uniform in time output stabilization of discrete-time systems. Particularly, it is proved that for a discrete-time control system there exists a (continuous) output stabilizing feedback if and only if there exists a (strong) output control Lyapunov function (OCLF). Moreover, strategies for the construction of continuous robust feedback stabilizers are presented.     

Necessary and sufficient conditions for the existence of stabilizing feedback for control systems

We prove that the existence of a non-smooth control Lyapunovfunction is a necessary and sufficient condition for the existenceof an ordinary smooth time-varying feedback that stabilizesan affine time-varying control system. Results concerning thenon-affine case are also provided.     

A system-theoretic framework for a wide class of systems II: Input-to-output stability

In this work characterizations of the notion of Weighted Input-to-Output Stability (WIOS) for a wide class of systems with disturbances are given. Particularly, for systems with continuous dependence of the solution on the initial state and the input, the WIOS property is shown to be equivalent to robust forward completeness from the input and robust global asymptotic output stability for the corresponding input-free system.     

Reduced order dead-beat observers for the chemostat

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.     

Non-uniform robust global asymptotic stability for discrete-time systems and applications to numerical analysis

The notion of non-uniform Robust Global Asymptotic Stability(RGAS) presented in this paper generalizes the notion of non-uniformin time RGAS for finite- or infinite-dimensional discrete-timesystems. Lyapunov characterizations for this stability notionare provided. The results are applied to finite-dimensionaldiscrete-time systems obtained by time discretization of continuous-timesystems by the explicit Euler method.     

Non-uniform stabilization of control systems

Aversion of non-uniform in time robust global asymptotic stabilityis proposed and enables us to derive: (1) sufficient conditionsfor the stabilization of uncertain nonlinear triangular time-varyingcontrol systems; (2) sufficient conditions for the solutionof the partial-state global stabilization problem for autonomoussystems. The results are obtained via the method of integratorbackstepping and are generalizations of the existing correspondingresults in the literature.     

Lyapunov theorems for systems described by retarded functional differential equations

Lyapunov-like characterizations for non-uniform in time and uniform robust global asymptotic stability of uncertain systems described by retarded functional differential equations are provided.     

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, which are asymptotically stable, (b) each dynamical system admits the objective function of the problem as a Lyapunov function, and (c) explicit formulas 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 the global convergence to the set of the critical points.     

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.