International Workshop on Resonance Oscillations and Stability of Nonsmooth Systems Imperial College London London, United Kingdom June 16–25, 2009 A joint.

Slides:



Advertisements
Similar presentations
Boyce/DiPrima 9th ed, Ch 2.4: Differences Between Linear and Nonlinear Equations Elementary Differential Equations and Boundary Value Problems, 9th edition,
Advertisements


Coordination of Multi-Agent Systems Mark W. Spong Donald Biggar Willett Professor Department of Electrical and Computer Engineering and The Coordinated.
Lect.3 Modeling in The Time Domain Basil Hamed
DYNAMICS OF RANDOM BOOLEAN NETWORKS James F. Lynch Clarkson University.
Josh Durham Jacob Swett. Dynamic Behaviors of a Harvesting Leslie-Gower Predator-Prey Model Na Zhang, 1 Fengde Chen, 1 Qianqian Su, 1 and Ting Wu 2 1.
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs Mohamed Zaki, Ghiath Al Sammane, Sofiene Tahar, Guy Bois FMCAD'07.
1 Nonlinear Control Design for LDIs via Convex Hull Quadratic Lyapunov Functions Tingshu Hu University of Massachusetts, Lowell.
CWIT Robust Entropy Rate for Uncertain Sources: Applications to Communication and Control Systems Charalambos D. Charalambous Dept. of Electrical.
Viability for a Hybrid System Control1 Viability for a Hybrid Control System Yan Gao( 高 岩 ) University of Shanghai for Science and Technology
1 L-BFGS and Delayed Dynamical Systems Approach for Unconstrained Optimization Xiaohui XIE Supervisor: Dr. Hon Wah TAM.
Ch 2.4: Differences Between Linear and Nonlinear Equations
A De-coupled Sliding Mode Controller and Observer for Satellite Attitude Control Ronald Fenton.
1 L-BFGS and Delayed Dynamical Systems Approach for Unconstrained Optimization Xiaohui XIE Supervisor: Dr. Hon Wah TAM.
Structural Stability, Catastrophe Theory, and Applied Mathematics
Basic Models in Neuroscience Oren Shriki 2010 Associative Memory 1.
Some Fundamentals of Stability Theory
1 A Lyapunov Approach to Frequency Analysis Tingshu Hu, Andy Teel UC Santa Barbara Zongli Lin University of Virginia.
Development of Empirical Models From Process Data
A globally asymptotically stable plasticity rule for firing rate homeostasis Prashant Joshi & Jochen Triesch
Ordinary Differential Equations Final Review Shurong Sun University of Jinan Semester 1,
Error estimates for degenerate parabolic equation Yabin Fan CASA Seminar,
Chapter 3 1 Laplace Transforms 1. Standard notation in dynamics and control (shorthand notation) 2. Converts mathematics to algebraic operations 3. Advantageous.
Differential Equations
5.7 Impulse Functions In some applications, it is necessary to deal with phenomena of an impulsive nature—for example, voltages or forces of large magnitude.
COMPLEXITY SCIENCE WORKSHOP 18, 19 June 2015 Systems & Control Research Centre School of Mathematics, Computer Science and Engineering CITY UNIVERSITY.
Ch 8.1 Numerical Methods: The Euler or Tangent Line Method
Lecture 35 Numerical Analysis. Chapter 7 Ordinary Differential Equations.
ORDINARY DIFFERENTIAL EQUATION (ODE) LAPLACE TRANSFORM.
SE 207: Modeling and Simulation Introduction to Laplace Transform
The Balance Between Theoretical and Practical Work Within Electrical and Computer Engineering Courses Dr. Bahawodin Baha March Development Partnerships.
Prepared by Mrs. Azduwin Binti Khasri
Nordic Process Control Workshop, Porsgrunn, Norway Application of the Enhanced Dynamic Causal Digraph Method on a Three-layer Board Machine Cheng.
Motivation Thus far we have dealt primarily with the input/output characteristics of linear systems. State variable, or state space, representations describe.
THE LAPLACE TRANSFORM LEARNING GOALS Definition
Introduction to Motion Control
AUTOMATIC CONTROL THEORY II Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Domain of Attraction Remarks on the domain of attraction
Feedback Stabilization of Nonlinear Singularly Perturbed Systems MENG Bo JING Yuanwei SHEN Chao College of Information Science and Engineering, Northeastern.
Amir massoud Farahmand
Control and Synchronization of Chaos Li-Qun Chen Department of Mechanics, Shanghai University Shanghai Institute of Applied Mathematics and Mechanics Shanghai.
NanJing University of Posts & Telecommunications Synchronization and Fault Diagnosis of Complex Dynamical Networks Guo-Ping Jiang College of Automation,
Scalable Laws for Stable Network Congestion Control Fernando Paganini UCLA Electrical Engineering IPAM Workshop, March Collaborators: Steven Low,
19.4 Load-dependent properties of resonant converters
Lecture #7 Stability and convergence of ODEs João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems NO CLASSES.
MAT 1228 Series and Differential Equations Section 4.1 Definition of the Laplace Transform
1 Lu LIU and Jie HUANG Department of Mechanics & Automation Engineering The Chinese University of Hong Kong 9 December, Systems Workshop on Autonomous.
Differential Equations MTH 242 Lecture # 28 Dr. Manshoor Ahmed.
Ch 9.6: Liapunov’s Second Method In Section 9.3 we showed how the stability of a critical point of an almost linear system can usually be determined from.
Higher Order Circuits – How To Obtain State Equations? Consider a circuit with capacitor, inductors, n-terminal resistors and independent sources. Aim.
Math for CS Fourier Transforms
Chapter 2 The z-transform and Fourier Transforms The Z Transform The Inverse of Z Transform The Prosperity of Z Transform System Function System Function.
DYNAMIC BEHAVIOR OF PROCESSES :
Statistical Properties of Digital Piecewise Linear Chaotic Maps and Their Roles in Cryptography & Pseudo-Random Coding Li ShujunLi Shujun 1, Li Qi 2, Li.
11-1 Lyapunov Based Redesign Motivation But the real system is is unknown but not necessarily small. We assume it has a known bound. Consider.
1 College of Communication Engineering Undergraduate Course: Signals and Linear Systems Lecturer: Kunbao CAI.
V.V. Emel’yanov, S.P. Kuznetsov, and N.M. Ryskin* Saratov State University, , Saratov, Russia * GENERATION OF HYPERBOLIC.
SYNCHRONIZATION OF BILATERAL TELEOPERATION SYSTEMS WITH INPUT SATURATION Department of Mechatronics in GIST Seung-Ju Lee Advisor: pf. Hyo-Sung Ahn.
Ch7: Hopfield Neural Model
Boyce/DiPrima 9th ed, Ch 9.6: Liapunov’s Second Method Elementary Differential Equations and Boundary Value Problems, 9th edition, by William E. Boyce.
SIGMA INSTITUTE OF ENGINEERING
§7-4 Lyapunov Direct Method
Input-to-State Stability for Switched Systems
Autonomous Cyber-Physical Systems: Dynamical Systems
Modern Control Systems (MCS)
Stability Analysis of Linear Systems
A Dynamic System Analysis of Simultaneous Recurrent Neural Network
Hafez Sarkawi (D1) Control System Theory Lab
ECE 576 POWER SYSTEM DYNAMICS AND STABILITY
Presentation transcript:

International Workshop on Resonance Oscillations and Stability of Nonsmooth Systems Imperial College London London, United Kingdom June 16–25, 2009 A joint work with M. U. AKHMET and D. ARUGASLAN Method of Lyapunov Functions for Differential Equations with Piecewise Constant Delay and Its Application to Neural Networks Model Enes YILMAZ Institute of Applied Mathematics, Middle East Technical University TURKEY

Outline Introduction and preliminaries Main results Application to Neural Networks model Summary and Conclusion

Aims Investigate the second Lyapunov Method for differential equations with piecewise constant argument of generalized type (EPCAG). Although, these equations include delay, stability conditions are only given in terms of Lyapunov functions; that is no functionals are used. Apply Lyapunov method to Recurrent neural networks, especially, Cellular Neural Networks (CNNs) and Hopfield-type Neural Networks (HNNs). L. O. Chua and L. Yang, Cellular neural networks: Theory, IEEE Trans. Circuits Syst. 35 (1988), pp L. O. Chua and L. Yang, Cellular neural networks: Applications, IEEE Trans. Circuits Syst. 35 (1988), pp J. J. Hopfield, Neurons with graded response have collective computational properties like those of two-stage neurons, Proc. Nat. Acad. Sci. Biol. 81 (1984), pp

1. Introduction and preliminaries The main novelties of this talk are the followings: Reduction to discrete equations Total stability: originate from a special theorem by Malkin W. Hahn, Stability of Motion, Berlin, Springer-Verlag, N. Rouche, P. Habets and M. Laloy, Stability theory by Liapunov’s direct method, NewYork, Springer-Verlag, I. G. Malkin, Stability in the case of constantly acting disturbances, Prickl. Mat., 8, (1944) Comparison of stability of EPCAG and ODE

1. Introduction and preliminaries

M. U. Akhmet, Stability of differential equations with piecewise constant arguments of generalized type, Nonlinear Analysis 68 (2008)

1. Introduction and preliminaries M. U. Akhmet, Integral manifolds of differential equations with piecewise constant argument of generalized type, Nonlinear Analysis 66 (2007) M. U. Akhmet, On the reduction principle for differential equations with piecewise constant argument of generalized type, J. Math. Anal. Appl. 336 (2007)

2. Main results

If Change with

2. Main results Theorems provide criteria for stability which are entirely constructed by Lyapunov functions. As for the functionals, they appear only in the proof of theorems. We see that conditions of our result, which guarantee stability, are definitely formulated without functionals…

2. Main results M. U. Akhmet and D. Arugaslan, Lyapunov-Razumikhin method for differential equations with piecewise constant argument, Discrete Contin. Dyn. Syst., (in press)

2. Main results

So what is the advantage of this method? We can see that theorems obtained by Lyapunov-Razumikhin method provide larger class of equations. However From the perspective of the constructive analysis, the present method may be preferable, since, for example, in the proof of uniform stability theorems, it is possible to evaluate the domains of attraction.

2. Main results Besides above theorems, the following assertions may be useful for analysis of the stability of EPCAG. These theorems are important and have their own distinctive values with the newly required properties of the Lyapunov function. If Change with

2. Main results Apply to recurrent neural networks model…

3. Application to Neural Networks Model Typical Neuron

3. Application to Neural Networks Model The Hopfield Neural Network ( ) C: total input capacitance a: voltage input p: input conductance w: conductance x: output voltage

3. Application to Neural Networks Model The input voltage is determined by C: total input capacitance a: voltage input p: input conductance w: conductance x: output voltage while the output voltage is

3. Application to Neural Networks Model Consider the following RNNs model described by EPCAG The following assumptions will be needed throughout the talk:

3. Application to Neural Networks Model First, let us give the existence of a unique equilibrium as fallows: S. Mohammad and K. Gopalsamy, Exponential stability of continuous- time and discrete-time CNNs with delays, Appl. Mat. and Comp., 135 (2003), pp

3. Application to Neural Networks Model Next, the existence of uniqueness of solutions:

3. Application to Neural Networks Model In order to get the stability theorems, we give the following important lemma… Now, we establish several criteria for global exponential stability based on the method of Lyapunov functions…

3. Application to Neural Networks Model Define a Lyapunov function by

3. Application to Neural Networks Model If we choose a different Lyapunov function defined as We find new stability conditions for RNNs…

3. Application to Neural Networks Model Let us give an example with simulations to illustrate our results

3. Application to Neural Networks Model

4. Summary and Conclusion It is the first time that the method of Lyapunov functions for EPCAG is applied to the model of RNNs. Our method gives new ideas not only from the modeling point of view, but also from that of theoretical opportunities since RNNs involves piecewise constant argument of delay type. Lyapunov functions give an opportunity to estimate domains of attraction which allows us particular interest to evaluate the performance of RNNs. The method given in this talk may be extended to study more complex systems. M. U. Akhmet, Dynamical synthesis of quasi-minimal sets, Inter. Journal of Bif. And Chaos, (Accepted)

References M. U. Akhmet and E. Yilmaz, Hopfield-type neural networks systems with piecewise constant argument, Int. Journal of Q. Diff. and Appl. (Accepted). M. U. Akhmet and E. Yilmaz, Impulsive Hopfield-type neural networks systems with piecewise constant argument, (Submitted). M. U. Akhmet, D. Arugaslan and E. Yilmaz, Stability in cellular neural networks with piecewise constant argument, (Submitted). M. U. Akhmet, D. Arugaslan and E. Yilmaz, Stability analysis of recurrent neural networks with deviated argument of mixed type, (Submitted). M. U. Akhmet, D. Arugaslan and E. Yilmaz, Method of Lyapunov functions for differential equations with piecewise constant delay, (Submitted). M. U. Akhmet and E. Yilmaz, Global attractivity in impulsive neural networks with piecewise constant delay, (in preparation). THANKS FOR YOUR ATTENTION!