Exponential stabilization of neural networks with various activation functions and mixed time-varying delays

This paper presents some results on the global exponential stabilization for neural networks with various activation functions and time-varying continuously distributed delays. Based on augmented time-varying Lyapunov-Krasovskii functionals, new delay-dependent conditions for the global exponential stabilization are obtained in terms of linear matrix inequalities. A numerical example is given to illustrate the feasibility of our results.

Efficient subwindow search with submodular score functions

Subwindow search aims to find the optimal subimage which maximizes the score function of an object to be detected. After the development of the branch and bound (B&B) method called Efficient Subwindow Search (ESS), several algorithms (IESS [2], AESS [2], ARCS [3]) have been proposed to improve the performance of ESS. For nn images, IESS's time complexity is bounded by O(n³) which is better than ESS, but only applicable to linear score functions. Other work shows that Monge properties can hold in subwindow search and can be used to speed up the search to O(n³), but only applies to certain types of score functions. In this paper we explore the connection between submodular functions and the Monge property, and prove that sub-modular score functions can be used to achieve O(n³) time complexity for object detection. The time complexity can be further improved to be sub-cubic by applying B&B methods on row interval only, when the score function has a multivariate submodular bound function. Conditions for sub-modularity of common non-linear score functions and multivariate submodularity of their bound functions are also provided, and experiments are provided to compare the proposed approach against ESS and ARCS for object detection with some nonlinear score functions.

Observer-based controller design of time-delay systems with an interval time-varying delay

This paper considers the problem of designing an observer-based output feedback controller to exponentially stabilize a class of linear systems with an interval time-varying delay in the state vector. The delay is assumed to vary within an interval with known lower and upper bounds. The time-varying delay is not required to be differentiable, nor should its lower bound be zero. By constructing a set of Lyapunov–Krasovskii functionals and utilizing the Newton–Leibniz formula, a delay-dependent stabilizability condition which is expressed in terms of Linear Matrix Inequalities (LMIs) is derived to ensure the closed-loop system is exponentially stable with a prescribed α-convergence rate. The design of an observerbased output feedback controller can be carried out in a systematic and computationally efficient manner via the use of an LMI-based algorithm. A numerical example is given to illustrate the design procedure.

Design of H∞ control of neural networks with time-varying delays

This paper deals with the H∞ control problem of neural networks with time-varying delays. The system under consideration is subject to time-varying delays and various activation functions. Based on constructing some suitable Lyapunov-Krasovskii functionals, we establish new sufficient conditions for H∞ control for two cases of time-varying delays: (1) the delays are differentiable and have an upper bound of the delay-derivatives and (2) the delays are bounded but not necessary to be differentiable. The derived conditions are formulated in terms of linear matrix inequalities, which allow simultaneous computation of two bounds that characterize the exponential stability rate of the solution. Numerical examples are given to illustrate the effectiveness of our results.

Observer-based control for time-varying delay neural networks with nonlinear observation

This paper studies the problem of designing observer-based controllers for a class of delayed neural networks with nonlinear observation. The system under consideration is subject to nonlinear observation and an interval time-varying delay. The nonlinear observation output is any nonlinear Lipschitzian function and the time-varying delay is not required to be differentiable nor its lower bound be zero. By constructing a set of appropriate Lyapunov-Krasovskii functionals and utilizing the Newton-Leibniz formula, some delay-dependent stabilizability conditions which are expressed in terms of Linear Matrix Inequalities (LMIs) are derived. The derived conditions allow simultaneous computation of two bounds that characterize the exponential stability rate of the closed-loop system. The unknown observer gain and the state feedback observer-based controller are directly obtained upon the feasibility of the derived LMIs stabilizability conditions. A simulation example is presented to verify the effectiveness of the proposed result.

H∞ observer-based control for discrete-time one-sided Lipschitz systems with unknown inputs

This paper investigates the problem of robust observer-based stabilization for a class of one-sided nonlinear discrete-time systems subjected to unknown inputs. We propose a simple simultaneous state and input estimator. A nonlinear controller is then proposed to compensate for the effects of unknown inputs and to ensure asymptotic stability in a closed loop. Several mathematical artifacts are used to deduce stability conditions expressed in terms of linear matrix inequalities. To show high performances of the proposed technique, a relevant example is provided with comparisons to recent results.

Full-order observer design for nonlinear complex large-scale systems with unknown time-varying delayed interactions

This article is concerned with the problem of state observer for complex large-scale systems with unknown time-varying delayed interactions. The class of large-scale interconnected systems under consideration is subjected to interval time-varying delays and nonlinear perturbations. By introducing a set of argumented Lyapunov–Krasovskii functionals and using a new bounding estimation technique, novel delay-dependent conditions for existence of state observers with guaranteed exponential stability are derived in terms of linear matrix inequalities (LMIs). In our design approach, the set of full-order Luenberger-type state observers are systematically derived via the use of an efficient LMI-based algorithm. Numerical examples are given to illustrate the effectiveness of the result

New H∞ control design for polytopic systems with mixed time-varying delays in state and input

This paper concerns with the problem of state-feedback H∞ control design for a class of linear systems with polytopic uncertainties and mixed time-varying delays in state and input. Our approach can be described as follows. We first construct a state-feedback controller based on the idea of parameter-dependent controller design. By constructing a new parameter-dependent Lyapunov-Krasovskii functional (LKF), we then derive new delay-dependent conditions in terms of linear matrix inequalities ensuring the exponential stability of the corresponding closed-loop system with a H∞ disturbance attenuation level. The effectiveness and applicability of the obtained results are demonstrated by practical examples.

On backwards and forwards reachable sets bounding for perturbed time-delay systems

Linear systems with interval time-varying delay and unknown-but-bounded disturbances are considered in this paper. We study the problem of finding outer bound of forwards reachable sets and inter bound of backwards reachable sets of the system. Firstly, two definitions on forwards and backwards reachable sets, where initial state vectors are not necessary to be equal to zero, are introduced. Then, by using the Lyapunov-Krasovskii method, two sufficient conditions for the existence of: (i) the smallest possible outer bound of forwards reachable sets; and (ii) the largest possible inter bound of backwards reachable sets, are derived. These conditions are presented in terms of linear matrix inequalities with two parameters need to tuned, which therefore can be efficiently solved by combining existing convex optimization algorithms with a two-dimensional search method to obtain optimal bounds. Lastly, the obtained results are illustrated by four numerical examples.

Synchronization of singular Markovian jumping complex networks with additive time-varying delays via pinning control

Abstract
This study examines the problem of synchronization for singular complex dynamical networks with Markovian jumping parameters and two additive time-varying delay components. The complex networks consist of m modes which switch from one mode to another according to a Markovian chain with known transition probability. Pinning control strategies are designed to make the singular complex networks synchronized. Based on the appropriate Lyapunov-Krasovskii functional, introducing some free weighting matrices and using convexity of matrix functions, a novel synchronization criterion is derived. The proposed sufficient conditions are established in the form of linear matrix inequalities. Finally, a numerical example is presented to illustrate the effectiveness of the obtained results.

Exponential stability for markovian jumping stochastic BAM neural networks with mode-dependent probabilistic time-varying delays and impulse control

Abstract
In this article, an exponential stability analysis of Markovian jumping stochastic bidirectional associative memory (BAM) neural networks with mode-dependent probabilistic time-varying delays and impulsive control is investigated. By establishment of a stochastic variable with Bernoulli distribution, the information of probabilistic time-varying delay is considered and transformed into one with deterministic time-varying delay and stochastic parameters. By fully taking the inherent characteristic of such kind of stochastic BAM neural networks into account, a novel Lyapunov-Krasovskii functional is constructed with as many as possible positive definite matrices which depends on the system mode and a triple-integral term is introduced for deriving the delay-dependent stability conditions. Furthermore, mode-dependent mean square exponential stability criteria are derived by constructing a new Lyapunov-Krasovskii functional with modes in the integral terms and using some stochastic analysis techniques. The criteria are formulated in terms of a set of linear matrix inequalities, which can be checked efficiently by use of some standard numerical packages. Finally, numerical examples and its simulations are given to demonstrate the usefulness and effectiveness of the proposed results.

Functional observer design with application to pre-compensated multi-variable systems

Partial state estimation of dynamical systems provides significant advantages in practical applications. Likewise, pre-compensator design for multi variable systems invokes considerable increase in the order of the original system. Hence, applying functional observer to pre-compensated systems can result in lower computational costs and more practicability in some applications such as fault diagnosis and output feedback control of these systems. In this note, functional observer design is investigated for pre-compensated systems. A lower order pre-compensator is designed based on a H2 norm optimization that is designed as the solution of a set of linear matrix inequalities (LMIs). Next, a minimum order functional observer is designed for the pre-compensated system. An LTI model of an irreversible chemical reactor is used to demonstrate our design algorithm, and to highlight the benefits of the proposed schemes.

Mixed-signal analog-digital circuits design on the pre-diffused digital array using trapezoidal association of transistors

The mixed-signal and analog design on a pre-diffused array is a challenging task, given that the digital array is a linear matrix arrangement of minimum-length transistors. To surmount this drawback a specific discipline for designing analog circuits over such array is required. An important novel technique proposed is the use of TAT (Trapezoidal Associations of Transistors) composite transistors on the semi-custom Sea-Of-Transistors (SOT) array. The analysis and advantages of TAT arrangement are extensively analyzed and demonstrated, with simulation and measurement comparisons to equivalent single transistors. Basic analog cells were also designed as well in full-custom and TAT versions in 1.0mm and 0.5mm digital CMOS technologies. Most of the circuits were prototyped in full-custom and TAT-based on pre-diffused SOT arrays. An innovative demonstration of the TAT technique is shown with the design and implementation of a mixed-signal analog system, i. e., a fully differential 2nd order Sigma-Delta Analog-to-Digital (A/D) modulator, fabricated in both full-custom and SOT array methodologies in 0.5mm CMOS technology from MOSIS foundry. Three test-chips were designed and fabricated in 0.5mm. Two of them are IC chips containing the full-custom and SOT array versions of a 2nd-Order Sigma-Delta A/D modulator. The third IC contains a transistors-structure (TAT and single) and analog cells placed side-by-side, block components (Comparator and Folded-cascode OTA) of the Sigma-Delta modulator.