-
Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set
Authors:
Muhammad Zaki Almuzakki,
Bayu Jayawardhana,
Aneel Tanwani,
Antonis I. Vakis
Abstract:
This paper studies stabilization of linear time-invariant (LTI) systems when control actions can only be realized in finitely many directions where it is possible to actuate uniformly or logarithmically extended positive scaling factors in each direction. Furthermore, a nearest-action selection approach is used to map the continuous measurements to a realizable action where we show that the approa…
▽ More
This paper studies stabilization of linear time-invariant (LTI) systems when control actions can only be realized in finitely many directions where it is possible to actuate uniformly or logarithmically extended positive scaling factors in each direction. Furthermore, a nearest-action selection approach is used to map the continuous measurements to a realizable action where we show that the approach satisfies a weak sector condition for multiple-input multiple-output (MIMO) systems. Using the notion of input-to-state stability, under some assumptions imposed on the transfer function of the system, we show that the closed-loop system converges to the target ball exponentially fast. Moreover, when logarithmic extension for the scaling factors is realizable, the closed-loop system is able to achieve asymptotic stability instead of only practical stability. Finally, we present an example of the application that confirms our analysis.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Convergence Analysis of Ensemble Filters for Linear Stochastic Systems with Poisson-Sampled Observations
Authors:
Aneel Tanwani,
Olga Yufereva
Abstract:
For continuous-time linear stochastic dynamical systems driven by Wiener processes, we consider the problem of designing ensemble filters when the observation process is randomly time-sampled. We propose a continuous-discrete McKean--Vlasov type diffusion process with additive Gaussian noise in observation model, which is used to describe the evolution of the individual particles in the ensemble.…
▽ More
For continuous-time linear stochastic dynamical systems driven by Wiener processes, we consider the problem of designing ensemble filters when the observation process is randomly time-sampled. We propose a continuous-discrete McKean--Vlasov type diffusion process with additive Gaussian noise in observation model, which is used to describe the evolution of the individual particles in the ensemble. These particles are coupled through the empirical covariance and require less computations for implementation than the optimal ones based on solving Riccati differential equations. Using appropriate analysis tools, we show that the empirical mean and the sample covariance of the ensemble filter converges to the mean and covariance of the optimal filter if the mean sampling rate of the observation process satisfies certain bounds and as the number of particles tends to infinity.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation
Authors:
Saroj Prasad Chhatoi,
Aneel Tanwani,
Didier Henrion
Abstract:
This article develops mathematical formalisms and provides numerical methods for studying the evolution of measures in nonsmooth dynamical systems using the continuity equation. The nonsmooth dynamical system is described by an evolution variational inequality and we derive the continuity equation associated with this system class using three different formalisms. The first formalism consists of u…
▽ More
This article develops mathematical formalisms and provides numerical methods for studying the evolution of measures in nonsmooth dynamical systems using the continuity equation. The nonsmooth dynamical system is described by an evolution variational inequality and we derive the continuity equation associated with this system class using three different formalisms. The first formalism consists of using the {superposition principle} to describe the continuity equation for a measure that disintegrates into a probability measure supported on the set of vector fields and another measure representing the distribution of system trajectories at each time instant. The second formalism is based on the regularization of the nonsmooth vector field and describing the measure as the limit of a sequence of measures associated with the regularization parameter. In doing so, we obtain quantitative bounds on the Wasserstein metric between measure solutions of the regularized vector field and the limiting measure associated with the nonsmooth vector field. The third formalism uses a time-stepping algorithm to model a time-discretized evolution of the measures and show that the absolutely continuous trajectories associated with the continuity equation are recovered in the limit as the sampling time goes to zero. We also validate each formalism with numerical examples. For the first formalism, we use polynomial optimization techniques and the moment-SOS hierarchy to obtain approximate moments of the measures. For the second formalism, we illustrate the bounds on the Wasserstein metric for an academic example for which the closed-form expression of the Wasserstein metric can be calculated. For the third formalism, we illustrate the time-stepping based algorithm for measure evolution on an example that shows the effect of the concentration of measures.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Converse Lyapunov Results for Stability of Switched Systems with Average Dwell-Time
Authors:
Matteo Della Rossa,
Aneel Tanwani
Abstract:
This article provides a characterization of stability for switched nonlinear systems under average dwell-time constraints, in terms of necessary and sufficient conditions involving multiple Lyapunov functions. Earlier converse results focus on switched systems with dwell-time constraints only, and the resulting inequalities depend on the flow of individual subsystems. With the help of a counterexa…
▽ More
This article provides a characterization of stability for switched nonlinear systems under average dwell-time constraints, in terms of necessary and sufficient conditions involving multiple Lyapunov functions. Earlier converse results focus on switched systems with dwell-time constraints only, and the resulting inequalities depend on the flow of individual subsystems. With the help of a counterexample, we show that a lower bound that guarantees stability for dwell-time switching signals may not necessarily imply stability for switching signals with same lower bound on the average dwell-time. Based on these two observations, we provide a converse result for the average dwell-time constrained systems in terms of inequalities which do not depend on the flow of individual subsystems and are easier to check. The particular case of linear switched systems is studied as a corollary to our main result.
△ Less
Submitted 7 January, 2025; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Linear Programming based Lower Bounds on Average Dwell-Time via Multiple Lyapunov Functions
Authors:
Sigurdur Hafstein,
Aneel Tanwani
Abstract:
With the objective of developing computational methods for stability analysis of switched systems, we consider the problem of finding the minimal lower bounds on average dwell-time that guarantee global asymptotic stability of the origin. Analytical results in the literature quantifying such lower bounds assume existence of multiple Lyapunov functions that satisfy some inequalities. For our purpos…
▽ More
With the objective of developing computational methods for stability analysis of switched systems, we consider the problem of finding the minimal lower bounds on average dwell-time that guarantee global asymptotic stability of the origin. Analytical results in the literature quantifying such lower bounds assume existence of multiple Lyapunov functions that satisfy some inequalities. For our purposes, we formulate an optimization problem that searches for the optimal value of the parameters in those inequalities and includes the computation of the associated Lyapunov functions. In its generality, the problem is nonconvex and difficult to solve numerically, so we fix some parameters which results in a linear program (LP). For linear vector fields described by Hurwitz matrices, we prove that such programs are feasible and the resulting solution provides a lower bound on the average dwell-time for exponential stability. Through some experiments, we compare our results with the bounds obtained from other methods in the literature and we report some improvements in the results obtained using our method.
△ Less
Submitted 20 July, 2023; v1 submitted 31 March, 2023;
originally announced March 2023.
-
Existence and Completeness of Solutions to Extended Projected Dynamical Systems and Sector-bounded Projection-based Controllers
Authors:
Maurice Heemels,
Aneel Tanwani
Abstract:
Projection-based control (PBC) systems have significant engineering impact and receive considerable scientific attention. To properly describe closed-loop PBC systems, extensions of classical projected dynamical systems are needed, because partial projection operators and irregular constraint sets (sectors) are crucial in PBC. These two features obstruct the application of existing results on exis…
▽ More
Projection-based control (PBC) systems have significant engineering impact and receive considerable scientific attention. To properly describe closed-loop PBC systems, extensions of classical projected dynamical systems are needed, because partial projection operators and irregular constraint sets (sectors) are crucial in PBC. These two features obstruct the application of existing results on existence and completeness of solutions. To establish a rigorous foundation for the analysis and design of PBC, we provide essential existence and completeness properties for this new class of discontinuous systems.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Nonpathological ISS-Lyapunov Functions for Interconnected Differential Inclusions
Authors:
Matteo Della Rossa,
Aneel Tanwani,
Luca Zaccarian
Abstract:
This article concerns robustness analysis for interconnections of two dynamical systems (described by upper semicontinuous differential inclusions) using a generalized notion of derivatives associated with locally Lipschitz Lyapunov functions obtained from a finite family of differentiable functions. We first provide sufficient conditions for input-to-state stability (ISS) for differential inclusi…
▽ More
This article concerns robustness analysis for interconnections of two dynamical systems (described by upper semicontinuous differential inclusions) using a generalized notion of derivatives associated with locally Lipschitz Lyapunov functions obtained from a finite family of differentiable functions. We first provide sufficient conditions for input-to-state stability (ISS) for differential inclusions, using a class of non-smooth (but locally Lipschitz) candidate Lyapunov functions and the concept of Lie generalized derivative. In general our conditions are less conservative than the more common Clarke derivative based conditions. We apply our result to state-dependent switched systems, and to the interconnection of two differential inclusions. As an example, we propose an observer-based controller for certain nonlinear two-mode state-dependent switched systems.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation
Authors:
Marianne Souaiby,
Aneel Tanwani,
Didier Henrion
Abstract:
This article establishes the existence of Lyapunov functions for analyzing the stability of a class of state-constrained systems, and it describes algorithms for their numerical computation. The system model consists of a differential equation coupled with a set-valued relation which introduces discontinuities in the vector field at the boundaries of the constraint set. In particular, the set-valu…
▽ More
This article establishes the existence of Lyapunov functions for analyzing the stability of a class of state-constrained systems, and it describes algorithms for their numerical computation. The system model consists of a differential equation coupled with a set-valued relation which introduces discontinuities in the vector field at the boundaries of the constraint set. In particular, the set-valued relation is described by the subdifferential of the indicator function of a closed convex cone, which results in a cone-complementarity system. The question of analyzing stability of such systems is addressed by constructing cone-copositive Lyapunov functions. As a first analytical result, we show that exponentially stable complementarity systems always admit a continuously differentiable cone-copositive Lyapunov function. Putting some more structure on the system vector field, such as homogeneity, we can show that the aforementioned functions can be approximated by a rational function of cone-copositive homogeneous polynomials. This later class of functions is seen to be particularly amenable for numerical computation as we provide two types of algorithms for precisely that purpose. These algorithms consist of a hierarchy of either linear or semidefinite optimization problems for computing the desired cone-copositive Lyapunov function. Some examples are given to illustrate our approach.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems
Authors:
Matteo Della Rossa,
Rafal Goebel,
Aneel Tanwani,
Luca Zaccarian
Abstract:
We propose a class of locally Lipschitz functions with piecewise structure for use as Lyapunov functions for hybrid dynamical systems. Subject to some regularity of the dynamics, we show that Lyapunov inequalities can be checked only on a dense set and thus we avoid checking them at points of nondifferentiability of the Lyapunov function. Connections to other classes of locally Lipschitz or piecew…
▽ More
We propose a class of locally Lipschitz functions with piecewise structure for use as Lyapunov functions for hybrid dynamical systems. Subject to some regularity of the dynamics, we show that Lyapunov inequalities can be checked only on a dense set and thus we avoid checking them at points of nondifferentiability of the Lyapunov function. Connections to other classes of locally Lipschitz or piecewise regular functions are also discussed and applications to hybrid dynamical systems are included.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies *
Authors:
Marianne Souaiby,
Aneel Tanwani,
Didier Henrion
Abstract:
We provide algorithms for computing a Lyapunov function for a class of systems where the state trajectories are constrained to evolve within a closed convex set. The dynamical systems that we consider comprise a differential equation which ensures continuous evolution within the domain, and a normal cone inclusion which ensures that the state trajectory remains within a prespecified set at all tim…
▽ More
We provide algorithms for computing a Lyapunov function for a class of systems where the state trajectories are constrained to evolve within a closed convex set. The dynamical systems that we consider comprise a differential equation which ensures continuous evolution within the domain, and a normal cone inclusion which ensures that the state trajectory remains within a prespecified set at all times. Finding a Lyapunov function for such a system boils down to finding a function which satisfies certain inequalities on the admissible set of state constraints. It is well-known that this problem, despite being convex, is computationally difficult. For conic constraints, we provide a discretization algorithm based on simplicial partitioning of a sim-plex, so that the search of desired function is addressed by constructing a hierarchy (associated with the diameter of the cells in the partition) of linear programs. Our second algorithm is tailored to semi-algebraic sets, where a hierarchy of semidefinite programs is constructed to compute Lyapunov functions as a sum-of-squares polynomial.
△ Less
Submitted 8 October, 2020; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Max-Min Lyapunov Functions for Switched Systems and Related Differential Inclusions
Authors:
Matteo Della Rossa,
Aneel Tanwani,
Luca Zaccarian
Abstract:
Starting from a finite family of continuously differentiable positive definite functions, we study conditions under which a function obtained by max-min combinations is a Lyapunov function, establishing stability for two kinds of nonlinear dynamical systems: a) Differential inclusions where the set-valued right-hand-side comprises the convex hull of a finite number of vector fields, and b) Autonom…
▽ More
Starting from a finite family of continuously differentiable positive definite functions, we study conditions under which a function obtained by max-min combinations is a Lyapunov function, establishing stability for two kinds of nonlinear dynamical systems: a) Differential inclusions where the set-valued right-hand-side comprises the convex hull of a finite number of vector fields, and b) Autonomous switched systems with a state-dependent switching signal. We investigate generalized notions of directional derivatives for these max-min functions, and use them in deriving stability conditions with various degrees of conservatism, where more conservative conditions are numerically more tractable. The proposed constructions also provide nonconvex Lyapunov functions, which are shown to be useful for systems with state-dependent switching that do not admit a convex Lyapunov function. Several examples are included to illustrate the results.
△ Less
Submitted 12 June, 2020;
originally announced June 2020.
-
Nearest Neighbor Control For Practical Stabilization of Passive Nonlinear Systems
Authors:
M. Z. Almuzakki,
B. Jayawardhana,
A. Tanwani
Abstract:
This paper studies static output feedback stabilization of continuous-time (incrementally) passive nonlinear systems where the control actions can only be chosen from a discrete (and possibly finite) set of points. For this purpose, we are working under the assumption that the system under consideration is large-time norm observable and the convex hull of the realizable control actions contains th…
▽ More
This paper studies static output feedback stabilization of continuous-time (incrementally) passive nonlinear systems where the control actions can only be chosen from a discrete (and possibly finite) set of points. For this purpose, we are working under the assumption that the system under consideration is large-time norm observable and the convex hull of the realizable control actions contains the target constant input (which corresponds to the equilibrium point) in its interior. We propose a nearest-neighbor based static feedback mapping from the output space to the finite set of control actions, that is able to practically stabilize the closed-loop systems. Consequently, we show that for such systems with $m$-dimensional input space, it is sufficient to have $m+1$ discrete input points (other than zero for general passive systems or the target constant input for incrementally passive systems). Furthermore, we present a constructive algorithm to design such $m+1$ nonzero input points that satisfy the conditions for practical stability using our proposed nearest-neighbor control.
△ Less
Submitted 13 December, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
ISS Lyapunov Functions for Cascade Switched Systems and Sampled-Data Control
Authors:
GuangXue Zhang,
Aneel Tanwani
Abstract:
Input-to-state stability (ISS) of switched systems is studied where the individual subsystems are connected in a serial cascade configuration, and the states are allowed to reset at switching times. An ISS Lyapunov function is associated to each of the two blocks connected in cascade, and these functions are used as building blocks for constructing ISS Lyapunov function for the interconnected syst…
▽ More
Input-to-state stability (ISS) of switched systems is studied where the individual subsystems are connected in a serial cascade configuration, and the states are allowed to reset at switching times. An ISS Lyapunov function is associated to each of the two blocks connected in cascade, and these functions are used as building blocks for constructing ISS Lyapunov function for the interconnected system. The derivative of individual Lyapunov functions may be bounded by nonlinear decay functions, and the growth in the value of Lyapunov function at switching times may also be a nonlinear function of the value of other Lyapunov functions. The stability of overall hybrid system is analyzed by constructing a newly constructed ISS-Lyapunov function and deriving lower bounds on the average dwell-time. The particular case of linear subsystems and quadratic Lyapunov functions is also studied. The tools are also used for studying the observer-based feedback stabilization of a nonlinear switched system with event-based sampling of the output and control inputs. We design dynamic sampling algorithms based on the proposed Lyapunov functions and analyze the stability of the resulting closed-loop system.
△ Less
Submitted 4 January, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Detectability and Observer Design for Switched Differential Algebraic Equations
Authors:
Aneel Tanwani,
Stephan Trenn
Abstract:
This paper studies detectability for switched linear differential-algebraic equations (DAEs) and its application to the synthesis of observers, which generate asymptotically converging state estimates. Equating detectability to asymptotic stability of zero-output-constrained state trajectories, and building on our work on interval-wise observability, we propose the notion of interval-wise detectab…
▽ More
This paper studies detectability for switched linear differential-algebraic equations (DAEs) and its application to the synthesis of observers, which generate asymptotically converging state estimates. Equating detectability to asymptotic stability of zero-output-constrained state trajectories, and building on our work on interval-wise observability, we propose the notion of interval-wise detectability: If the output of the system is constrained to be identically zero over an interval, then the norm of the corresponding state trajectories scales down by a certain factor at the end of that interval. Conditions are provided under which the interval-wise detectability leads to asymptotic stability of zero-output-constrained state trajectories. An application is demonstrated in designing state estimators. Decomposing the state into observable and unobservable components, we show that if the observable component of the system is reset appropriately and persistently, then the estimation error converges to zero asymptotically under the interval-wise detectability assumption.
△ Less
Submitted 29 March, 2019;
originally announced April 2019.
-
Convergence of proximal solutions for evolution inclusions with time-dependent maximal monotone operators
Authors:
Kanat Camlibel,
Luigi Iannelli,
Aneel Tanwani
Abstract:
This article studies the solutions of time-dependent differential inclusions which is motivated by their utility in the modeling of certain physical systems. The differential inclusion is described by a time-dependent set-valued mapping having the property that, for a given time instant, the set-valued mapping describes a maximal monotone operator. Under certain mild assumptions on the regularity…
▽ More
This article studies the solutions of time-dependent differential inclusions which is motivated by their utility in the modeling of certain physical systems. The differential inclusion is described by a time-dependent set-valued mapping having the property that, for a given time instant, the set-valued mapping describes a maximal monotone operator. Under certain mild assumptions on the regularity with respect to the time argument, we construct a sequence of functions parameterized by the sampling time that corresponds to the discretization of the continuous-time system. Using appropriate tools from functional and variational analysis, this sequence is then shown to converge to the unique solution of the original differential inclusion. The result is applied to develop conditions for well-posedness of differential equations interconnected with nonsmooth time-dependent complementarity relations, using passivity of underlying dynamics (equivalently expressed in terms of linear matrix inequalities).
△ Less
Submitted 13 May, 2021; v1 submitted 26 March, 2019;
originally announced March 2019.
-
Disturbance-to-State Stabilization and Quantized Control for Linear Hyperbolic Systems
Authors:
Aneel Tanwani,
Christophe Prieur,
Sophie Tarbouriech
Abstract:
We consider a system of linear hyperbolic PDEs where the state at one of the boundary points is controlled using the measurements of another boundary point. Because of the disturbances in the measurement, the problem of designing dynamic controllers is considered so that the closed-loop system is robust with respect to measurement errors. Assuming that the disturbance is a locally essentially boun…
▽ More
We consider a system of linear hyperbolic PDEs where the state at one of the boundary points is controlled using the measurements of another boundary point. Because of the disturbances in the measurement, the problem of designing dynamic controllers is considered so that the closed-loop system is robust with respect to measurement errors. Assuming that the disturbance is a locally essentially bounded measurable function of time, we derive a disturbance-to-state estimate which provides an upper bound on the maximum norm of the state (with respect to the spatial variable) at each time in terms of $\mathcal{L}^\infty$-norm of the disturbance up to that time. The analysis is based on constructing a Lyapunov function for the closed-loop system, which leads to controller synthesis and the conditions on system dynamics required for stability. As an application of this stability notion, the problem of quantized control for hyperbolic PDEs is considered where the measurements sent to the controller are communicated using a quantizer of finite length. The presence of quantizer yields practical stability only, and the ultimate bounds on the norm of the state trajectory are also derived.
△ Less
Submitted 24 July, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
Determinability and state estimation for switched differential-algebraic equations
Authors:
Aneel Tanwani,
Stephan Trenn
Abstract:
The problem of state reconstruction and estimation is considered for a class of switched dynamical systems whose subsystems are modeled using linear differential-algebraic equations (DAEs). Since this system class imposes time-varying dynamic and static (in the form of algebraic constraints) relations on the evolution of state trajectories, an appropriate notion of observability is presented which…
▽ More
The problem of state reconstruction and estimation is considered for a class of switched dynamical systems whose subsystems are modeled using linear differential-algebraic equations (DAEs). Since this system class imposes time-varying dynamic and static (in the form of algebraic constraints) relations on the evolution of state trajectories, an appropriate notion of observability is presented which accommodates these phenomena. Based on this notion, we first derive a formula for the reconstruction of the state of the system where we explicitly obtain an injective mapping from the output to the state. In practice, such a mapping may be difficult to realize numerically and hence a class of estimators is proposed which ensures that the state estimate converges asymptotically to the real state of the system.
△ Less
Submitted 23 September, 2016;
originally announced September 2016.
-
Well-Posedness and Output Regulation for Implicit Time-Varying Evolution Variational Inequalities
Authors:
Aneel Tanwani,
Bernard Brogliato,
Christophe Prieur
Abstract:
A class of evolution variational inequalities (EVIs), which comprises ordinary differential equations (ODEs) coupled with variational inequalities (VIs) associated with time-varying set-valued mappings, is proposed in this paper. We first study the conditions for existence and uniqueness of solutions. The central idea behind the proof is to rewrite the system dynamics as a differential inclusion w…
▽ More
A class of evolution variational inequalities (EVIs), which comprises ordinary differential equations (ODEs) coupled with variational inequalities (VIs) associated with time-varying set-valued mappings, is proposed in this paper. We first study the conditions for existence and uniqueness of solutions. The central idea behind the proof is to rewrite the system dynamics as a differential inclusion which can be decomposed into a single-valued Lipschitz map, and a time-dependent maximal monotone operator. Regularity assumptions on the set-valued mapping determine the regularity of the resulting solutions. Complementarity systems with time-dependence are studied as a particular case. We then use this result to study the problem of designing state feedback control laws for output regulation in systems described by EVIs. The derivation of control laws for output regulation is based on the use of internal model principle, and two cases are treated: First, a static feedback control law is derived when full state feedback is available, In the second case, only the error to be regulated is assumed to be available for measurement and a dynamic compensator is designed. As applications, we demonstrate how control input resulting from the solution of a variational inequality results in regulating the output of the system while maintaining polyhedral state constraints. Another application is seen in designing control inputs for regulation in power converters.
△ Less
Submitted 26 February, 2018; v1 submitted 5 September, 2016;
originally announced September 2016.
-
Observer-Based Feedback Stabilization of Linear Systems with Event-triggered Sampling and Dynamic Quantization
Authors:
Aneel Tanwani,
Christophe Prieur,
Mirko Fiacchini
Abstract:
We consider the problem of output feedback stabilization in linear systems when the measured outputs and control inputs are subject to event-triggered sampling and dynamic quantization. A new sampling algorithm is proposed for outputs which does not lead to accumulation of sampling times and results in asymptotic stabilization of the system. The approach for output sampling is based on defining an…
▽ More
We consider the problem of output feedback stabilization in linear systems when the measured outputs and control inputs are subject to event-triggered sampling and dynamic quantization. A new sampling algorithm is proposed for outputs which does not lead to accumulation of sampling times and results in asymptotic stabilization of the system. The approach for output sampling is based on defining an event function that compares the difference between the current output and the most recently transmitted output sample not only with the current value of the output, but also takes into account a certain number of previously transmitted output samples. This allows us to reconstruct the state using an observer with sample-and-hold measurements. The estimated states are used to generate a control input, which is subjected to a different event-triggered sampling routine; hence the sampling times of inputs and outputs are asynchronous. Using Lyapunov-based approach, we prove the asymptotic stabilization of the closed-loop system and show that there exists a minimum inter-sampling time for control inputs and for outputs. To show that these sampling routines are robust with respect to transmission errors, only the quantized (in space) values of outputs and inputs are transmitted to the controller and the plant, respectively. A dynamic quantizer is adopted for this purpose, and an algorithm is proposed to update the range and the centre of the quantizer that results in an asymptotically stable closed-loop system.
△ Less
Submitted 8 June, 2016; v1 submitted 22 January, 2016;
originally announced February 2016.
