skip to main content


Title: Optimal Quantizer Scheduling and Controller Synthesis for Partially Observable Linear Systems
In networked control systems, the sensory signals are often quantized before being transmitted to the controller. Consequently, performance is affected by the coarseness of this quantization process. Modern communication technologies allow users to obtain resolution-varying quantized measurements based on the prices paid. In this paper, we consider the problem of joint optimal controller synthesis and quantizer scheduling for a partially observed quantized-feedback linear-quadratic-Gaussian system, where the measurements are quantized before being sent to the controller. The system is presented with several choices of quantizers, along with the cost of using each quantizer. The objective is to jointly select the quantizers and synthesize the controller to strike an optimal balance between control performance and quantization cost. When the innovation signal is quantized instead of the measurement, the problem is decoupled into two optimization problems: one for optimal controller synthesis, and the other for optimal quantizer selection. The optimal controller is found by solving a Riccati equation and the optimal quantizer-selection policy is found by solving a linear program---both of which can be solved offline.  more » « less
Award ID(s):
1849130
PAR ID:
10515364
Author(s) / Creator(s):
;
Publisher / Repository:
SIAM
Date Published:
Journal Name:
SIAM Journal on Control and Optimization
Volume:
61
Issue:
4
ISSN:
0363-0129
Page Range / eLocation ID:
2682 to 2707
Subject(s) / Keyword(s):
quantized optimal control communication constrained control
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We consider a multi-agent linear quadratic optimal control problem. Due to communication constraints, the agents are required to quantize their local state measurements before communicating them to the rest of the team, thus resulting in a decentralized information structure. The optimal controllers are to be synthesized under this decentralized and quantized information structure. The agents are given a set of quantizers with varying quantization resolutions—higher resolution incurs higher communication cost and vice versa. The team must optimally select the quantizer to prioritize agents with ‘highquality’ information for optimizing the control performance under communication constraints. We show that there exist a sepatation between the optimal solution to the control problem and the choice of the optimal quantizer. We show that the optimal controllers are linear and the optimal selection of the quantizers can be determined by solving a linear program. 
    more » « less
  2. Vision-based formation control systems are attractive because they can use inexpensive sensors and can work in GPS-denied environments. The safety assurance for such systems is challenging: the vision component’s accuracy depends on the environment in complicated ways, these errors propagate through the system and lead to incorrect control actions, and there exists no formal specification for end-to-end reasoning. We address this problem and propose a technique for safety assurance of vision-based formation control: First, we propose a scheme for constructing quantizers that are consistent with vision-based perception. Next, we show how the convergence analysis of a standard quantized consensus algorithm can be adapted for the constructed quantizers. We use the recently defined notion of perception contracts to create error bounds on the actual vision-based perception pipeline using sampled data from different ground truth states, environments, and weather conditions. Specifically, we use a quantizer in logarithmic polar coordinates, and we show that this quantizer is suitable for the constructed perception contracts for the vision-based position estimation, where the error worsens with respect to the absolute distance between agents. We build our formation control algorithm with this nonuniform quantizer, and we prove its convergence employing an existing result for quantized consensus. 
    more » « less
  3. In many quantization problems, the distortion function is given by the Euclidean metric to measure the distance of a source sample to any given reproduction point of the quantizer. We will in this work regard distortion functions, which are additively and multiplicatively weighted for each reproduction point resulting in a heterogeneous quantization problem, as used for example in deployment problems of sensor networks. Whereas, normally in such problems, the average distortion is minimized for given weights (parameters), we will optimize the quantization problem over all weights, i.e., we tune or control the distortion functions in our favor. For a uniform source distribution in one-dimension, we derive the unique minimizer, given as the uniform scalar quantizer with an optimal common weight. By numerical simulations, we demonstrate that this result extends to two-dimensions where asymptotically the parameter optimized quantizer is the hexagonal lattice with common weights. As an application, we will determine the optimal deployment of unmanned aerial vehicles (UAVs) to provide a wireless communication to ground terminals under a minimal communication power cost. Here, the optimal weights relate to the optimal flight heights of the UAVs. 
    more » « less
  4. We consider channel estimation for an uplink massive multiple input multiple output (MIMO) system where the base station (BS) uses a first-order spatial Sigma-Delta (Σ△) analog-to-digital converter (ADC) array. The Σ△ array consists of closely spaced sensors which oversample the received signal and provide a coarsely quantized (1-bit) output. We develop a linear minimum mean squared error (LMMSE) estimator based on the Bussgang decomposition that reformulates the nonlinear quantizer model using an equivalent linear model plus quantization noise. The performance of the proposed Σ△ LMMSE estimator is compared via simulation to channel estimation using standard 1-bit quantization and also infinite resolution ADCs. 
    more » « less
  5. null (Ed.)
    Spatial ΣΔ sampling has recently been proposed to improve the performance of massive MIMO systems with low-resolution quantization for cases where the users are confined to a certain angular sector, or the array is spatially oversampled. We derive a linear minimum mean squared error (LMMSE) channel estimator for the ΣΔ array based on an element-wise Bussgang decomposition that reformulates the nonlinear quantizer operation using an equivalent linear model plus quantization noise. Both the case of one- and two-bit quantization is considered. We then evaluate the achievable rate of the ΣΔ system assuming that a linear receiver based on the LMMSE channel estimate is used to decode the data. Our numerical results demonstrate that ΣΔ architecture is able to achieve superior channel estimates and sum spectral efficiency compared to conventional low-resolution quantized massive MIMO systems. 
    more » « less