• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.5
• /
• pp.401-406
• /
• 2012

This paper considers multi-agent systems with interval time-varying delays and switching interconnection topology. By construction of a suitable Lyapunov-Krasovskii's functional, new delay-dependent consensus control conditions for the systems are established in terms of LMIs (Linear Matrix Inequalities) which can be easily solved by various effective optimization algorithms. One numerical example is given to illustrate the effectiveness of the proposed methods.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.721-741
• /
• 2011

In this paper we have considered a dynamical mathematical model of the sub-populations of potential smokers (non-smokers), smokers, smokers who temporarily quit smoking, smokers who permanently quit smoking and a class of smoking associated illness by introducing time dependent parameters and distributed time delay to acquire smoking habit. Here, we have established some sufficient conditions on the permanence and extinction of the smoking class in the community by using inequality analytical technique. We have introduced some new threshold values $R_0$ and $R^*$ and further obtained that the smoking class in the community will be permanent when $R_0$ > 1 and the smoking class in the community will be going to extinct when $R^*$ < 1. By Lyapunov functional method, we have also obtained some sufficient conditions for global asymptotic stability of this model. Computer simulations are carried out to explain the analytical findings. The aim of the analysis of this model is to identify the parameters of interest for further study, with a view to informing and assisting policy-maker in targeting prevention and treatment resources for maximum effectiveness.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.4
• /
• pp.317-335
• /
• 2014

In this work, we investigate the global stability analysis of a viral infection model with antibody immune response. The incidence rate is given by a general function of the populations of the uninfected target cells, infected cells and free viruses. The model has been incorporated with two types of intracellular distributed time delays to describe the time required for viral contacting an uninfected cell and releasing new infectious viruses. We have established a set of conditions on the general incidence rate function and determined two threshold parameters $R_0$ (the basic infection reproduction number) and $R_1$ (the antibody immune response activation number) which are sufficient to determine the global dynamics of the model. The global asymptotic stability of the equilibria of the model has been proven by using Lyapunov theory and applying LaSalle's invariance principle.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.11
• /
• pp.2103-2108
• /
• 2011

In this paper, the problem of passivity analysis for neural networks with time-varying delays and norm-bounded parameter uncertainties is considered. By constructing a new augmented Lyapunov functional, a new delay-dependent passivity criterion for the network is established in terms of LMIs (linear matrix inequalities) which can be easily solved by various convex optimization algorithms. Two numerical example are included to show the effectiveness of proposed criterion.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.9
• /
• pp.1809-1814
• /
• 2009

In this paper, the problem of stability analysis for neural networks with discrete and distributed time-varying delays is considered. By constructing a new Lyapunov functional, a new delay-dependent stability criterion for the network is established in terms of LMIs (linear matrix inequalities) which can be easily solved by various convex optimization algorithms. Two numerical example are included to show the effectiveness of proposed criterion.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.3
• /
• pp.506-514
• /
• 1997

In this paper, we implement digital circuit of despreading delay lock loop for GPS receiver. The designed system consists of Epoch signal generator, two 13bit correlators which correlates the received C/A code and the locally generated C/A code in the receiver, the C/A code generator which generates C/A code of selected satellite, and the direct digital clock synthesizer which generates the clock of the C/A code generator to control the phase and clock rate, the clock controller, and the clock divider. The designed circuit has the function of the acquisition and tracking by the autocorrelation characteristics of Gold code. The controller generates each other control signals according to the correlation value. The designed circuit is simulated to verify the logic functional performance. By using the simulator STR-2770 that generates the virtual GPS signal, the deigned FPGA chip is verified the circuit performance.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.1
• /
• pp.171-178
• /
• 2017

This paper studies the state estimation problem for static neural networks with time-varying delay. Unlike other studies, the controller scheme, which involves time-varying sampling and uncertainties, is first employed to design the state estimator for delayed static neural networks. Based on Lyapunov functional approach and linear matrix inequality technique, the non-fragile sampled-data estimator is designed such that the resulting estimation error system is globally asymptotically stable with $H_{\infty}$ performance. Finally, the effectiveness of the developed results is demonstrated by a numerical example.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.4
• /
• pp.668-676
• /
• 2008

In this paper, we considered the $H_{\infty}$ tracking control for time-delayed linear systems with saturating actuators. The considered time delay is a time varying one having bounded magnitude and rate, and the considered tracking reference is a general one only known its bounds of magnitude and rate. First, we have converted the $H_{\infty}$ tracking control problem into an equivalent $H_{\infty}$ disturbance attenuation problem using two steps of transformations. Next, based on a new Lyapunov-Krasovskii functional, we have derived the result in the form of LMI with two non-convex parameters. Finally, by numerical examples, we have shown the usefulness and effectiveness of our result.

• Honam Mathematical Journal
• /
• v.42 no.4
• /
• pp.667-680
• /
• 2020

Our paper deals with the following neutral nonlinear Levin-Nohel integro-differential with variable delay $${\frac{d}{dt}x(t)}+{\normalsize\displaystyle\smashmargin{2}{\int\nolimits_{t-r(t)}}^t}a(t,s)x(s)ds+{\frac{d}{dt}}g(t,x(t-{\tau}(t)))=0.$$ By using Krasnoselskii's fixed point theorem we obtain the existence of periodic and positive periodic solutions and by contraction mapping principle we obtain the existence of a unique periodic solution. An example is given to illustrate this work.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.433-434
• /
• 2008

In this paper, we present an improved design of the conventional ARM7 processor. It is based on the flip-flop to improve the pipeline performance of the processor. Also for improving the performance, the optimization of functional blocks and a multiplier is carried out. According to the experimental results, the maximum delay-time of functional blocks and the execution cycle of a multiplier is reduced by 33% and 2 cycles compared with a conventional design, respectively. Therefore, it leads to improve an operation speed about 30%.