Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-example guided inductive synthesis that automates the design of digital controllers that are correct by construction. The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. We have implemented our new algorithm in a tool called DSSynth, and are able to automatically generate stable controllers for a set of intricate plant models taken from the literature within minutes.Comment: 10 page

Alternative implementations of a fractional order control algorithm on FPGAs

Traditionally, microprocessor and digital signal processors have been used extensively in controlling simple processes, such as direct current motors. The Field Programmable Gate Arrays (FPGA) are currently emerging as an alternative to the previously used devices in controlling all sorts of processes. The fractional order proportional-integrative control algorithm has the advantage of enhancing the closed loop performance as compared to traditional proportional-integrative controllers, but the implementation requires a higher number of computations. Implementations of control algorithms on FPGAs are nowadays much faster than implementations on microprocessors. This allows for a more accurate digital realization of the fractional order controller. The paper presents nine alternative implementations of such control algorithm on two different FPGA targets. The experimental results, considering DC motor speed control, show that double, fixed-point and integer data representation may be used efficiently for control purposes

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

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

Event-based fractional order control

The present study provides a generalization of event-based control to the field of fractional calculus, combining the benefits brought by the two approaches into an industrial-suitable control strategy. During recent years, control applications based on fractional order differintegral operators have gained more popularity due to their proven superior performance when compared to classical, integer order, control strategies. However, the current industrial setting is not yet prepared to fully adapt to complex fractional order control implementations that require hefty computational resources; needing highly-efficient methods with minimum control effort. The solution to this particular problem lies in combining benefits of event-based control such as resource optimization and bandwidth allocation with the superior performance of fractional order control. Theoretical and implementation aspects are developed in order to provide a generalization of event-based control into the fractional calculus field. Different numerical examples validate the proposed methodology, providing a useful tool, especially for industrial applications where the event-based control is most needed. Several event-based fractional order implementation possibilities are explored, the final result being an event-based fractional order control methodology. (C) 2020 The Authors. Published by Elsevier B.V. on behalf of Cairo University

Delay-Based Controller Design for Continuous-Time and Hybrid Applications

Motivated by the availability of different types of delays in embedded systems and biological circuits, the objective of this work is to study the benefits that delay can provide in simplifying the implementation of controllers for continuous-time systems. Given a continuous-time linear time-invariant (LTI) controller, we propose three methods to approximate this controller arbitrarily precisely by a simple controller composed of delay blocks, a few integrators and possibly a unity feedback. Different problems associated with the approximation procedures, such as finding the optimal number of delay blocks or studying the robustness of the designed controller with respect to delay values, are then investigated. We also study the design of an LTI continuous-time controller satisfying given control objectives whose delay-based implementation needs the least number of delay blocks. A direct application of this work is in the sampled-data control of a real-time embedded system, where the sampling frequency is relatively high and/or the output of the system is sampled irregularly. Based on our results on delay-based controller design, we propose a digital-control scheme that can implement every continuous-time stabilizing (LTI) controller. Unlike a typical sampled-data controller, the hybrid controller introduced here -— consisting of an ideal sampler, a digital controller, a number of modified second-order holds and possibly a unity feedback -— is robust to sampling jitter and can operate at arbitrarily high sampling frequencies without requiring expensive, high-precision computation

One-shot data-driven design of fractional-order PID controller considering closed-loop stability: fictitious reference signal approach

A one-shot data-driven tuning method for a fractional-order proportional-integral-derivative (FOPID) controller is proposed. The proposed method tunes the FOPID controller in the model-reference control formulation. A loss function is defined to evaluate the match between a given reference model and the closed-loop response while explicitly considering the closed-loop stability. A loss function value is based on the fictitious reference signal computed using the input/output data. Model matching is achieved via loss function minimization. The proposed method is simple and practical: it needs only one-shot input/output data of a plant (no plant model required), considers the bounded-input bounded-output stability of the closed-loop system, and automatically determines the appropriate parameter value via optimization. Numerical simulations show that the proposed approach facilitates good control performance, and destabilization can be avoided even if perfect model matching is unachievable

Universal direct tuner for loop control in industry

This paper introduces a direct universal (automatic) tuner for basic loop control in industrial applications. The direct feature refers to the fact that a first-hand model, such as a step response first-order plus dead time approximation, is not required. Instead, a point in the frequency domain and the corresponding slope of the loop frequency response is identified by single test suitable for industrial applications. The proposed method has been shown to overcome pitfalls found in other (automatic) tuning methods and has been validated in a wide range of common and exotic processes in simulation and experimental conditions. The method is very robust to noise, an important feature for real life industrial applications. Comparison is performed with other well-known methods, such as approximate M-constrained integral gain optimization (AMIGO) and Skogestad internal model controller (SIMC), which are indirect methods, i.e., they are based on a first-hand approximation of step response data. The results indicate great similarity between the results, whereas the direct method has the advantage of skipping this intermediate step of identification. The control structure is the most commonly used in industry, i.e., proportional-integral-derivative (PID) type. As the derivative action is often not used in industry due to its difficult choice, in the proposed method, we use a direct relation between the integral and derivative gains. This enables the user to have in the tuning structure the advantages of the derivative action, therefore much improving the potential of good performance in real life control applications