An iterative approach for the discrete‐time dynamic control of Markov jump linear systems with partial information

The , and mixed dynamic output feedback control of Markov jump linear systems in a partial observation context is studied through an iterative approach. By partial information, we mean that neither the state variable x(k) nor the Markov chain θ(k) are available to the controller. Instead, we assume that the controller relies only on an output y(k) and a measured variable coming from a detector that provides the only information of the Markov chain θ(k). To solve the problem, we resort to an iterative method that starts with a state‐feedback controller and solves at each iteration a linear matrix inequality optimization problem. It is shown that this iterative algorithm yields to a nonincreasing sequence of upper bound costs so that it converges to a minimum value. The effectiveness of the iterative procedure is illustrated by means of two examples in which the conservatism between the upper bounds and actual costs is significantly reduced.     

Direct synthesis of reduced order H controllers for a class of multivariable plants

Given an nth order, -control input, p-measured output generalized plant, this article proposes a simple, direct approach to design an output feedback H controller with order satisfying for , or for . For this purpose, the output feedback H control problem is transformed into an H state feedback problem for an augmented generalized system. A class of plants for which this transformation always exists and the ensuing controller has order as above, is identified. As a result, for such plants, the reduced order H controller gains are found just by solving a simple linear matrix inequality problem used in state feedback based H control. The efficacy of the proposed approach is studied on some benchmark examples.     

A new -gain analysis framework for discrete-time switched systems based on predictive Lyapunov function

The work proposes the pre--gain analysis framework based on the newly raised nonweighted pre--gain performance index and predictive Lyapunov function, which is devoted to nonweighted -gain analysis and relevant control of discrete-time switched systems under mode-dependent average dwell time. This also provides new ideas for other disturbance-related studies. To begin with, the predictive Lyapunov function is established for switched nonlinear systems in the sense of better reflecting future system dynamics and future external disturbances. Hence, it is achievable to develop less conservative stability and nonweighted pre--gain criteria for switched linear systems. Further, a new disturbance-output expression is devised to match with the nonweighted pre--gain, whose function is to estimate and optimize the traditional nonweighted -gain of the underlying system through discussions. Then, a solvable condition is formulated to seek the piecewise time-dependent gains of switching controller in a convex structure, ensuring the global uniform exponential stability with nonweighted pre--gain and thereby attaining much smaller non-weighted -gain. Finally, the simulation comprised of a circuit system and a numerical example manifests the impressive potential of the obtained results for the purpose of preferable disturbance attenuation performances.     

Observer-based consensus control for multi-agent systems with measurement noises and external disturbances

This study presents a distributed observer-based consensus control for general linear multi-agent systems under measurement noises and external disturbances. By using the state linear transformation with the matrix constructed from the incidence matrix of a virtual chained directed spanning tree, we transform the observer-based consensus problem into an asymptotic stability problem of a corresponding augmented linear system. The augmented linear system consists of the reduced-order system deduced from dynamic equations of the agents and state estimation error system. Based on asymptotic stability of the augmented linear system, we present some sufficient conditions in terms of linear matrix inequalities for the existence of the distributed observer-based consensus controller. Finally, the effectiveness of the proposed approach is illustrated by a numerical example.     

Discrete‐time sector based hands‐off control for nonlinear system

This article presents a hands‐off control design for discrete‐time nonlinear system with a special type of nonlinear sector termed as “discrete‐time sector.” The design method to define the boundary of a discrete‐time sector is done with control‐Lyapunov function. The generalization of nonlinear system is viewed in the perspective of a comparison function. By means of a proposed sector, a switching control is designed such that no control action is experienced inside the sector thus, saving unnecessary control efforts. However, to study the robustness for discrete‐time system, a hands‐off control is modified to ensure the monotonic decrease in the energy of the system. Finally, the proposed approach is verified with the simulation results.     

Hidden Markov model based filtering for singular semi-Markov jump systems

This article investigates the hidden Markov model based filter design problem for the singular semi-Markov jump systems (SSMJSs). The considered semi-Markov process is a generalization of Markov process, which can eliminate the restriction on the exponential distribution of sojourn time. Besides, the hidden Markov model based filter is introduced to tackle the asynchronous phenomenons occurred between the system modes and filter modes. To ensure the stochastic stability of the SSMJSs and derive solvable filter parameters, a filter design technic is constructed. First, the direct evolution of the states between two arbitrary close time instants is constructed from the filtering error system according to slow-fast decomposition, sufficient conditions are then proposed based on the consistent projector of the filtering error system and the constructed direct state evolution. Second, a new linear decoupling strategy is presented to deal with the coupled terms under the established stability conditions, which further derives the desired hidden Markov model based filter parameters. A numerical example is given to illustrate the effectiveness of the proposed method.     

Optimal linear combination of sensors and actuators to enforce an interior conic open‐loop system

This paper presents techniques to linearly combine the sensor measurements and/or actuator inputs of a linear time‐invariant system to obtain a new system that is interior conic with prescribed bounds. In the optimal sensor combination problem, a desired system output is defined, and in the optimal actuator combination problem, a desired system input is defined, along with a frequency bandwidth in which the desired system input or output should be matched. The simultaneous optimal sensor and actuator combination problem includes desired system outputs and inputs. In all cases, the weighted or norm of the difference between the system with linearly combined sensors or actuators and the desired system is minimized while rendering the new system interior conic with prescribed bounds. The weighting transfer matrix used in the ‐ or ‐optimization problem is determined by the frequency bandwidth of interest. The individual sensor and actuator combination methods involve linear matrix inequality constraints and are posed as convex optimization problems, whereas the combined sensor and actuator method is an iterative procedure composed of convex optimization steps. Numerical examples illustrate superior tracking performance with the proposed sensor and actuator combination techniques over comparable techniques in the literature when implemented with a simple feedback controller. Robust asymptotic stability of the closed‐loop system to plant uncertainty is demonstrated in the numerical examples.     

Stubborn state estimation for nonlinear distributed parameter systems subject to measurement outliers

In this article, the state estimation problem is investigated for a class of distributed parameter systems (DPSs). In order to estimate the state of DPSs, we give a partition of spatial interval with a finite sequence and, on each subinterval, one sensor is placed to receive the measurements from the DPS. Due to the unexpected environment changes, the measurements will probably contain some outliers. To eliminate the effects of the possibly occurring outliers, we construct a stubborn state estimator where the innovation is constrained by a saturation function. By using Lyapunov functional, Wirtinger inequality and piecewise integration, some sufficient conditions are obtained under which the resulting estimation error system is exponentially stable and the performance requirement is satisfied. According to the obtained analysis results, the desired state estimator is designed in terms of the solution to a set of matrix inequalities. Finally, a numerical simulation example is given to verify the effectiveness of the proposed state estimation scheme.     

Quasi‐time‐dependent asynchronous filtering for discrete time switched systems via the event triggering mechanism

This article is concerned with the quasi‐time‐dependent asynchronous filter design problem for a class of discrete‐time switched systems via the event‐triggering mechanism. Applying the quasi‐time‐dependent Lyapunov functions and the mode‐dependent average dwell time technique, an asynchronous filter is designed with a weighted performance index; the filter parameter matrices are quasi‐time‐dependent in each event‐triggering‐dependent sampling interval; both cases (Case 1: no more than one switching, Case 2: multiple switchings) are taken into account in this sampling interval, by which the assumption, that the maximal asynchronous period is not larger than the minimal dwell time, is relaxed in this article. Simulation examples are given to show the less conservatism and effectiveness of the proposed results.     

On the dual linear periodic time‐delay system: Spectrum and Lyapunov matrices,with application to analysis and balancing

We present novel theoretical concepts for linear time‐periodic systems with multiple delays, which are closely related to the spectral properties and Lyapunov matrices. At the basis of the main results is the associated dual system, constructed by transposition of the systems matrices and affine transformations of their arguments. We introduce, for the first time, the concepts of the norm and the dual Lyapunov matrix of periodic systems with delays. We show that the primal and dual system have the same norm, characterized by primal and dual delay Lyapunov equations, which extend the well‐known results for time‐invariant systems with delays, and periodic systems without delays. Having at hand the pair of primal‐dual Lyapunov matrices, along with some energy interpretations, allow us to generalize the concept of position balancing and explore its potential for model reduction. The obtained results are illustrated by several examples, including the delayed Mathieu equation.     

A less conservative approach to handle time‐varying parameters in discrete‐time linear parameter‐varying systems with applications in networked control systems

This article proposes a new strategy to deal with linear parameter‐varying discrete‐time systems, whose time‐varying parameters can be written as solutions (such as exponential, trigonometric, or periodic function) of a linear difference equation (DE). The novelty is to explicitly exploit the precise knowledge of the function describing the time‐varying parameter by incorporating the associated DE in the conditions, providing less conservative results when compared with conventional approaches based on bounded or arbitrary rates of variation. The advantage of the method comes from the fact that, differently from the available methods, the pointwise stability for the whole domain of the time‐varying parameters is not a necessary condition to obtain feasible solutions. The applicability and benefits of the proposed technique are investigated in terms of numerical examples concerning robust stability analysis,  filtering, and  state‐feedback control. As a final contribution, the problem of time‐varying sampling periods in the context of networked control systems is investigated using the proposed strategy. A numerical example based on a practical application is presented to illustrate the superiority of the approach when compared to methods from the literature based on matrix exponential computation.     

Characterization and optimization of the smoothed spectral abscissa for time‐delay systems

We introduce a new robust stability measure for systems with multiple pointwise delays, which is called smoothed spectral abscissa, consistently with the existing measure for delay‐free systems. Its main characteristics are that it is smooth with respect to the system parameters and it provides a trade‐off between the decay rate of the system solution and the norm of a transfer matrix related with the system. The smoothed spectral abscissa is implicitly defined in terms of the norm of an auxiliary system, and its computation is based on the so‐called delay Lyapunov matrix. We show that these features make the smoothed spectral abscissa suitable for the design of robust controllers by using standard gradient‐based optimization techniques and exploiting a novel characterization of the derivatives of the delay Lyapunov matrix with respect to the system parameters.     

Network‐based robust event‐triggered control for continuous‐time uncertain semi‐Markov jump systems

This article investigates the event‐triggered (ET) states feedback robust control problem for a class of continuous‐time networked semi‐Markov jump systems (S‐MJSs). An ET scheme, which depends on semi‐Markov process, is presented to design a suitable controller and save communication resources. To cope with the network transmission delay phenomenon, a time‐delay S‐MJSs model under the ET scheme is introduced to describe this phenomenon. Then, it is assumed that the communication links between event detector and zero‐order holder are imperfect, where the signal quantization and the actuator fault occur simultaneously. The sufficient conditions are derived by means of linear matrix inequalities approach, which guarantees the stochastic stability of the constructed time‐delay S‐MJSs in an optimized performance level. Based on these criteria, the parameters of controller under the ET scheme are readily calculated. Some simulation results with respect to F‐404 aircraft engine system for two kinds of ET parameters are given to validate the proposed method.     

Structural Analogy from a Single Image Pair

The task of unsupervised image‐to‐image translation has seen substantial advancements in recent years through the use of deep neural networks. Typically, the proposed solutions learn the characterizing distribution of two large, unpaired collections of images, and are able to alter the appearance of a given image, while keeping its geometry intact. In this paper, we explore the capabilities of neural networks to understand image structure given only a single pair of images, and . We seek to generate images that are structurally aligned: that is, to generate an image that keeps the appearance and style of , but has a structural arrangement that corresponds to . The key idea is to map between image patches at different scales. This enables controlling the granularity at which analogies are produced, which determines the conceptual distinction between style and content. In addition to structural alignment, our method can be used to generate high quality imagery in other conditional generation tasks utilizing images and only: guided image synthesis, style and texture transfer, text translation as well as video translation. Our code and additional results are available in https://github.com/rmokady/structural-analogy/     

Robust control of the Hill's problem with drag

There are significant advantages associated with the analysis of satellite trajectory control problems in the Hill's analysis framework. As with the circular restricted three‐body problem (CRTBP) equations, the Hill's equations support three‐dimensional “halo” orbits that require station‐keeping control. These orbits are typically in regions of space close to a libration point. In most cases these orbits are unstable, with drag effects introducing uncertain exogenous forces. A two‐degree‐of‐freedom control strategy is used to maintain a pre‐selected orbit and introduce a quantifiable robust stability margin. The control study presented is based on a time‐periodic state feedback law, and a time‐periodic feed‐forward control that is based on a linearized drag model. The efficacy of these ideas is demonstrated by simulation.     

A discrete‐time nonlinear state observer for the anaerobic digestion process

This paper is concerned with the design of an LMI‐based discrete‐time nonlinear state observer for an anaerobic digestion model. In presence of disturbances in both the dynamics of the model and the output measurement signals, the proposed observer robustly estimates all state variables including bacteria concentrations, which are costly and difficult to measure. In the goal to increase applicability of the proposed observer for other systems, we present the theoretical results in a general way. First, due to the use of Young's inequality in a convenient way, we get new sufficient conditions, expressed in terms of bilinear matrix inequalities (BMIs), ensuring the criterion. Then, to render the BMIs convex, two alternative solutions are proposed, where both lead to linear matrix inequality (LMI) conditions. It is shown analytically and numerically that these two solutions provide less conservative LMI conditions compared to the existing methods in the literature. To validate the proposed methodology on a real‐world model, an application to an anaerobic digestion model is given.     

Robust nonfragile observer‐based control of switched discrete singular systems with time‐varying delays: A sliding mode control design

This paper is devoted to the robust sliding mode control issue for a type of switched discrete singular systems with time‐varying delays under arbitrary switching. Since the system states are not available, the nonfragile observer strategy is used to generate the state estimation. By designing a novel sliding surface function, which is established on the estimation, new sufficient conditions via linear matrix inequalities are derived so that the closed‐loop system is admissible with an disturbance attenuation level γ. Furthermore, sliding mode controllers are given to guarantee the reachability of the quasi‐sliding mode and weaken the chattering. At last, examples are presented to verify the validity of our provided approach.     

Mixed coordination mechanisms for scheduling games on hierarchical machines

In this paper, we study scheduling games under mixed coordination mechanisms on hierarchical machines. The two scheduling policies involved are ‐ and ‐, where ‐ (resp., ‐) policy sequences jobs in nondecreasing order of their hierarchies, and jobs of the same hierarchy in nonincreasing (resp., nondecreasing) order of their processing times. We first show the existence of a Nash equilibrium. Then we present the price of anarchy and the price of stability for the games with social costs of minimizing the makespan and maximizing the minimum machine load. All the bounds given in this paper are tight.     

Stability and stabilization for singularly perturbed systems with Markovian jumps

This article focuses on the stability and stabilization problems of singularly perturbed jump systems. Here, the singularly perturbed parameter (SPP) is also with Markov switching and satisfies any with positive bound predefined. First, stability conditions expressed ?_i‐free but involving its bound are developed by constructing an ?_i‐dependent Lyapunov function. Then, a method for state feedback stabilization controller depending on SPP is proposed, whose conditions are given in terms of linear matrix inequalities. Moreover, some special cases about deterministic SPP are considered too. Finally, two practical examples are used to demonstrate the effectiveness and superiorities of the proposed methods.     

Stabilization of the planar vertical take-off and landing using nonlinear feedback control

This article presents a new control strategy for the well-known problem of the planar vertical take-off and landing. The total thrust is computed using a nonlinear feedback compensation so that the altitude reaches the desired altitude. The horizontal position x is then controlled by choosing the orientation angle as a smooth saturation function of x and . A proof of convergence is presented using a Lyapunov approach. The proposed control strategy is successfully tested in numerical simulations.