Observer-based correct-by-design controller synthesis

Current state-of-the-art correct-by-design controllers are designed for full-state measurable systems. This work first extends the applicability of correct-by-design controllers to partially observable LTI systems. Leveraging 2nd order bounds we give a design method that has a quantifiable robustness to probabilistic disturbances on state transitions and on output measurements. In a case study from smart buildings we evaluate the new output-based correct-by-design controller on a physical system with limited sensor information

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

Unstationnary control of a launcher using observer-based structures

This paper deals with the design of a gain-scheduled controller for the attitude control of a launcher during atmospheric flight. The design is characterized by classical requirements such as phase/gain margins and flexible mode attenuations as well as time-domain constraints on the response of angle of attack to a worstcase wind profile. Moreover, these requirements must be fulfilled over the full atmospheric flight envelope and must be robust against parametric uncertainties. In order to achieve this goal, we propose a method based on minimal observer-based realizations of arbitrary stabilizing compensators. An original technique to assign the closed-loop dynamics between the state-feedback dynamics and the state-estimation dynamics is presented for the H∞ compensators case. The structure is used to mix various specifications through the Cross Standard Form(CSF) and to perform a smooth gain scheduling interpolation through an Euler-Newton algorithm of continuation

A Unified Framework for the Study of Anti-Windup Designs

We present a unified framework for the study of linear time-invariant (LTI) systems subject to control input nonlinearities. The framework is based on the following two-step design paradigm: "Design the linear controller ignoring control input nonlinearities and then add anti-windup bumpless transfer (AWBT) compensation to minimize the adverse eflects of any control input nonlinearities on closed loop performance". The resulting AWBT compensation is applicable to multivariable controllers of arbitrary structure and order. All known LTI anti-windup and/or bumpless transfer compensation schemes are shown to be special cases of this framework. It is shown how this framework can handle standard issues such as the analysis of stability and performance with or without uncertainties in the plant model. The actual analysis of stability and performance, and robustness issues are problems in their own right and hence not detailed here. The main result is the unification of existing schemes for AWBT compensation under a general framework

Control synthesis for an unmanned helicopter with time-delay under uncertain external disturbances

This paper presents the controller synthesis for an unmanned helicopter with minimum initial information about the parameters of its mathematical model with time-delays of measured and control signals. The unknown parameters, wind disturbances, and system nonlinearity are considered as external disturbances that are estimated using a multi-gap observer. The estimates obtained are used in the control law to improve the stability rate for flight regimes

New advances in H∞ control and filtering for nonlinear systems

The main objective of this special issue is to summarise recent advances in H∞ control and filtering for nonlinear systems, including time-delay, hybrid and stochastic systems. The published papers provide new ideas and approaches, clearly indicating the advances made in problem statements, methodologies or applications with respect to the existing results. The special issue also includes papers focusing on advanced and non-traditional methods and presenting considerable novelties in theoretical background or experimental setup. Some papers present applications to newly emerging fields, such as network-based control and estimation

Communicating Processes with Data for Supervisory Coordination

We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models of the system components and a formalization of the safe coordination (control) requirements. Based on the obtained models, code generation can be used to implement the supervisory controllers in software, on a PLC, or an embedded (micro)processor. In this article, we develop a process theory with data that supports a model-based systems engineering framework for supervisory coordination. We employ communication to distinguish between the different flows of information, i.e., observation and supervision, whereas we employ data to specify the coordination requirements more compactly, and to increase the expressivity of the framework. To illustrate the framework, we remodel an industrial case study involving coordination of maintenance procedures of a printing process of a high-tech Oce printer.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

Fault-tolerant control under controller-driven sampling using virtual actuator strategy

We present a new output feedback fault tolerant control strategy for continuous-time linear systems. The strategy combines a digital nominal controller under controller-driven (varying) sampling with virtual-actuator (VA)-based controller reconfiguration to compensate for actuator faults. In the proposed scheme, the controller controls both the plant and the sampling period, and performs controller reconfiguration by engaging in the loop the VA adapted to the diagnosed fault. The VA also operates under controller-driven sampling. Two independent objectives are considered: (a) closed-loop stability with setpoint tracking and (b) controller reconfiguration under faults. Our main contribution is to extend an existing VA-based controller reconfiguration strategy to systems under controller-driven sampling in such a way that if objective (a) is possible under controller-driven sampling (without VA) and objective (b) is possible under uniform sampling (without controller-driven sampling), then closed-loop stability and setpoint tracking will be preserved under both healthy and faulty operation for all possible sampling rate evolutions that may be selected by the controller

A review of convex approaches for control, observation and safety of linear parameter varying and Takagi-Sugeno systems

This paper provides a review about the concept of convex systems based on Takagi-Sugeno, linear parameter varying (LPV) and quasi-LPV modeling. These paradigms are capable of hiding the nonlinearities by means of an equivalent description which uses a set of linear models interpolated by appropriately defined weighing functions. Convex systems have become very popular since they allow applying extended linear techniques based on linear matrix inequalities (LMIs) to complex nonlinear systems. This survey aims at providing the reader with a significant overview of the existing LMI-based techniques for convex systems in the fields of control, observation and safety. Firstly, a detailed review of stability, feedback, tracking and model predictive control (MPC) convex controllers is considered. Secondly, the problem of state estimation is addressed through the design of proportional, proportional-integral, unknown input and descriptor observers. Finally, safety of convex systems is discussed by describing popular techniques for fault diagnosis and fault tolerant control (FTC).Peer ReviewedPostprint (published version