Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.

Static Output Feedback H_∞ Controllers Design for Descriptor Linear Systems Based on LMI

This paper considers the design problem of static output feedback H ∞ controllers for descriptor linear systems with linear matrix inequality (LMI) approach. Necessary and sufficient conditions for the existence of a static output feedback H ∞ controller are given in terms of LMIs. Furthermore, the design method of H ∞ controllers is provided using the solutions to the LMIs.

BLOCK DIAGONAL FORM AND BLOCK DIAGONAL CONTROLLER OF NONLINEAR SYSTEMS

A block diagonal form about a nonlinear system is defined. Based on the de finition, a design method ca1led block diagonal controller (BDC) is proPOsed bo feedbacklinearization. Thus, a linearization design of a class of nonlinear system can be simply re-alized. The result of design has been proved by mathematical simulation of a certain anti-ship missile.

Global stabilizing controller design for linear time-varying systems and its application on BTT missiles

A parametric method for the gain-scheduled controller design of a linear time-varying system is given. According to the proposed scheduling method, the performance between adjacent characteristic points is preserved by the invariant eigenvalues and the gradually varying eigenvectors. A sufficient stability criterion is given by constructing a series of Lyapunov functions based on the selected discrete characteristic points. An important contribution is that it provides a simple and feasible approach for the design of gain-scheduled controllers for linear time-varying systems, which can guarantee both the global stability and the desired closed-loop performance of the resulted system. The method is applied to the design of a BTT missile autopilot and the simulation results show that the method is superior to the traditional one in sense of either global stability or system performance.

Risk-Informed Model-Free Safe Control of Linear Parameter-Varying Systems

This paper presents a risk-informed data-driven safe control design approach for a class of stochastic uncertain nonlinear discrete-time systems.The nonlinear system is modeled using linear parameter-varying(LPV)systems.A model-based probabilistic safe controller is first designed to guarantee probabilisticλ-contractivity(i.e.,stability and invariance)of the LPV system with respect to a given polyhedral safe set.To obviate the requirement of knowing the LPV system model and to bypass identifying its open-loop model,its closed-loop data-based representation is provided in terms of state and scheduling data as well as a decision variable.It is shown that the variance of the closedloop system,as well as the probability of safety satisfaction,depends on the decision variable and the noise covariance.A minimum-variance direct data-driven gain-scheduling safe control design approach is presented next by designing the decision variable such that all possible closed-loop system realizations satisfy safety with the highest confidence level.This minimum-variance approach is a control-oriented learning method since it minimizes the variance of the state of the closed-loop system with respect to the safe set,and thus minimizes the risk of safety violation.Unlike the certainty-equivalent approach that results in a risk-neutral control design,the minimum-variance method leads to a risk-averse control design.It is shown that the presented direct risk-averse learning approach requires weaker data richness conditions than existing indirect learning methods based on system identification and can lead to a lower risk of safety violation.Two simulation examples along with an experimental validation on an autonomous vehicle are provided to show the effectiveness of the presented approach.

A closed-loop particle swarm optimizer for multivariable process controller design

Design of general multivariable process controllers is an attractive and practical alternative to optimizing design by evolutionary algorithms (EAs) since it can be formulated as an optimization problem. A closed-loop particle swarm optimization (CLPSO) algorithm is proposed by mapping PSO elements into the closed-loop system based on control theories. At each time step, a proportional integral (PI) controller is used to calculate an updated inertia weight for each particle in swarms from its last fitness. With this modification, limitations caused by a uniform inertia weight for the whole population are avoided, and the particles have enough diversity. After the effectiveness, efficiency and robustness are tested by benchmark functions, CLPSO is applied to design a multivariable proportional-integral-derivative (PID) controller for a solvent dehydration tower in a chemical plant and has improved its performances.

Robust H_∞ controller design for a class of nonlinear fuzzy time-delay systems

The problem of fuzzy modeling for state and input time-delays systems with a class of nonlinear uncertainties by fuzzy T-S model is addressed.By using the linear matrix inequality（LMI） method, the problem of fuzzy robust H ∞ controller design for the system is studied.Assuming that the nonlinear uncertain functions in the model considered are gain-bounded, a sufficient condition for the robustly asymptotic stability of the closed-loop system is obtained via Lyapunov stability theory.By solving the LMI, a feedback control law which guarantees the robustly asymptotic stability of the closed-loop system is constructed and the effect of the disturbance input on the controlled output is ruduced to a prescribed level.

Exponential stabilization of linear systems with feedback optimization and its application to microgrids control

This paper proposes a feedback-optimization-based control method for linear time-invariant systems,which is aimed to exponentially stabilize the system and,meanwhile,drive the system output to an approximate solution of an optimization problem with convex set constraints and affine inequality constraints.To ensure the exponential stability of the closed-loop system,the original optimization problem is first reformulated into a counterpart that has only convex set constraints.It is shown that the optimal solution of the new optimization problem is an approximate optimal solution of the original problem.Then,based on this new optimization problem,the projected primal–dual gradient dynamics algorithm is used to design the controller.By using the singular perturbation method,sufficient conditions are provided to ensure the exponential stability of the closed-loop system.The proposed method is also applied to microgrid control.

H_∞ controller synthesis of piecewise discrete time linear systems

This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable with guaranteed H∞ performance and the controller can be obtained by solving a set of bilinear matrix inequalities. It has been shown that piecewise quadratic Lyapunov functions are less conservative than the global quadratic Lyapunov functions. A simulation example is also given to illustrate the advantage of the proposed approach.

Linear Programming for Optimum PID Controller Tuning

This work presents a new methodology based on Linear Programming (LP) to tune Proportional-Integral-Derivative (PID) control parameters. From a specification of a desired output time domain of the plant, a linear optimization system is proposed to adjust the PID controller leading the output signal to stable operation condition with minimum oscillations. The constraint set used in the optimization process is defined by using numerical integration approach. The generated optimization problem is convex and easily solved using an interior point algorithm. Results obtained using familiar plants from literature have shown that the proposed linear programming problem is very effective for tuning PID controllers.

Adaptive linear active disturbance-rejection control strategy reduces the impulse current of compressed air energy storage connected to the grid

The merits of compressed air energy storage(CAES)include large power generation capacity,long service life,and environmental safety.When a CAES plant is switched to the grid-connected mode and participates in grid regulation,using the traditional control mode with low accuracy can result in excess grid-connected impulse current and junction voltage.This occurs because the CAES output voltage does not match the frequency,amplitude,and phase of the power grid voltage.Therefore,an adaptive linear active disturbance-rejection control(A-LADRC)strategy was proposed.Based on the LADRC strategy,which is more accurate than the traditional proportional integral controller,the proposed controller is enhanced to allow adaptive adjustment of bandwidth parameters,resulting in improved accuracy and response speed.The problem of large impulse current when CAES is switched to the grid-connected mode is addressed,and the frequency fluctuation is reduced.Finally,the effectiveness of the proposed strategy in reducing the impact of CAES on the grid connection was verified using a hardware-in-the-loop simulation platform.The influence of the k value in the adaptive-adjustment formula on the A-LADRC was analyzed through simulation.The anti-interference performance of the control was verified by increasing and decreasing the load during the presynchronization process.

Transient Stability Improvement of Power System Using Non-Linear Controllers

This paper presents the design of a non-linear controller to prevent an electric power system losing synchronism after a large sudden fault and to achieve good post fault voltage level. By Direct Feedback Linearization (DFL) technique robust non-linear excitation controller is designed which will achieve stability enhancement and voltage regulation of power system. By utilizing this technique, there is a possibility of selecting various control loops for a particular application problem. This method plays an important role in control system and power system engineering problem where all relevant variables cannot be directly measured. Simulated results carried out on a single machine infinite bus power system model which shows the enhancement of transient stability regardless of the fault and changes in network parameters.

Exact uncertainty compensation of linear systems by continuous fixed-time output-feedback controller

This paper studies the fixed-time output-feedback control for a class of linear systems subject to matched uncertainties.To estimate the uncertainties and system states,we design a composite observer which consists of a high-order sliding mode observer and a Luenberger observer.Then,a robust output-feedback controller with fixed-time convergence guarantee is constructed.Rigorous theoretical proof shows that with the proposed controller,the system states can converge to zero in fixed-time free of the initial conditions.Finally,simulation comparison with existing algorithms is given.Simulation results verify the effectiveness of the proposed controller in terms of its fixed-time convergence and perfect disturbance rejection.

Book Announcement of L. Celentano, Robust Tracking Controllers Design with Generic References for Continuous and Discrete Uncertain Linear SISO Systems, LAP LAMBERT Academic Publishing, 2012

In this book new results on controller design techniques for the tracking of generic reference inputs are presented. They allow the design of a controller for an uncertain process, either continuous or discrete-time, without zeros, and with measurable state. The controller guarantees that the control system is Type 1 and has the desired constant gain and poles or that the control system tracks, with a specified maximum error and with a specified maximum time constant, a generic reference with bounded derivative (variation in the discrete-time case), also in the presence of a generic disturbance with bounded derivative (variation). In addition, it is considered the case in which the reference is known a priori. The utility and the efficiency of the proposed methods are illustrated with attractive and significant examples of motion control and temperature control. This book is useful for the design of control systems, especially for manufacturing systems, that are versatile, fast, precise and robust.

Research on Grid-Connected Control Strategy of Distributed Generator Based on Improved Linear Active Disturbance Rejection Control

The virtual synchronous generator(VSG)technology has been proposed to address the problem of system frequency and active power oscillation caused by grid-connected new energy power sources.However,the traditional voltage-current double-closed-loop control used in VSG has the disadvantages of poor disturbance immunity and insufficient dynamic response.In light of the issues above,a virtual synchronous generator voltage outer-loop control strategy based on improved linear autonomous disturbance rejection control(ILADRC)is put forth for consideration.Firstly,an improved first-order linear self-immunity control structure is established for the characteristics of the voltage outer loop;then,the effects of two key control parameters-observer bandwidthω_(0)and controller bandwidthω_(c)on the control system are analyzed,and the key parameters of ILADRC are optimally tuned online using improved gray wolf optimizer-radial basis function(IGWO-RBF)neural network.A simulationmodel is developed using MATLAB to simulate,analyze,and compare the method introduced in this paper.Simulations are performed with the traditional control strategy for comparison,and the results demonstrate that the proposed control method offers superior anti-interference performance.It effectively addresses power and frequency oscillation issues and enhances the stability of the VSG during grid-connected operation.

Design of Nonlinear Decoupling Controller for Double-electromagnet Suspension System

Aiming at the coupling characteristic between the two groups of electromagnets embedded in the module of the maglev train, a nonlinear decoupling controller is designed. The module is modeled as a double-electromagnet system, and based on some reasonable assumptions its nonlinear mathematical model, a MIMO coupling system, is derived. To realize the linearization and decoupling from the input to the output, the model is linearized exactly by means of feedback linearization, and an equivalent linear decoupling model is obtained. Based on the linear model, a nonlinear suspension controller is designed using state feedback. Simulations and experiments show that the controller can effectually solve the coupling problem in double-electromagnet suspension system.

Load Frequency Control of Small Hydropower Plants Using One-Input Fuzzy PI Controller with Linear and Non-Linear Plant Model

This study presents an intelligent approach for load frequency control (LFC) of small hydropower plants (SHPs). The approach which is based on fuzzy logic (FL), takes into account the non-linearity of SHPs—something which is not possible using traditional controllers. Most intelligent methods use two- input fuzzy controllers, but because such controllers are expensive, there is economic interest in the relatively cheaper single-input controllers. A non- linear control model based on one-input fuzzy logic PI (FLPI) controller was developed and applied to control the non-linear SHP. Using MATLAB/Si- mulink SimScape, the SHP was simulated with linear and non-linear plant models. The performance of the FLPI controller was investigated and compared with that of the conventional PI/PID controller. Results show that the settling time for the FLPI controller is about 8 times shorter;while the overshoot is about 15 times smaller compared to the conventional PI/PID controller. Therefore, the FLPI controller performs better than the conventional PI/PID controller not only in meeting the LFC control objective but also in ensuring increased dynamic stability of SHPs.

LMI_based robust iterative learning controller design for discrete linear uncertain systems

This paper addresses the design problem of robust iterative learning controllers for a class of linear discrete-time systems with norm-bounded parameter uncertainties. An iterative learning algorithm with current cycle feedback is proposed to achieve both robust convergence and robust stability. The synthesis problem of the proposed iterative learmng control （ILC） system is reformulated as a γ-suboptimal H-infinity control problem via the linear fractional transformation （LFT）. A sufficient condition for the convergence of the ILC algorithm is presented in terms of linear matrix inequalities （LMIs）. Furthermore, the linear wansfer operators of the ILC algorithm with high convergence speed are obtained by using existing convex optimization techniques. The simulation results demonstrate the effectiveness of the proposed method.

Chaotic synchronization via linear controller

A technical framework of constructing a linear controller for chaotic synchronization by utilizing the stability theory of cascade-connected system is presented. Based on the method developed in the paper, two simple and linear feedback controllers, as examples, are derived for the synchronization of Liu chaotic system and Duffing oscillator, respectively. This method is quite flexible in constructing a control law. Its effectiveness is also illustrated by the simulation results.

Robust H_∞ Stabilization of Uncertain Linear Time-Delay System with Delayed/Undelayed State Feedback Controllers

This paper focuses on the H∞ controller design for linear systems with time-varying delays and norm-bounded parameter perturbations in the system state and control/disturbance. On the existence of delayed/undelayed full state feedback controllers, we present a sufficient condition and give a design method in the form of Riccati equation. The controller can not only stabilize the time-delay system, but also make the H∞ norm of the closed-loop system be less than a given bound. This result practically generalizes the related results in current literature.