arXiv subjects

Shih-Hao Tseng

Publications and source records attributed to Shih-Hao Tseng.

11 recordsLinked to original sources

arXiv2022

Output-Feedback System Level Synthesis via Dynamic Programming

System Level Synthesis (SLS) allows us to construct internally stabilizing controllers for large-scale systems. However, solving large-scale SLS problems is computationally expensive and the state-of-the-art methods consider only state feedback; output feedback poses additional challenges because the constraints are no longer uniquely row or column separable. We exploit the structure of the output-feedback SLS problem by vectorizing the multi-sided matrix multiplications in the SLS optimization constraints, which allows us to reformulate it as a discrete-time control problem and solve using two stages of dynamic programming (DP). Additionally, we derive an approximation algorithm that offers a faster runtime by partially enforcing the constraints, and show that this algorithm offers the same results. DP solves SLS up to $7$ times faster, with an additional 42% to 68% improvement using the approximation algorithm, than a convex program solver, and scales with large state dimensions and finite impulse response horizon.

math.OC↗

arXiv2022

Realization-Stability Lemma for Controller Synthesis

We have witnessed the emergence of several controller parameterizations and the corresponding synthesis methods, including Youla, system level, input-output, and many other new proposals. Meanwhile, under the same synthesis method, there are multiple realizations to adopt. Different synthesis methods/realizations target different plants/scenarios. Also, various robust results are proposed to deal with different perturbed system structures. Except for some case-by-case studies, we don't currently have a unified framework to understand their relationships. To address the issue, we show that existing controller synthesis methods and realization proposals are all special cases of a simple lemma, the realization-stability lemma. The lemma leads to easier equivalence proofs among existing methods and robust stability conditions for general system analysis. It also enables the formulation of a general controller synthesis problem, which provides a unified foundation for controller synthesis, realization derivation, and robust stability analysis.

math.OC↗

arXiv2022

A General Approach to Robust Controller Analysis and Synthesis

Robust controller synthesis attracts reviving research interest, driven by the rise of learning-based systems where uncertainty and perturbation are ubiquitous. Facing an uncertain situation, a robustly stabilizing controller should maintain stability while operating under a perturbed system deviating from its nominal specification. There have been numerous results for robust controller synthesis in multiple forms and with various goals, including mu-synthesis, robust primal-dual Youla, robust input-output, and robust system level parameterizations. However, their connections with one another are not clear, and we lack a general approach to robust controller analysis and synthesis. To serve this purpose, we derive robust stability conditions for general systems and formulate the general robust controller synthesis problem. The conditions hinge on the realization-stability lemma, a recent analysis tool that unifies existing controller synthesis methods. Not only can the conditions infer a wide range of existing robust results, but they also lead to easier derivations of new ones. Together, we demonstrate the effectiveness of the conditions and provide a unified approach to robust controller analysis and synthesis.

math.OC↗

arXiv2022

Realization, Internal Stability, and Controller Synthesis

We have witnessed the emergence of several controller parameterizations and the corresponding synthesis methods, including Youla, system level, input-output, and many other new proposals. Meanwhile, under the same synthesis method, there are multiple realizations to adopt. Different synthesis methods/realizations target different plants/scenarios. Except for some case-by-case studies, we don't currently have a unified framework to understand their relationships. To address the issue, we show that existing controller synthesis methods and realization proposals are all special cases of a simple lemma, the realization-stability lemma. The lemma leads to easier equivalence proofs among existing methods and enables the formulation of a general controller synthesis problem, which provides a unified foundation for controller synthesis and realization derivation.

math.OC↗

arXiv2021

Trading Throughput for Freshness: Freshness-Aware Traffic Engineering and In-Network Freshness Control

In addition to traditional concerns such as throughput and latency, freshness is becoming increasingly important. To stay fresh, applications stream status updates among their components. Existing studies propose the metric age of information (AoI) to gauge the freshness and design systems to achieve low AoI. Despite active research in this area, existing results are not applicable to general wired networks for two reasons. First, they focus on wireless settings where AoI is mostly affected by interference and collision while queueing is more dominant in wired settings. Second, the legacy drop-adverse flows are not taken into account in the literature. Scheduling mixed flows with distinct performance objective is not yet addressed. In this paper, we study wired networks shared by two classes of flows, aiming for high throughput and low AoI respectively, and achieve a good trade-off between their throughput and AoI. Our approach to the problem consists of two layers: freshness-aware traffic engineering (FATE) and in-network freshness control (IFC). FATE derives sending rate/update frequency for flows via optimization, and its solution is then enforced by IFC through efficient scheduling mechanisms at each outport of in-network nodes. We also present efficient Linux implementation of IFC and demonstrate the effectiveness of FATE/IFC through extensive emulations. Our results show that it is possible to trade a little throughput (5 % lower) for much shorter AoI (49 to 71% shorter) compared to state-of-the-art traffic engineering.

cs.NI↗

arXiv2021

Synthesis to Deployment: Cyber-Physical Control Architectures

We consider the problem of how to deploy a controller to a (networked) cyber-physical system (CPS). Controlling a CPS is an involved task, and synthesizing a controller to respect sensing, actuation, and communication constraints is only part of the challenge. In addition to controller synthesis, one should also consider how the controller will be incorporated within the CPS. Put another way, the cyber layer and its interaction with the physical layer need to be taken into account. In this work, we aim to bridge the gap between theoretical controller synthesis and practical CPS deployment. We adopt the system level synthesis (SLS) framework to synthesize a controller, either state-feedback or output-feedback, and provide deployment architectures for the standard SLS controllers. Furthermore, we derive new controller realizations for open-loop stable systems and introduce different state-feedback and output-feedback architectures for deployment, ranging from fully centralized to fully distributed. Finally, we compare the trade-offs among them in terms of robustness, memory, computation, and communication overhead.

math.OC↗

arXiv2021

Effective GPU Parallelization of Distributed and Localized Model Predictive Control

To effectively control large-scale distributed systems online, model predictive control (MPC) has to swiftly solve the underlying high-dimensional optimization. There are multiple techniques applied to accelerate the solving process in the literature, mainly attributed to software-based algorithmic advancements and hardware-assisted computation enhancements. However, those methods focus on arithmetic accelerations and overlook the benefits of the underlying system's structure. In particular, the existing decoupled software-hardware algorithm design that naively parallelizes the arithmetic operations by the hardware does not tackle the hardware overheads such as CPU-GPU and thread-to-thread communications in a principled manner. Also, the advantages of parallelizable subproblem decomposition in distributed MPC are not well recognized and exploited. As a result, we have not reached the full potential of hardware acceleration for MPC. In this paper, we explore those opportunities by leveraging GPU to parallelize the distributed and localized MPC (DLMPC) algorithm. We exploit the locality constraints embedded in the DLMPC formulation to reduce the hardware-intrinsic communication overheads. Our parallel implementation achieves up to 50x faster runtime than its CPU counterparts under various parameters. Furthermore, we find that the locality-aware GPU parallelization could halve the optimization runtime comparing to the naive acceleration. Overall, our results demonstrate the performance gains brought by software-hardware co-design with the information exchange structure in mind.

cs.DC↗

arXiv2020

SLSpy: Python-Based System-Level Controller Synthesis Framework

Synthesizing controllers for large, complex, and distributed systems is a challenging task. Numerous proposed methods exist in the literature, but it is difficult for practitioners to apply them -- most proposed synthesis methods lack ready-to-use software implementations, and existing proprietary components are too rigid to extend to general systems. To address this gap, we develop SLSpy, a framework for controller synthesis, comparison, and testing. SLSpy implements a highly extensible software framework which provides two essential workflows: synthesis and simulation. The workflows are built from five conceptual components that can be customized to implement a wide variety of synthesis algorithms and disturbance tests. SLSpy comes pre-equipped with a workflow for System Level Synthesis (SLS), which enables users to easily and freely specify desired design objectives and constraints. We demonstrate the effectiveness of SLSpy using two examples that have been described in the literature but do not have ready-to-use implementations. We open-source SLSpy to facilitate future controller synthesis research and practical usage.

eess.SY↗

arXiv2020

A Generic Solver for Unconstrained Control Problems with Integral Functional Objectives

We present a generic solver for unconstrained control problems (UCPs) whose objectives take the form of an integral functional of the controllers. The solver generalizes and improves upon the algorithm proposed by Tseng and Tang for the Witsenhausen's counterexample, which provides the best-known results. In essence, we show that minimizing the objective implies minimizing the marginal cost functions almost everywhere, and we perform the latter task pointwisely by the adaptive minimization technique, which speeds up the computation. We implement single-threaded and parallelized versions of the proposed algorithm. Our implementation runs $30 \times$ faster than Tseng and Tang's algorithm on the Witsenhausen's counterexample, and we demonstrate the applicability of the solver and discuss the possible generalization to constrained problems through two more examples.

math.OC↗

arXiv2020

Deployment Architectures for Cyber-Physical Control Systems

We consider the problem of how to deploy a controller to a (networked) cyber-physical system (CPS). Controlling a CPS is an involved task, and synthesizing a controller to respect sensing, actuation, and communication constraints is only part of the challenge. In addition to controller synthesis, one should also consider how the controller will work in the CPS. Put another way, the cyber layer and its interaction with the physical layer need to be taken into account. In this work, we aim to bridge the gap between theoretical controller synthesis and practical CPS deployment. We adopt the system level synthesis (SLS) framework to synthesize a state-feedback controller and provide a deployment architecture for the standard SLS controller. Furthermore, we derive a new controller realization for open-loop stable systems and introduce four different architectures for deployment, ranging from fully centralized to fully distributed. Finally, we compare the trade-offs among them in terms of robustness, memory, computation, and communication overhead.

eess.SY↗

arXiv2020

System Level Synthesis via Dynamic Programming

System Level Synthesis (SLS) parametrization facilitates controller synthesis for large, complex, and distributed systems by incorporating system level constraints (SLCs) into a convex SLS problem and mapping its solution to stable controller design. Solving the SLS problem at scale efficiently is challenging, and current attempts take advantage of special system or controller structures to speed up the computation in parallel. However, those methods do not generalize as they rely on the specific system/controller properties. We argue that it is possible to solve general SLS problems more efficiently by exploiting the structure of SLS constraints. In particular, we derive dynamic programming (DP) algorithms to solve SLS problems. In addition to the plain SLS without any SLCs, we extend DP to tackle infinite horizon SLS approximation and entrywise linear constraints, which form a superclass of the locality constraints. Comparing to convex program solver and naive analytical derivation, DP solves SLS 4 to 12 times faster and scales with little computation overhead. We also quantize the cost of synthesizing a controller that stabilizes the system in a finite horizon through simulations.

eess.SY↗