Synthesis of Minimal Error Control Software

Software implementations of controllers for physical systems are at the core of many embedded systems. The design of controllers uses the theory of dynamical systems to construct a mathematical control law that ensures that the controlled system has certain properties, such as asymptotic convergence to an equilibrium point, while optimizing some performance criteria. However, owing to quantization errors arising from the use of fixed-point arithmetic, the implementation of this control law can only guarantee practical stability: under the actions of the implementation, the trajectories of the controlled system converge to a bounded set around the equilibrium point, and the size of the bounded set is proportional to the error in the implementation. The problem of verifying whether a controller implementation achieves practical stability for a given bounded set has been studied before. In this paper, we change the emphasis from verification to automatic synthesis. Using synthesis, the need for formal verification can be considerably reduced thereby reducing the design time as well as design cost of embedded control software. We give a methodology and a tool to synthesize embedded control software that is Pareto optimal w.r.t. both performance criteria and practical stability regions. Our technique is a combination of static analysis to estimate quantization errors for specific controller implementations and stochastic local search over the space of possible controllers using particle swarm optimization. The effectiveness of our technique is illustrated using examples of various standard control systems: in most examples, we achieve controllers with close LQR-LQG performance but with implementation errors, hence regions of practical stability, several times as small.Comment: 18 pages, 2 figure

Synthesis and control of generalised dynamically substructured systems

The experimental technique for testing engineering systems via the method of dynamic substructuring is receiving significant global interest, for example in the fields of large-scale structural, aerospace, and automotive system testing. Dynamically substructured systems (DSSs) enable full-size, critical components of a complete system to be physically tested in real-time, within a laboratory environment, while the remainder of the system is modelled numerically. The intention is that the combined physical-numerical DSS behaves as if it were the complete (or emulated) system.In an ideal mechanical DSS, for example, perfect synchronization of displacements and forces at the interfaces between the numerical and physical components (or substructures) is required. Hence, a key design feature of successful DSS systems is the high fidelity of the control action. Equally, a DSS controller must be able to cope with non-linear, time-varying, and uncertain parameters within the physical substructure dynamics.The main purpose of this paper is to present a generalized DSS framework, together with associated linear and adaptive control strategies, that are specifically tailored to achieve high synchronization performance. The initial studies of this problem, as described in an earlier paper by Stoten and Hyde, are therefore continued by generalizing both the DSS dynamics and the control strategies to include (a) a number of newly defined modes of operation and (b) multivariable dynamics. In addition, comparative implementation and simulation studies are included, based upon the DSS testing of a mechanical system (a planar quasi-motorcycle rig), which was specifically designed to highlight the main features of this research. The comparative studies show that excellent DSS control can be achieved, especially with the addition of an adaptive component to the controller, despite significant changes to the physical substructure dynamics

Stabilization of Linear Systems with Structured Perturbations

The problem of stabilization of linear systems with bounded structured uncertainties are considered in this paper. Two notions of stability, denoted quadratic stability (Q-stability) and μ-stability, are considered, and corresponding notions of stabilizability and detectability are defined. In both cases, the output feedback stabilization problem is reduced via a separation argument to two simpler problems: full information (FI) and full control (FC). The set of all stabilizing controllers can be parametrized as a linear fractional transformation (LFT) on a free stable parameter. For Q-stability, stabilizability and detectability can in turn be characterized by Linear Matrix Inequalities (LMIs), and the FI and FC Q-stabilization problems can be solved using the corresponding LMIs. In the standard one-dimensional case the results in this paper reduce to well-known results on controller parametrization using state-space methods, although the development here relies more heavily on elegant LFT machinery and avoids the need for coprime factorizations

Disturbance Observer-based Robust Control and Its Applications: 35th Anniversary Overview

Disturbance Observer has been one of the most widely used robust control tools since it was proposed in 1983. This paper introduces the origins of Disturbance Observer and presents a survey of the major results on Disturbance Observer-based robust control in the last thirty-five years. Furthermore, it explains the analysis and synthesis techniques of Disturbance Observer-based robust control for linear and nonlinear systems by using a unified framework. In the last section, this paper presents concluding remarks on Disturbance Observer-based robust control and its engineering applications.Comment: 12 pages, 4 figure

Robust scheduled control of longitudinal flight with handling quality satisfaction

Classic flight control systems are still widely used in the industry because of acquired experience and good understanding of their structure. Nevertheless, with more stringent constraints, it becomes difficult to easily fulfil all the criteria with these classic control laws. On the other hand, modern methods can handle many constraints but fail to produce low order controllers. The following methodology proposed in this paper addresses both classic and modern flight control issues, to offer a solution that leverages the strengths of both approaches. First, an H∞ synthesis is performed in order to get controllers which satisfy handling qualities and are robust withrespect to mass and centre of gravity variations. These controllers are then reduced and structured by using robust modal control techniques. In conclusion, a self-scheduling technique is described that will schedule these controllers over the entire flight envelope

Secure and Private Implementation of Dynamic Controllers Using Semi-Homomorphic Encryption

This paper presents a secure and private implementation of linear time-invariant dynamic controllers using Paillier's encryption, a semi-homomorphic encryption method. To avoid overflow or underflow within the encryption domain, the state of the controller is reset periodically. A control design approach is presented to ensure stability and optimize performance of the closed-loop system with encrypted controller.Comment: Improved numerical exampl