Researcher profile

Shih-Hao Tseng

Shih-Hao Tseng contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2020arXiv

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.