Hybrid feedback stabilization of systems with quantized signals☆
Introduction
In the classical feedback control setting, the output of the process is assumed to be passed directly to the controller, which generates the control input and in turn passes it directly back to the process. In practice, however, this paradigm often needs to be re-examined because the interface between the controller and the process features some additional information-processing devices. These considerations arise, for example, in networked control systems; see the articles in Bushnell (2001) and the references therein.
One important aspect to take into account in such situations is signal quantization. We think of a quantizer as a device that converts a real-valued signal into a piecewise constant one taking on a finite set of values. Quantization may affect the process output (this happens, for example, when the output measurements to be used for feedback are obtained by using a digital camera, stored in the memory of a digital computer, or transmitted over a digital communication channel). It may also affect the control input (examples include the standard PWM amplifier and the manual transmission on a car).
We assume that the given system evolves in continuous time. In the presence of quantization, the state space (or the input space) of the system is divided into a finite number of quantization regions, each corresponding to a fixed value of the quantizer. At the time of passage from one quantization region to another, the dynamics of the closed-loop system change abruptly. Therefore, systems with quantization can be naturally viewed as hybrid systems, i.e., systems described by a coupling between continuous and discrete dynamics.
There are two well-studied phenomena which account for changes in the system's behavior caused by quantization. The first one is saturation: if the signal is outside the range of the quantizer, then the quantization error is large, and the control law designed for the ideal case of no quantization leads to instability. The second one is deterioration of performance near the equilibrium: as the difference between the current and the desired values of the state becomes small, higher precision is required, and so in the presence of quantization errors asymptotic convergence is impossible. These phenomena manifest themselves in the existence of two nested invariant regions such that all trajectories of the quantized system starting in the bigger region approach the smaller one, while no further convergence guarantees can be given.
A standard assumption made in the literature is that parameters of the quantizer are fixed in advance and cannot be changed by the control designer; see, among many sources, (Chou, Chen, & Horng, 1996; Delchamps, 1990; Raisch, 1995; Feng & Loparo, 1997; Sur & Paden, 1998; Lunze, Nixdorf, & Schröder, 1999). There has been some research concerned with the question of how the choice of quantization parameters affects the behavior of the system (Wong & Brockett, 1999; Åström & Bernhardsson, 1999; Liberzon & Brockett, 2000; Elia & Mitter, 2001; Ishii & Francis, 2002). In this paper, building on the earlier work reported in (Brockett & Liberzon, 2000; Liberzon, 2000), we adopt the approach that it is possible to vary some parameters of the quantizer in real time, on the basis of collected data. For example, if a quantizer is used to represent a camera, this corresponds to zooming in and out, i.e., varying the focal length, while the number of pixels of course remains fixed. This approach fits into the framework of control with limited information: the state of the system is not completely known, but it is only known which one of a fixed number of quantization regions contains the current state at each instant of time. The quantizer can be thought of as a coder that generates an encoded signal taking values in a given finite set. By changing the size and relative position of the quantization regions—i.e., by modifying the coding mechanism—we can learn more about the behavior of the system, without violating the restriction on the type of information that can be communicated to the controller. This will help us overcome the two difficulties described above.
The quantization parameters will be updated at discrete instants of time (these switching events will be determined by the values of a suitable Lyapunov function). This results in a hybrid quantized feedback control policy. There are several reasons for adopting a hybrid control approach rather than varying the quantization parameters continuously. First, in specific situations there may be some constraints on how many values these parameters are allowed to take and how frequently they can be adjusted. Thus a discrete adjustment policy is more natural and easier to implement than a continuous one. Secondly, the analysis of hybrid systems obtained in this way appears to be more tractable than that of systems resulting from continuous parameter tuning. In fact, we will see that invariant regions defined by level sets of a Lyapunov function provide a simple and effective tool for studying the behavior of the closed-loop system. This also implies that precise computation of the switching times is not essential, which makes our hybrid control policies robust with respect to certain types of time delays (such as those associated with periodic sampling).
The recent paper (Brockett & Liberzon, 2000) thoroughly investigates the hybrid control methodology outlined above in the context of the feedback stabilization problem for linear control systems with output (or state) quantization. It is shown there that if a linear system can be stabilized by a linear feedback law, then it can also be globally asymptotically stabilized by a hybrid quantized feedback control policy. The control strategy is usually composed of two stages. The first, “zooming-out” stage consists in increasing the range of the quantizer until the state of the system can be adequately measured; at this stage, the system is open-loop. The second, “zooming-in” stage involves applying feedback and at the same time decreasing the quantization error in such a way as to drive the state to the origin. The developments of Brockett and Liberzon (2000) were restricted to quantizers that give rise to rectilinear quantization regions.
The present work generalizes the contributions of Brockett and Liberzon (2000) in three different directions. First, we consider more general types of quantizers, with quantization regions having arbitrary shapes as in Lunze et al. (1999). This extension is useful in several situations. For example, in the context of vision-based feedback control mentioned earlier, the image plane of the camera is divided into rectilinear regions, but the shapes of the quantization regions in the state space which result from computing inverse images of these rectangles can be rather complicated. The so-called Voronoi tessellations suggest that, at least in two dimensions, it may be beneficial to use hexagonal quantization regions rather than more familiar rectangular ones (Du, Faber, & Gunzburger, 1999). We will demonstrate that the principal findings of Brockett and Liberzon (2000) are still valid in this more general setting.
Another goal of this paper is to address the quantized feedback stabilization problem for nonlinear systems. It can be shown via a linearization argument that by using the approach of Brockett and Liberzon (2000) one can obtain local asymptotic stability for a nonlinear system, provided that the corresponding linearized system is stabilizable (Hu, Feng, & Michel, 1999). Here we are concerned with achieving global stability1 results. We will show that the techniques developed in Brockett and Liberzon (2000) can be extended in a natural way to those nonlinear systems that are input-to-state stabilizable with respect to measurement disturbances. We thus reveal an interesting interplay between the problem of quantized feedback stabilization, the theory of hybrid systems, and topics of current interest in nonlinear control design. A preliminary investigation of these questions has been reported in Liberzon (2000), but only for state quantizers with rectilinear quantization regions.
Finally, in this paper we develop analogous results for systems with input quantization, both linear and nonlinear. In view of the examples given earlier, this expands the potential applicability of the hybrid quantized feedback control techniques. We discover that the analysis of systems with input quantization can be carried out quite similarly to the state quantization case. This analysis also yields a basis for comparing the effects of input quantization and state quantization on the performance of the system. As we will see, for nonlinear systems the case of state quantization presents a greater challenge from the viewpoint of control design.
As in Brockett and Liberzon (2000), all control laws are constructed explicitly. All vector fields and feedback laws are assumed to be sufficiently regular (e.g., smooth). Solutions to all differential equations are well defined, with the understanding that they are to be interpreted in the sense of Filippov (1988) if necessary (control strategies described in this paper do not rely on chattering and the analysis of the resulting closed-loop systems does not explicitly require a concept of generalized solution). With some abuse of terminology, we call a closed-loop hybrid system globally asymptotically stable if the origin is a globally asymptotically stable equilibrium of the continuous dynamics. We denote by |·| the standard Euclidean norm in and by ||·|| the corresponding induced matrix norm in . A function is said to be of class if it is continuous, strictly increasing, and such that α(0)=0 and α(r)→∞ as r→∞.
Section snippets
Quantizer
Let be the variable being quantized. By a quantizer we mean a piecewise constant function , where is a finite subset of . This leads to a partition of into a finite number of quantization regions of the form , . These quantization regions are not assumed to have any particular shapes (see Fig. 1).
When z does not belong to the union of quantization regions of finite size, the quantizer saturates. More precisely, we assume that there exist positive real numbers M
State quantization
To fix ideas, we treat linear systems first.
Input quantization
In this section we obtain results analogous to those given in Section 3 for systems whose input, rather than state, is quantized.
Observer-based dynamic output feedback
We now extend some of the above results to linear systems with output feedback. The developments that follow are essentially based on the ideas from Brockett and Liberzon (2000, Section 5). Other approaches are also possible; see Delchamps (1989) and Sur and Paden (1998).
Consider the linear systemwhere , , and . Suppose that (A,B) is a stabilizable pair and (C,A) is an observable pair. This implies that there exist a feedback matrix K and an output injection matrix L
Acknowledgements
The author is indebted to Karl Åström, João Hespanha, and Mark Spong for stimulating discussions.
Daniel Liberzon was born in the former Soviet Union in 1973. He was a student in the Department of Mechanics and Mathematics at Moscow State University from 1989 to 1993 and received the Ph.D. degree in mathematics from Brandeis University, Waltham, MA, in 1998 (under the supervision of Prof. Roger W. Brockett of Harvard University). Following a postdoctoral position in the Department of Electrical Engineering at Yale University, New Haven, CT, he joined the University of Illinois at
References (27)
Extracting state information from a quantized output record
Systems Control Letters
(1989)- et al.
Deterministic discrete-event representations of linear continuous-variable systems
Automatica
(1999) - et al.
On characterizations of the input-to-state stability property
Systems Control Letters
(1995) - Åström, K. J., & Bernhardsson, B. (1999). Comparison of periodic and event based sampling for first-order stochastic...
- et al.
Quantized feedback stabilization of linear systems
IEEE Transactions on Automatic Control
(2000) - Bushnell, L. (Ed.) (2001). Special section on networks and control. IEEE Control Systems Magazine, 21,...
- et al.
Robust stability bound on linear time-varying uncertainties for linear digital control systems under finite wordlength effects
JSME International Journal Series C
(1996) Stabilizing a linear system with quantized state feedback
IEEE Transactions on Automatic Control
(1990)- et al.
Centroidal Voronoi tessellationsApplications and algorithms
SIAM Review
(1999) - et al.
Stabilization of linear systems with limited information
IEEE Transactions on Automatic Control
(2001)
Input-to-state stability with respect to measurement disturbances for one-dimensional systems
ESAIM Journal of Control, Optimization and Calculus of Variations
Active probing for information in control systems with quantized state measurementsA minimum entropy approach
IEEE Transactions on Automatic Control
Differential equations with discontinuous righthand sides
Cited by (812)
Quantization-based distributed design strategy for adaptive consensus tracking of asynchronously switched nonlinear multiagent systems
2024, Nonlinear Analysis: Hybrid SystemsProtocol-based fault detection filtering for memristive neural networks with dynamic quantization
2023, Journal of the Franklin InstituteAsynchronous dynamic quantization for nonlinear systems with one-bit data transmission
2023, Systems and Control LettersAdaptive event-triggered consensus of multi-agent systems with spherical polar coordinate quantization mechanism
2023, Physica A: Statistical Mechanics and its ApplicationsExponential synchronization for multi-weighted dynamic networks via finite-level quantized control with adaptive scaling gain
2023, Chaos, Solitons and FractalsDiscrete-time prediction based event-triggered controller design: An application to networked multi-area power system with time delays
2023, IFAC Journal of Systems and Control
Daniel Liberzon was born in the former Soviet Union in 1973. He was a student in the Department of Mechanics and Mathematics at Moscow State University from 1989 to 1993 and received the Ph.D. degree in mathematics from Brandeis University, Waltham, MA, in 1998 (under the supervision of Prof. Roger W. Brockett of Harvard University). Following a postdoctoral position in the Department of Electrical Engineering at Yale University, New Haven, CT, he joined the University of Illinois at Urbana-Champaign in 2000 as an assistant professor in the Electrical and Computer Engineering Department and an assistant research professor in the Coordinated Science Laboratory. Dr. Liberzon's research interests include nonlinear control theory, analysis and synthesis of switched dynamical systems, and control with limited information. He served as an Associate Editor on the IEEE Control Systems Society Conference Editorial Board in 1999–2000. Dr. Liberzon received the NSF CAREER Award and the IFAC Young Author Prize, both in 2002.
- ☆
This work was supported by NSF ECS-0134115 CAR, NSF ECS-0114725, and DARPA/AFOSR MURI F49620-02-1-0325 grants. A preliminary version of this paper was presented at the 15th IFAC World Congress in Barcelona, Spain, July 2002. This paper was recommended for publication in revised form by Associate Editor Alessandro Astolfi under the direction of Editor Hassan Khalil.