SlideShare a Scribd company logo
Higher-order linear dynamical systems

Kay Henning Brodersen
Computational Neuroeconomics Group
Department of Economics, University of Zurich
Machine Learning and Pattern Recognition Group
Department of Computer Science, ETH Zurich
http://people.inf.ethz.ch/bkay
Outline


1 Solving higher-order systems
2 Asymptotic stability: necessary condition
3 Asymptotic stability: necessary and sufficient condition
4 Oscillations
5 Delayed feedback

The material in these slides follows:
H R Wilson (1999). Spikes, Decisions, and Actions: The Dynamical
Foundations of Neuroscience. Oxford University Press.



                                                                   2
Outline


1 Solving higher-order systems
2 Asymptotic stability: necessary condition
3 Asymptotic stability: necessary and sufficient condition
4 Oscillations
5 Delayed feedback




                                                             3
Theorem 4: solving higher-order systems




                                          4
Example: a network of three nodes




Theorem 4 tells us that the states 𝐸 𝑖 will all have the form:




where −8 and −3.5 + 14.7𝑖 and −3.5 − 14.7𝑖 are the three
eigenvalues of the system.

                                                                 5
Example: solving vs. characterizing the system

Whether or not we care to solve for the constants, we can
use the eigenvalues to characterize the system:

 eig([-5 -10 7; 7 -5 -10; -10 7 -5])
 ans =
       -3.5 +    14.72243i
       -3.5 -    14.72243i
         -8


From Chapter 3 we know that the eqilibrium point of this system
 • must be a spiral point (because the eigenvalues are a complex conjugate pair)
 • must be asymptotically stable (because the real part of the eigenvalues is negative)




                                                                http://demonstrations.wolfram.com/
                                                                TwoDimensionalLinearSystems/
   spiral point     node        saddle point     centre

                                                                                                     6
Outline


1 Solving higher-order systems
2 Asymptotic stability: necessary condition
3 Asymptotic stability: necessary and sufficient condition
4 Oscillations
5 Delayed feedback




                                                             7
Theorem 5: a simple necessary condition for asymptotic stability




                                                                   8
Example: testing the necessary condition




To check the condition from Theorem 5, we write down the characteristic equation:
                                           𝐴 − 𝜆𝐼 = 0
                          −5      −10       7      1 0           0
                           7      −5       −10 − 𝜆 0 1           0   =0
                          −10      7       −5      0 0           1
                              𝜆3 + 15 𝜆2 + 285 𝜆 + 1832 = 0
                                   𝑎1 >0      𝑎2 >0      𝑎3 >0

Thus, a necessary condition for asymptotic stability is fulfilled.

                                                                                    9
Outline


1 Solving higher-order systems
2 Asymptotic stability: necessary condition
3 Asymptotic stability: necessary and sufficient condition
4 Oscillations
5 Delayed feedback




                                                             10
Theorem 6: a simple equivalence of asymptotic stability




                                                          11
Example: testing the equivalence condition




To evaluate the condition in Theorem 6, we
consider three determinants:
    Δ1 = 𝑎1 = 15
                >0
           𝑎1  1      15     1
    Δ2 =          =              = 2443
           𝑎3  𝑎2   1832 285        >0
    Δ3 = 𝑎3 Δ2 = 1832 ⋅ 2443 = 4475576
                                     >0

Thus, the sufficient condition for
asymptotic stability is fulfilled.           time [s]

                                                 12
Outline


1 Solving higher-order systems
2 Asymptotic stability: necessary condition
3 Asymptotic stability: necessary and sufficient condition
4 Oscillations
5 Delayed feedback




                                                             13
Theorem 7: how to check for oscillations




                                           14
Example: checking for oscillations




To evaluate whether this system will produce oscillations, we consider two determinants:

                         Δ1 = 𝑎1 = 15
                                     >0
                                𝑎1   1     15        1
                         Δ2 =           =               = 2443
                                𝑎3   𝑎2   1832      285    =0    
Thus, this dynamical system will not produce oscillations. (Note that we knew this already
from the fact that the system had an asymptotically stable equilibrium point.)


                                                                                             15
Example: enforcing oscillations (1)




To find out under what conditions this system will produce oscillations, we require that:
                                    Δ1 = 𝑎1 > 0
                                            𝑎1   1
                                    Δ2 =            =0
                                            𝑎3   𝑎2
The above coefficients are obtained from the characteristic equation:
                                          𝐴 − 𝜆𝐼 = 0
                  𝜆3 + 15 𝜆2 + 21𝑔 + 75 𝜆 + 𝑔3 + 105𝑔 − 218 = 0
                        𝑎1           𝑎2                   𝑎3

                                                                                            16
Example: enforcing oscillations (2)

Thus, we wish to find 𝑔 such that:
                       Δ1 = 15 > 0
                                        15            1
                       Δ2 =                                 =0
                               𝑔3   + 105𝑔 − 218   21𝑔 + 75
To satsify the second equation, we require that:
                       15 21𝑔 + 75 − 𝑔3 + 105𝑔 − 218 = 0
                        𝑔3 − 210𝑔 − 1343 = 0
This equation has 1 real solution: 𝑔 = 17.




                                                                 17
Example: enforcing oscillations (3)

We can use MATLAB to do the above calculations:   Thus, our system is described by:
                                                         𝐸1      −5               −17    7    𝐸1
>> A = '[-5 -g 7; 7 -5 -g; -g 7 -5]';             𝑑
>> routh_hurwitz(A)                                      𝐸2    =  7               −5    −17   𝐸2
                                                  𝑑𝑡
                                                         𝐸3      −17               7    −5    𝐸3
g =
   17.0000
                                                                           -17
Characteristic_Eqn =
   1.0e+03 *
    0.0010    0.0150      0.4320     6.4800

EigenValues =
        0 +20.7846i
        0 -20.7846i
 -15.0000

RHDeterminants =
   15.0000
         0
    0.0000                                        The states have the general form:
ans =
                                                  𝐸 𝑘 = 𝐴𝑒 −15𝑡 + 𝐵 cos 20.78𝑡
Solution oscillates around equilibrium                 +𝐶 sin 20.78𝑡
point, which is a center.
                                                  Oscillation frequency: 3.3 Hz


                                                                                               18
Example: enforcing oscillations (4)

                            -17




                                      time [s]


                                                 19
Outline


1 Solving higher-order systems
2 Asymptotic stability: necessary condition
3 Asymptotic stability: necessary and sufficient condition
4 Oscillations
5 Delayed feedback




                                                             20
Oscillations in a two-region network?

Can oscillations even occur in a simpler two-region network? We consider a simple negative
feedback loop:
                                               𝑏/𝜏 𝐼
                                           𝐸              𝐼

                                  −𝐸/𝜏 𝐸       −𝑎/𝜏 𝐸         −𝐼/𝜏 𝐼

The characteristic equation is:
                                     −1/𝜏 𝐸    −𝑎/𝜏 𝐸
                                                      − 𝜆𝐼 = 0
                                      𝑏/𝜏 𝐼    −1/𝜏 𝐼
The equation is satisfied by a complex conjugate pair of eigenvalues:
                             1 1    1              𝜏 𝐸 − 𝜏 𝐼 2 − 4𝑎𝑏𝜏 𝐸 𝜏 𝐼
                         𝜆=−      +   ±
                             2 𝜏 𝐸 𝜏𝐼                    2𝜏 𝐸 𝜏 𝐼
Since the real parts are negative, all solutions must be decaying exponential functions of time,
and so oscillations are impossible in this model. But this does not preclude oscillations in
second-order systems in general…

                                                                                              21
Delayed feedback: an approximation

Consider a two-region feedback loop with delayed inhibitory feedback:


                                  𝐸              𝐼



Systems with true delays become exceptionally complex. Instead, we can
approximate the effect of delayed feedback by introducing an additional node:


                                  𝐸              𝐼


                                         Δ




                                                                                22
Delayed feedback: enforcing oscillations

Let us specify concrete numbers for all connection strengths, except for the delay:

                 8/50

          𝐸               𝐼

−1/10                          −1/50
          −1/5          1/𝛿
                  Δ

                        −1/𝛿
                                                                             time [ms]



Is there a value for 𝛿 that produces oscillations?
 >> routh_hurwitz('[-1/10 0 -1/5; 8/50 -1/50 0; 0 1/g -1/g]',10)

 g =
        7.6073

 Solution oscillates around equilibrium point, which is a center.


                                                                                         23
Summary
                                          Preparations
                        write down system dynamics in normal form
                             write down characteristic equation
                                 turn into coefficients form
                               What are we interested in?


 Want to fully                Want to quickly check                              Want to check for,
 solve the system             for asymptotic stability                           or enforce, oscillations


 apply theorem 4 to     apply theorem 5 (necessary condition)                    apply theorem 7
 find eigenvalues 𝜆                                                              (necessary and sufficient
 (may be                                                                         condition)
 computationally        condition not            condition
 expensive)             satisfied – not          satisfied
                        stable

                                   apply theorem 6 (sufficient condition)
 combine with initial
 conditions to solve
 for constants 𝐴 𝑛          condition not                condition satisfied –
                            satisfied – not stable       system is stable


                                                                                                             24

More Related Content

What's hot

Series solution to ordinary differential equations
Series solution to ordinary differential equations Series solution to ordinary differential equations
Series solution to ordinary differential equations
University of Windsor
 
S1 Dualsimplex
S1 DualsimplexS1 Dualsimplex
S1 Dualsimplex
Ngo Hung Long
 
3. linear programming senstivity analysis
3. linear programming senstivity analysis3. linear programming senstivity analysis
3. linear programming senstivity analysis
Hakeem-Ur- Rehman
 
Simplex algorithm
Simplex algorithmSimplex algorithm
Simplex algorithm
Khwaja Bilal Hassan
 
Statistical Tools for the Quality Control Laboratory and Validation Studies
Statistical Tools for the Quality Control Laboratory and Validation StudiesStatistical Tools for the Quality Control Laboratory and Validation Studies
Statistical Tools for the Quality Control Laboratory and Validation Studies
Institute of Validation Technology
 
Simplex Method
Simplex MethodSimplex Method
Simplex Method
kzoe1996
 
Classification of singularity
Classification of singularityClassification of singularity
Classification of singularity
Raj Parekh
 
simplex method
simplex methodsimplex method
simplex method
Dronak Sahu
 
Systems of linear equations
Systems of linear equationsSystems of linear equations
Systems of linear equations
gandhinagar
 

What's hot (20)

Series solution to ordinary differential equations
Series solution to ordinary differential equations Series solution to ordinary differential equations
Series solution to ordinary differential equations
 
Ch05 2
Ch05 2Ch05 2
Ch05 2
 
S1 Dualsimplex
S1 DualsimplexS1 Dualsimplex
S1 Dualsimplex
 
Ch07 6
Ch07 6Ch07 6
Ch07 6
 
3. linear programming senstivity analysis
3. linear programming senstivity analysis3. linear programming senstivity analysis
3. linear programming senstivity analysis
 
Simplex algorithm
Simplex algorithmSimplex algorithm
Simplex algorithm
 
doc
docdoc
doc
 
Statistical controls for qc
Statistical controls for qcStatistical controls for qc
Statistical controls for qc
 
Statistical Tools for the Quality Control Laboratory and Validation Studies
Statistical Tools for the Quality Control Laboratory and Validation StudiesStatistical Tools for the Quality Control Laboratory and Validation Studies
Statistical Tools for the Quality Control Laboratory and Validation Studies
 
Chapter 12
Chapter 12Chapter 12
Chapter 12
 
Ch07 8
Ch07 8Ch07 8
Ch07 8
 
Chap8
Chap8Chap8
Chap8
 
Simplex Method
Simplex MethodSimplex Method
Simplex Method
 
Ch07 5
Ch07 5Ch07 5
Ch07 5
 
L20 Simplex Method
L20 Simplex MethodL20 Simplex Method
L20 Simplex Method
 
E E 481 Lab 1
E E 481 Lab 1E E 481 Lab 1
E E 481 Lab 1
 
Classification of singularity
Classification of singularityClassification of singularity
Classification of singularity
 
Ch07 7
Ch07 7Ch07 7
Ch07 7
 
simplex method
simplex methodsimplex method
simplex method
 
Systems of linear equations
Systems of linear equationsSystems of linear equations
Systems of linear equations
 

Viewers also liked

Model-based analysis using generative embedding
Model-based analysis using generative embeddingModel-based analysis using generative embedding
Model-based analysis using generative embeddingkhbrodersen
 
D&O Power Point Presentation Rims 2010.10.21
D&O Power Point Presentation Rims   2010.10.21D&O Power Point Presentation Rims   2010.10.21
D&O Power Point Presentation Rims 2010.10.21John Celeste
 
Last presentation
Last presentationLast presentation
Last presentation
chaseabster
 
Seguridad de la informacion publica.
Seguridad de la informacion publica.Seguridad de la informacion publica.
Seguridad de la informacion publica.
Hector Fabio Rodriguez Garcia
 
History Presentation 2
History Presentation 2History Presentation 2
History Presentation 2
chaseabster
 
History Presentation 3
History Presentation 3History Presentation 3
History Presentation 3
chaseabster
 
Abby's presentation 5
Abby's presentation 5Abby's presentation 5
Abby's presentation 5
chaseabster
 
D&o power point presentationrims 2010.10.21
D&o power point presentationrims   2010.10.21D&o power point presentationrims   2010.10.21
D&o power point presentationrims 2010.10.21John Celeste
 
Hensley - Speaking feedback | 20 Jan 2012
Hensley - Speaking feedback | 20 Jan 2012Hensley - Speaking feedback | 20 Jan 2012
Hensley - Speaking feedback | 20 Jan 2012
Nagasaki JALT
 
Surat surat panitia 2011
Surat surat panitia 2011Surat surat panitia 2011
Surat surat panitia 2011mandina2003
 
Camels
CamelsCamels
Camels
bb7799
 
History Presentation 3
History Presentation 3History Presentation 3
History Presentation 3
chaseabster
 
A guide to dairy calf feeding and management
A guide to dairy calf feeding and managementA guide to dairy calf feeding and management
A guide to dairy calf feeding and managementvincentwambua
 
Hodson & Hensley - Writing Feedback | 20 Jan 2012
Hodson & Hensley - Writing Feedback | 20 Jan 2012Hodson & Hensley - Writing Feedback | 20 Jan 2012
Hodson & Hensley - Writing Feedback | 20 Jan 2012
Nagasaki JALT
 

Viewers also liked (16)

Model-based analysis using generative embedding
Model-based analysis using generative embeddingModel-based analysis using generative embedding
Model-based analysis using generative embedding
 
D&O Power Point Presentation Rims 2010.10.21
D&O Power Point Presentation Rims   2010.10.21D&O Power Point Presentation Rims   2010.10.21
D&O Power Point Presentation Rims 2010.10.21
 
Last presentation
Last presentationLast presentation
Last presentation
 
Seguridad de la informacion publica.
Seguridad de la informacion publica.Seguridad de la informacion publica.
Seguridad de la informacion publica.
 
Zeguestlist
ZeguestlistZeguestlist
Zeguestlist
 
History Presentation 2
History Presentation 2History Presentation 2
History Presentation 2
 
Zeguestlist
ZeguestlistZeguestlist
Zeguestlist
 
History Presentation 3
History Presentation 3History Presentation 3
History Presentation 3
 
Abby's presentation 5
Abby's presentation 5Abby's presentation 5
Abby's presentation 5
 
D&o power point presentationrims 2010.10.21
D&o power point presentationrims   2010.10.21D&o power point presentationrims   2010.10.21
D&o power point presentationrims 2010.10.21
 
Hensley - Speaking feedback | 20 Jan 2012
Hensley - Speaking feedback | 20 Jan 2012Hensley - Speaking feedback | 20 Jan 2012
Hensley - Speaking feedback | 20 Jan 2012
 
Surat surat panitia 2011
Surat surat panitia 2011Surat surat panitia 2011
Surat surat panitia 2011
 
Camels
CamelsCamels
Camels
 
History Presentation 3
History Presentation 3History Presentation 3
History Presentation 3
 
A guide to dairy calf feeding and management
A guide to dairy calf feeding and managementA guide to dairy calf feeding and management
A guide to dairy calf feeding and management
 
Hodson & Hensley - Writing Feedback | 20 Jan 2012
Hodson & Hensley - Writing Feedback | 20 Jan 2012Hodson & Hensley - Writing Feedback | 20 Jan 2012
Hodson & Hensley - Writing Feedback | 20 Jan 2012
 

Similar to Higher-order linear dynamical systems

2012 University of Dayton .docx
2012   University of Dayton                   .docx2012   University of Dayton                   .docx
2012 University of Dayton .docx
eugeniadean34240
 
Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...
Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...
Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...
Mostafa Shokrian Zeini
 
Indeterminate forms and L'Hospital's Rule
Indeterminate forms and L'Hospital's RuleIndeterminate forms and L'Hospital's Rule
Indeterminate forms and L'Hospital's Rule
Bijay Sharma
 
BIOL 364 - assignment 3
BIOL 364 - assignment 3BIOL 364 - assignment 3
BIOL 364 - assignment 3Nanjun Li
 
Basic Calculus Basic Differentiation Rules
Basic Calculus Basic Differentiation RulesBasic Calculus Basic Differentiation Rules
Basic Calculus Basic Differentiation Rules
gilita1856
 
DSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-TransformDSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-Transform
Amr E. Mohamed
 
System of Linear Equation
System of Linear EquationSystem of Linear Equation
System of Linear Equation
Eyakub Sorkar
 
Lsd ee n
Lsd ee nLsd ee n
Lsd ee n
Asyraf Ghani
 
Neural Networks
Neural NetworksNeural Networks
Semana 28 limites de funciones álgebra uni ccesa007
Semana 28 limites de  funciones  álgebra uni ccesa007Semana 28 limites de  funciones  álgebra uni ccesa007
Semana 28 limites de funciones álgebra uni ccesa007
Demetrio Ccesa Rayme
 
Semana 29 sucesiones reales álgebra uni ccesa007
Semana 29 sucesiones reales  álgebra uni ccesa007Semana 29 sucesiones reales  álgebra uni ccesa007
Semana 29 sucesiones reales álgebra uni ccesa007
Demetrio Ccesa Rayme
 
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片Chyi-Tsong Chen
 
MT102 Лекц 10
MT102 Лекц 10MT102 Лекц 10
MT102 Лекц 10
ssuser184df1
 
Assignment grouping 2(bungee jumping) (edit)
Assignment grouping 2(bungee jumping) (edit)Assignment grouping 2(bungee jumping) (edit)
Assignment grouping 2(bungee jumping) (edit)Eqah Ihah
 
Regression Analysis.pptx
Regression Analysis.pptxRegression Analysis.pptx
Regression Analysis.pptx
MdRokonMia1
 
lecture 5 courseII (6).pptx
lecture 5 courseII (6).pptxlecture 5 courseII (6).pptx
lecture 5 courseII (6).pptx
AYMENGOODKid
 
discrete time signals and systems
 discrete time signals and systems  discrete time signals and systems
discrete time signals and systems Zlatan Ahmadovic
 
discrete time signals and systems
 discrete time signals and systems discrete time signals and systems
discrete time signals and systemsZlatan Ahmadovic
 
Derivative flashcards
Derivative flashcardsDerivative flashcards
Derivative flashcards
ToddEisworth
 

Similar to Higher-order linear dynamical systems (20)

2012 University of Dayton .docx
2012   University of Dayton                   .docx2012   University of Dayton                   .docx
2012 University of Dayton .docx
 
Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...
Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...
Robust Fuzzy Output Feedback Controller for Affine Nonlinear Systems via T–S ...
 
Indeterminate forms and L'Hospital's Rule
Indeterminate forms and L'Hospital's RuleIndeterminate forms and L'Hospital's Rule
Indeterminate forms and L'Hospital's Rule
 
BIOL 364 - assignment 3
BIOL 364 - assignment 3BIOL 364 - assignment 3
BIOL 364 - assignment 3
 
Basic Calculus Basic Differentiation Rules
Basic Calculus Basic Differentiation RulesBasic Calculus Basic Differentiation Rules
Basic Calculus Basic Differentiation Rules
 
DSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-TransformDSP_FOEHU - MATLAB 03 - The z-Transform
DSP_FOEHU - MATLAB 03 - The z-Transform
 
System of Linear Equation
System of Linear EquationSystem of Linear Equation
System of Linear Equation
 
Lsd ee n
Lsd ee nLsd ee n
Lsd ee n
 
Neural Networks
Neural NetworksNeural Networks
Neural Networks
 
Semana 28 limites de funciones álgebra uni ccesa007
Semana 28 limites de  funciones  álgebra uni ccesa007Semana 28 limites de  funciones  álgebra uni ccesa007
Semana 28 limites de funciones álgebra uni ccesa007
 
Semana 29 sucesiones reales álgebra uni ccesa007
Semana 29 sucesiones reales  álgebra uni ccesa007Semana 29 sucesiones reales  álgebra uni ccesa007
Semana 29 sucesiones reales álgebra uni ccesa007
 
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
 
MT102 Лекц 10
MT102 Лекц 10MT102 Лекц 10
MT102 Лекц 10
 
Assignment grouping 2(bungee jumping) (edit)
Assignment grouping 2(bungee jumping) (edit)Assignment grouping 2(bungee jumping) (edit)
Assignment grouping 2(bungee jumping) (edit)
 
Regression Analysis.pptx
Regression Analysis.pptxRegression Analysis.pptx
Regression Analysis.pptx
 
lecture 5 courseII (6).pptx
lecture 5 courseII (6).pptxlecture 5 courseII (6).pptx
lecture 5 courseII (6).pptx
 
discrete time signals and systems
 discrete time signals and systems  discrete time signals and systems
discrete time signals and systems
 
discrete time signals and systems
 discrete time signals and systems discrete time signals and systems
discrete time signals and systems
 
Derivative flashcards
Derivative flashcardsDerivative flashcards
Derivative flashcards
 
2415systems_odes
2415systems_odes2415systems_odes
2415systems_odes
 

Higher-order linear dynamical systems

  • 1. Higher-order linear dynamical systems Kay Henning Brodersen Computational Neuroeconomics Group Department of Economics, University of Zurich Machine Learning and Pattern Recognition Group Department of Computer Science, ETH Zurich http://people.inf.ethz.ch/bkay
  • 2. Outline 1 Solving higher-order systems 2 Asymptotic stability: necessary condition 3 Asymptotic stability: necessary and sufficient condition 4 Oscillations 5 Delayed feedback The material in these slides follows: H R Wilson (1999). Spikes, Decisions, and Actions: The Dynamical Foundations of Neuroscience. Oxford University Press. 2
  • 3. Outline 1 Solving higher-order systems 2 Asymptotic stability: necessary condition 3 Asymptotic stability: necessary and sufficient condition 4 Oscillations 5 Delayed feedback 3
  • 4. Theorem 4: solving higher-order systems 4
  • 5. Example: a network of three nodes Theorem 4 tells us that the states 𝐸 𝑖 will all have the form: where −8 and −3.5 + 14.7𝑖 and −3.5 − 14.7𝑖 are the three eigenvalues of the system. 5
  • 6. Example: solving vs. characterizing the system Whether or not we care to solve for the constants, we can use the eigenvalues to characterize the system: eig([-5 -10 7; 7 -5 -10; -10 7 -5]) ans = -3.5 + 14.72243i -3.5 - 14.72243i -8 From Chapter 3 we know that the eqilibrium point of this system • must be a spiral point (because the eigenvalues are a complex conjugate pair) • must be asymptotically stable (because the real part of the eigenvalues is negative) http://demonstrations.wolfram.com/ TwoDimensionalLinearSystems/ spiral point node saddle point centre 6
  • 7. Outline 1 Solving higher-order systems 2 Asymptotic stability: necessary condition 3 Asymptotic stability: necessary and sufficient condition 4 Oscillations 5 Delayed feedback 7
  • 8. Theorem 5: a simple necessary condition for asymptotic stability 8
  • 9. Example: testing the necessary condition To check the condition from Theorem 5, we write down the characteristic equation: 𝐴 − 𝜆𝐼 = 0 −5 −10 7 1 0 0 7 −5 −10 − 𝜆 0 1 0 =0 −10 7 −5 0 0 1 𝜆3 + 15 𝜆2 + 285 𝜆 + 1832 = 0 𝑎1 >0 𝑎2 >0 𝑎3 >0 Thus, a necessary condition for asymptotic stability is fulfilled. 9
  • 10. Outline 1 Solving higher-order systems 2 Asymptotic stability: necessary condition 3 Asymptotic stability: necessary and sufficient condition 4 Oscillations 5 Delayed feedback 10
  • 11. Theorem 6: a simple equivalence of asymptotic stability 11
  • 12. Example: testing the equivalence condition To evaluate the condition in Theorem 6, we consider three determinants: Δ1 = 𝑎1 = 15 >0 𝑎1 1 15 1 Δ2 = = = 2443 𝑎3 𝑎2 1832 285 >0 Δ3 = 𝑎3 Δ2 = 1832 ⋅ 2443 = 4475576 >0 Thus, the sufficient condition for asymptotic stability is fulfilled. time [s] 12
  • 13. Outline 1 Solving higher-order systems 2 Asymptotic stability: necessary condition 3 Asymptotic stability: necessary and sufficient condition 4 Oscillations 5 Delayed feedback 13
  • 14. Theorem 7: how to check for oscillations 14
  • 15. Example: checking for oscillations To evaluate whether this system will produce oscillations, we consider two determinants: Δ1 = 𝑎1 = 15 >0 𝑎1 1 15 1 Δ2 = = = 2443 𝑎3 𝑎2 1832 285 =0  Thus, this dynamical system will not produce oscillations. (Note that we knew this already from the fact that the system had an asymptotically stable equilibrium point.) 15
  • 16. Example: enforcing oscillations (1) To find out under what conditions this system will produce oscillations, we require that: Δ1 = 𝑎1 > 0 𝑎1 1 Δ2 = =0 𝑎3 𝑎2 The above coefficients are obtained from the characteristic equation: 𝐴 − 𝜆𝐼 = 0 𝜆3 + 15 𝜆2 + 21𝑔 + 75 𝜆 + 𝑔3 + 105𝑔 − 218 = 0 𝑎1 𝑎2 𝑎3 16
  • 17. Example: enforcing oscillations (2) Thus, we wish to find 𝑔 such that: Δ1 = 15 > 0 15 1 Δ2 = =0 𝑔3 + 105𝑔 − 218 21𝑔 + 75 To satsify the second equation, we require that: 15 21𝑔 + 75 − 𝑔3 + 105𝑔 − 218 = 0 𝑔3 − 210𝑔 − 1343 = 0 This equation has 1 real solution: 𝑔 = 17. 17
  • 18. Example: enforcing oscillations (3) We can use MATLAB to do the above calculations: Thus, our system is described by: 𝐸1 −5 −17 7 𝐸1 >> A = '[-5 -g 7; 7 -5 -g; -g 7 -5]'; 𝑑 >> routh_hurwitz(A) 𝐸2 = 7 −5 −17 𝐸2 𝑑𝑡 𝐸3 −17 7 −5 𝐸3 g = 17.0000 -17 Characteristic_Eqn = 1.0e+03 * 0.0010 0.0150 0.4320 6.4800 EigenValues = 0 +20.7846i 0 -20.7846i -15.0000 RHDeterminants = 15.0000 0 0.0000 The states have the general form: ans = 𝐸 𝑘 = 𝐴𝑒 −15𝑡 + 𝐵 cos 20.78𝑡 Solution oscillates around equilibrium +𝐶 sin 20.78𝑡 point, which is a center. Oscillation frequency: 3.3 Hz 18
  • 19. Example: enforcing oscillations (4) -17 time [s] 19
  • 20. Outline 1 Solving higher-order systems 2 Asymptotic stability: necessary condition 3 Asymptotic stability: necessary and sufficient condition 4 Oscillations 5 Delayed feedback 20
  • 21. Oscillations in a two-region network? Can oscillations even occur in a simpler two-region network? We consider a simple negative feedback loop: 𝑏/𝜏 𝐼 𝐸 𝐼 −𝐸/𝜏 𝐸 −𝑎/𝜏 𝐸 −𝐼/𝜏 𝐼 The characteristic equation is: −1/𝜏 𝐸 −𝑎/𝜏 𝐸 − 𝜆𝐼 = 0 𝑏/𝜏 𝐼 −1/𝜏 𝐼 The equation is satisfied by a complex conjugate pair of eigenvalues: 1 1 1 𝜏 𝐸 − 𝜏 𝐼 2 − 4𝑎𝑏𝜏 𝐸 𝜏 𝐼 𝜆=− + ± 2 𝜏 𝐸 𝜏𝐼 2𝜏 𝐸 𝜏 𝐼 Since the real parts are negative, all solutions must be decaying exponential functions of time, and so oscillations are impossible in this model. But this does not preclude oscillations in second-order systems in general… 21
  • 22. Delayed feedback: an approximation Consider a two-region feedback loop with delayed inhibitory feedback: 𝐸 𝐼 Systems with true delays become exceptionally complex. Instead, we can approximate the effect of delayed feedback by introducing an additional node: 𝐸 𝐼 Δ 22
  • 23. Delayed feedback: enforcing oscillations Let us specify concrete numbers for all connection strengths, except for the delay: 8/50 𝐸 𝐼 −1/10 −1/50 −1/5 1/𝛿 Δ −1/𝛿 time [ms] Is there a value for 𝛿 that produces oscillations? >> routh_hurwitz('[-1/10 0 -1/5; 8/50 -1/50 0; 0 1/g -1/g]',10) g = 7.6073 Solution oscillates around equilibrium point, which is a center. 23
  • 24. Summary Preparations write down system dynamics in normal form write down characteristic equation turn into coefficients form What are we interested in? Want to fully Want to quickly check Want to check for, solve the system for asymptotic stability or enforce, oscillations apply theorem 4 to apply theorem 5 (necessary condition) apply theorem 7 find eigenvalues 𝜆 (necessary and sufficient (may be condition) computationally condition not condition expensive) satisfied – not satisfied stable apply theorem 6 (sufficient condition) combine with initial conditions to solve for constants 𝐴 𝑛 condition not condition satisfied – satisfied – not stable system is stable 24