Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Phil. Trans. R. Soc. A (2010) 368, 4893–4914 doi:10.1098/rsta.2010.0237
I N T RO D U C T I O N
Theory of hybrid dynamical systems and its applications to biological and medical systems B Y K AZUYUKI A IHARA*
AND
H IDEYUKI S UZUKI
Institute of Industrial Science, University of Tokyo, 4-6-1 Komaba, Meguro-ku, Tokyo 153-8505, Japan In this introductory article, we survey the contents of this Theme Issue. This Theme Issue deals with a fertile region of hybrid dynamical systems that are characterized by the coexistence of continuous and discrete dynamics. It is now well known that there exist many hybrid dynamical systems with discontinuities such as impact, switching, friction and sliding. The first aim of this Issue is to discuss recent developments in understanding nonlinear dynamics of hybrid dynamical systems in the two main theoretical fields of dynamical systems theory and control systems theory. A combined study of the hybrid systems dynamics in the two theoretical fields might contribute to a more comprehensive understanding of hybrid dynamical systems. In addition, mathematical modelling by hybrid dynamical systems is particularly important for understanding the nonlinear dynamics of biological and medical systems as they have many discontinuities such as threshold-triggered firing in neurons, on–off switching of gene expression by a transcription factor, division in cells and certain types of chronotherapy for prostate cancer. Hence, the second aim is to discuss recent applications of hybrid dynamical systems in biology and medicine. Thus, this Issue is not only general to serve as a survey of recent progress in hybrid systems theory but also specific to introduce interesting and stimulating applications of hybrid systems in biology and medicine. As the introduction to the topics in this Theme Issue, we provide a brief history of nonlinear dynamics and mathematical modelling, different mathematical models of hybrid dynamical systems, the relationship between dynamical systems theory and control systems theory, examples of complex behaviour in a simple neuron model and its variants, applications of hybrid dynamical systems in biology and medicine as a road map of articles in this Theme Issue and future directions of hybrid systems modelling. Keywords: hybrid dynamical systems; mathematical modelling; biological systems; medical systems; nonlinear dynamics; control
1. Nonlinear dynamics and mathematical modelling The history of natural science can be traced back to Isaac Newton in the seventeenth century. He formulated equations relating force and motion and co-invented calculus. This seminal work inaugurated the field of dynamical *Author for correspondence (
[email protected]). One contribution of 12 to a Theme Issue ‘Theory of hybrid dynamical systems and its applications to biological and medical systems’.
4893
This journal is © 2010 The Royal Society
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4894
K. Aihara and H. Suzuki
systems. His laws of force and motion are also the origin of mathematical modelling of dynamical phenomena in this world. Because calculus generally hates discontinuities and instabilities, most classical studies of dynamical systems and mathematical modelling concentrated on solutions that were smooth and stable. The universe was thus conceived of as a precision machine with smoothness and stability; based on the initial conditions, one could accurately predict future behaviour such as that of planets orbiting the Sun or that of a pendulum clock. However, in the 1960s and 1970s, ‘catastrophe theory’ (Thom 1975) and ‘chaos theory’ (Li & Yorke 1975; May 1976) were formulated as special branches of dynamical systems theory; these branches deal with nonlinear phenomena with discontinuities or abrupt changes in behaviour and with instabilities or unstable and unpredictable dynamics, respectively. Catastrophe theory was subsequently applied to many real-world phenomena in different disciplines, including biological and even social sciences. This very popular approach, however, unfortunately turned out to be superficial, because it was applied with oversimplified generality instead of being based on sound characterization of each specific phenomenon (Kolata 1977; Zahler & Sussmann 1977); see also Scheffer et al. (2009) for recent progress on tipping points and critical transitions. Catastrophe theory can be included in the more general theory of bifurcations, which describes how a variation in some parameter values results in a sudden change in the qualitative structure of the solutions to dynamical systems. In fact, catastrophe theory is related to the essence of bifurcations specific to dynamical systems with potential. Presently, there are several advanced theorems on bifurcations, some of which can explain even the emergence of chaos through a universal route with successive period-doubling bifurcations (Feigenbaum 1978). Chaos is a mathematical term that describes complex behaviour in deterministic dynamical systems, which has short-term predictability but is nevertheless unstable and unpredictable in the long term. Extensive studies on chaos in the 1980s clarified that chaos is ubiquitous not only in mathematical models but also in real-world systems. Thus, with the advent of the catastrophe and chaos theory, it was found that the behaviour of nature is beyond smooth and stable. This Theme Issue deals with another fertile region of dynamical systems that are widely related to discontinuities and instabilities, namely hybrid dynamical systems (Witsenhausen 1966; Filippov 1988; Guckenheimer & Johnson 1995; Branicky et al. 1998; Matveev & Savkin 2000; van der Schaft & Schumacher 2000; Leine & Nijmeijer 2004; Haddad et al. 2006; Awrejcewicz & Holicke 2007; Zavalishchin & Sesekin 2007; Acary & Brogliato 2008; di Bernardo et al. 2008; Goebel et al. 2009; Lunze & Lamnabhi-Lagarrigue 2009); see also the Proceedings of the International Hybrid Systems Workshops, International Conferences on Hybrid Systems and the ACM International Conference on Hybrid Systems as well as references in the review articles by di Bernardo & Hogan (2010) and Heemels et al. (2010) in this Theme Issue. Generally speaking, hybrid dynamical systems are characterized by the coexistence of continuous and discrete dynamics. It is now well known that, among natural and engineering systems, there exist several hybrid dynamical systems with discontinuities that do not arise from elementary bifurcations accounted for by the catastrophe theory. Examples of such discontinuous systems include impact, switching, friction and sliding; Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4895
these systems can be mathematically described as hybrid dynamical systems with continuous and discrete variables. Since such discontinuities are found everywhere, modelling of hybrid dynamical systems is applicable to almost all research areas in life science and other disciplines as well as in physical science. Moreover, the nonlinear dynamics of hybrid dynamical systems is considerably richer and more complicated than that of the usual smooth dynamical systems, generating even special bifurcations, as shown in this Theme Issue. However, such intriguing nonlinear dynamics has been studied separately in two main theoretical fields, namely dynamical systems theory and control systems theory, as discussed in §3. The first aim of this Theme Issue is to discuss recent developments in understanding nonlinear dynamics of hybrid dynamical systems in the respective theoretical fields through the review articles by di Bernardo & Hogan (2010) and Heemels et al. (2010) A combined study of the hybrid systems dynamics in the two theoretical fields might contribute to a more comprehensive understanding of the complex nonlinear dynamics in hybrid dynamical systems. Computer science and software engineering are also important fields, especially for considering discrete aspects in hybrid dynamical systems (e.g. Lunze & Lamnabhi-Lagarrigue 2009). In addition, mathematical modelling by hybrid dynamical systems is particularly important for understanding the nonlinear dynamics of biological and medical systems as they have many discontinuities. Typical examples of such discontinuities are threshold-triggered firing in neurons (Izhikevich 2010), on–off switching of gene expression by a transcription factor (Imura et al. 2010; Perkins et al. 2010; Singh & Hespanha 2010), division in cells (Chen et al. 2004; Battogtokh et al. 2006; Osborne et al. 2010) and certain types of chronotherapy for prostate cancer (Guo et al. 2008; Ideta et al. 2008; Shimada & Aihara 2008; Tanaka et al. 2008, 2010; Hirata et al. 2010; Suzuki et al. 2010). Hence, the second aim of this Theme Issue is to discuss recent studies which apply hybrid dynamical systems to the fields of biology and medicine, through the nine articles with a variety of topics; this should stimulate applications of hybrid systems modelling to other research areas as well. Thus, this Issue is not only general to serve as a survey of progress in hybrid systems theory from the perspectives of the two theoretical fields of dynamical systems and control systems, but also specific to introduce interesting and stimulating applications of hybrid systems in biology and medicine. A potential scientific and social impact of this issue is the expansion of the scope of mathematical modelling from conventional smooth dynamical systems to hybrid dynamical systems with analogue and digital variables. Dynamical systems theory has been providing the basic methodology of science since the seminal work of Isaac Newton. Although dynamical systems theory usually only considers smooth systems with continuous variables, important real-world systems of many fields in general and biological and medical systems in particular can be described by hybrid dynamical systems with both continuous and discrete variables. The topics of this Theme Issue are cross-disciplinary in two senses. First, as already explained, this issue aims to cover two theoretical fields on hybrid systems dynamics; namely, dynamical systems theory in mathematics and control systems theory in engineering and technology. Second, the application fields of Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4896
K. Aihara and H. Suzuki
hybrid systems theory are truly cross-disciplinary as they deal with many systems in science, engineering, economics and so on. Although this Theme Issue will focus on the applications of hybrid dynamical systems to biological and medical sciences, we hope that the theory and application examples provided in this Issue encourage similar studies in many other disciplines.
2. Mathematical models of hybrid dynamical systems Although hybrid dynamical systems are ubiquitous, they have not yet been formulated by a common mathematical description owing to their great diversity. One of the well-organized general formulations from the viewpoint of deterministic dynamics is summarized as follows (Branicky et al. 1998; Imura & Azuma 2007; di Bernardo et al. 2008; Lunze & Lamnabhi-Lagarrigue 2009): dx(t) = Fi(t) (x(t), u(t), m), dt i(t) = G(i(t− ), x(t− ), u(t), m), and
(2.1) (2.2)
x(t) = R(i(t− ), x(t− ), u(t), m)
(2.3)
y(t) = O(i(t), x(t), u(t), m),
(2.4)
where x(t) ∈ Rn is the continuous state at time t ∈ R; i(t) ∈ {1, . . . , N } is the discrete state at time t; Fi(t) is the vector-valued smooth function specified by i(t); u(t) ∈ Rm is the external input; m ∈ Rl is the system (bifurcation) parameters; G is a map of discrete-state transitions from i(t− ) to i(t) with i(t− ) ≡ limt→t−0 i(t); R is a reset map of continuous states accompanying a discrete-state transition; y(t) ∈ Rk is the output; and O is the output function. If Fi(t) , G, R and O in equations (2.1)–(2.4) do not depend on external input u(t), then the hybrid system is autonomous; otherwise, it is non-autonomous. An important class of autonomous hybrid dynamical systems is a piecewise smooth hybrid system (di Bernardo et al. 2008; di Bernardo & Hogan 2010), defined as follows (figure 1): dx = Fi (x, m) dt
for x ∈ Si
(2.5)
if x ∈ Sji ≡ Sj ∩ Si ,
(2.6)
and x −→ Rji (x, m)
where Fi is a smooth vector field specified by i. Each region Si ⊂ Rn has a non-empty interior. Rji is a reset map on the intersection Sji . A typical example of the reset map is the discontinuous change in velocity v of a bouncing ball on impact from v to −rv with a restitution coefficient r (0 ≤ r ≤ 1). The degree of smoothness on a discontinuous (switching) boundary Sji is defined as zero if there is a jump of the system state x itself like this bouncing ball (see di Bernardo et al. (2008) and di Bernardo & Hogan (2010) in this issue for the definition of the degree of smoothness). Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4897
Introduction discrete state 3 . x = F3 (x, μ) in S3
discrete state 2 . x = F2 (x, μ) in S2
discrete state 1
discrete state 4
. x = F1 (x, μ) in S1
. x = F4 (x, μ) in S4 discrete state 5 x. = F5 (x, μ) in S5
discrete state
continuous state
bifurcation parameters
Figure 1. Schematic of a piecewise smooth hybrid system where each arrow shows a discrete transition accompanied by a reset map of the continuous state.
When the reset map is the identity map Rji (x) = x, the hybrid system (2.5) and (2.6) is called ‘a piecewise smooth flow’ or ‘a piecewise smooth ordinary differential equation (ODE)’, defined as follows: dx = Fi (x, m) dt
for x ∈ Si .
(2.7)
Examples of a one-dimensional piecewise smooth ODE with the degrees of smoothness 1 and 2 at the origin are, respectively, given as follows: dx = −sgn(x) dt
(2.8)
dx = |x|, dt
(2.9)
and
where sgn(x) = 1 for x ≥ 0, and sgn(x) = −1 otherwise. If each Fi is affine, then equation (2.7) is simplified into a continuous-time piecewise affine system as follows: dx = Ai x + b i dt where Ai ∈ Rn×n and bi ∈ Rn . Phil. Trans. R. Soc. A (2010)
for x ∈ Si ,
(2.10)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4898
K. Aihara and H. Suzuki
The discrete-time version of the continuous-time piecewise smooth system (2.7) is widely used in discrete-time/sampled-data control, which is represented by a piecewise smooth map, or a discrete-time piecewise smooth system as follows (di Bernardo et al. 2008): x(t + 1) = Fi (x(t), m)
for x(t) ∈ Si ,
(2.11)
where t = 0, 1, 2, . . .. Moreover, if each mapping Fi is affine, then equation (2.11) is simplified into a piecewise affine map, or a discrete-time piecewise affine system as follows: x(t + 1) = Ai x(t) + bi
for x(t) ∈ Si .
(2.12)
Although equation (2.12) looks quite simple, its behaviour can be very complicated even for n = 1. An example of such complex behaviour in simple hybrid dynamical systems will be introduced in §4.
3. Dynamical systems theory and control systems theory In this section, we explain a short history of the branching between dynamical systems theory and control systems theory and the importance of their combined study. Newton’s formulation of the equations for laws of force and motion as well as of differential and integral calculus, followed by the great contributions of Jules Henri Poincaré and other pioneers, led to the establishment of dynamical systems theory, which is the basis of mathematical modelling today. The Industrial Revolution triggered by James Watt’s steam engines, on the other hand, posed a nuisance problem for the stability of governors. James Clark Maxwell mathematically solved this problem and created the field of control systems theory. Although dynamical systems theory and control systems theory treat similar dynamical problems, they saw almost independent developments during the twentieth century, except for some excellent work such as L. S. Pontryagin’s maximum principle (Pontryagin et al. 1962) and R. E. Kalman’s analysis on random behaviour in nonlinear sampled-data control systems (Kalman 1956); Kalman showed that a simple one-dimensional piecewise affine map (2.12) as a model of a nonlinear sampled-data feedback control system is equivalent to a typical chaotic map, now termed the tent map. These independent developments of dynamical systems theory and control systems theory seem to have been caused by their different characteristics. First of all, while there are no control inputs in celestial mechanics, which is the origin of dynamical systems theory, control systems theory makes complete use of control inputs. Although chaotic dynamics is immanent even in the classical three-body problem of the celestial mechanics, control systems theory is primarily focused on the realization of stable linear dynamics rather than unstable nonlinear dynamics like chaos. Thus, dynamical systems theory and control systems theory are typically characterized by possibly unstable nonlinear dynamics without control inputs and stable linear dynamics with control inputs, respectively. Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4899
Since dynamical systems theory and control systems theory have seen considerable advancements in complementary directions, their combination can lead to a powerful methodology. The following are just a few examples of important research subjects (Aihara 2010): — stabilization and bifurcation control of limit cycles and strange attractors in nonlinear dynamical systems; a pioneering work is the OGY control (Ott et al. 1990); — construction of mathematical models directly from observed data according to embedding theorems (Takens 1984; Sauer et al. 1991; Stark 1999), estimation of parameter values in obtained models by system identification and data assimilation and application of such models to model-based prediction and model predictive control; — a combination of bifurcation theory on stability regions of attractors in parameter space and robust-control theory on stability with respect to variation in nominal models and noise; and — control of mathematical models described by hybrid partial differential equations, delay-differential equations and other complex dynamical systems. In this Theme Issue, the recent progress of research on hybrid dynamical systems theory and that on hybrid control systems theory, especially discontinuity-induced bifurcations of piecewise smooth dynamical systems and stability analysis and controller synthesis for hybrid dynamical systems, are reviewed by di Bernardo & Hogan (2010) and Heemels et al. (2010), respectively. Since hybrid dynamical systems are ubiquitous and involve very rich nonlinear phenomena, these developments are quite important in terms of applications as well as theory.
4. Complex behaviour in a simple neuron model and its variants To demonstrate the applications of hybrid dynamical systems to mathematical modelling of biological and medical systems, we introduce here a simple hybrid neuron model that shows complicated behaviour in spite of its simplicity. Neurons are fundamental elements of the brain. Information in the brain is believed to be transmitted by spikes, or action potentials, which are generated by neurons. Since the genesis of action potentials is a discontinuous event that is triggered at the threshold, the process has been modelled by hybrid dynamical systems. Caianiello’s neuronic equation, which is a generalized version of the first neuron model for artificial neural networks proposed by McCulloch & Pitts (1943), is given as follows (Caianiello 1961): ⎡ ⎤ t N (d) wij yj (t − d) − q⎦, (4.1) yi (t + 1) = H ⎣ j=1 d=0
where, for the ith constituent neuron of a neural network, yi (t + 1) is the output with alternative discrete values of 0 (resting) and 1 (firing); t is a discrete time step (t = 0, 1, 2, . . .); N is the number of constituent neurons and H is the Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4900
K. Aihara and H. Suzuki (d)
Heaviside output function where H (x) = 1 for x ≥ 0 and H (x) = 0 otherwise. wij with i = j represents the post-synaptic effect of a spike from the jth neuron after (d) d time-unit delay, and wii represents the memory effect such as refractoriness on the ith neuron that is caused by the firing of the ith neuron itself before d time units. q is the threshold for firing. Nagumo & Sato (1972) analysed the responses of a neuron to a single input line by considering the accumulation of refractory effects owing to a sequence of past firing. The refractory effects are assumed to exponentially decay with time and be linearly superimposed. This property is described by the term a td=0 k d y(t − d), where a is a scaling factor; k is the decay factor with 0 ≤ k ≤ 1; and y(t) is the output of this neuron at time t. The refractory effect at time t owing to the past firing d time units ago is given by ak d y(t − d). This formulation corresponds to (d) setting wii = −ak d in Caianiello’s neuronic equation (4.1). Thus, Nagumo & Sato (1972) studied neuronal responses with the refractoriness to steady stimulation by the following equation: t k d y(t − d) − q , (4.2) y(t + 1) = H A − a d=0
where A is the constant strength of the input. By defining the internal state x(t + 1) by x(t + 1) = A − a td=0 k d y(t − d) − q, the dynamics of equation (4.2) is transformed to x(t + 1) = F (x(t)) ≡ kx(t) − aH [x(t)] + a,
(4.3)
where a = (1 − k)(A − q) is the bias including both the threshold and the constant input strength, and output y(t) is obtained by y(t) = H [x(t)] with the Heaviside function H . Equation (4.3) can be rewritten as follows: x(t + 1) = kx(t) − a + a,
if
x(t) ≥ 0
(4.4)
and x(t + 1) = kx(t) + a,
if
x(t) < 0.
(4.5)
Equations (4.4) and (4.5) are a typical example of a one-dimensional piecewise affine map or a discrete-time piecewise affine system (see equation (2.12) and the review article by Heemels et al. (2010) in this issue). Figure 2 shows examples of periodic responses of the Nagumo–Sato model. It is shown that almost all the responses of the Nagumo–Sato model are periodic (Nagumo & Sato 1972). Let us define the average firing rate r and the Lyapunov exponent l for the Nagumo–Sato model as follows: r = lim
n→∞
and
Phil. Trans. R. Soc. A (2010)
n−1 y(t) t=0
n
n−1 1
dF (x(t))
l = lim ln . n→∞ n dx(t)
t=0
(4.6)
(4.7)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4901
(a)
1
x(t+1)
Introduction
0
(b)
−1
0 x(t)
1
−1
0 x(t)
1
Figure 2. (a) 1/3-periodic and (b) 2/3-periodic responses in the Nagumo–Sato model with k = 0.85, a = 1, and (a) a = 0.3 and (b) a = 0.7.
An example of the bifurcation structure of the Nagumo–Sato model with increasing the value of a is shown in figure 3. When the Lyapunov exponent l is negative, the response of the neuron is stably periodic. As illustrated in figures 2 and 3c, the Nagumo–Sato model has only periodic attractors for almost all parameter values. Figure 3b illustrates that the global property of the average firing rates forms a complete devil’s staircase (Jensen et al. 1983; Bak 1986). The complete devil’s staircase is a non-constant but continuous and monotonously non-decreasing singular function, which has an infinite number of steps corresponding to all rational numbers in [0, 1], and has the zero derivative almost everywhere. It should also be noted that the discontinuity of the Nagumo– Sato model owing to the Heaviside function produces chaotic solutions only on a self-similar Cantor set of parameter values with zero Lebesgue measure (Nagumo & Sato 1972; Tsuda 1981; Hata 1982, 1998). Figure 4 shows the corresponding periodic responses of the membrane potential in a squid giant axon that is in the resting state and stimulated by periodic pulses with a constant amplitude. The model of equations (4.4) and (4.5) and its variants (Aihara et al. 1990) reproduce these responses of squid giant axons well, including even chaotic responses (Aihara & Matsumoto 1986; Matsumoto et al. 1987; Mees et al. 1992; Aihara 2002; Suzuki & Aihara 2008). Next, we show that this complex dynamics of the Nagumo–Sato model also arises from a simple hybrid control system. Let us consider a one-dimensional continuous-time piecewise affine system that switches the following two linear systems: 1 dx = − (x − s1 ), t dt
if x ≥ h
(system 1)
(4.8)
dx 1 = − (x − s0 ), dt t
if x < h
(system 0),
(4.9)
and
Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4902
K. Aihara and H. Suzuki (a) 1.0 0.5
x
0 –0.5
–1.0 (b) 1.0
ρ 0.5
0 (c) 1.0 0.5
λ
0 –0.5 –1.0
0
0.5
1.0
a Figure 3. Response characteristics of (a) the bifurcation diagram, (b) the average firing rate r, and (c) the Lyapunov exponent l in the Nagumo–Sato model where k = 0.85 and a = 1.
(a)
(b)
Figure 4. (a) 1/3-periodic and (b) 2/3-periodic responses of the membrane potential in a squid giant axon that is in the resting state and stimulated by periodic pulses with a pulse width of 0.5 ms and a pulse interval of 5.0 ms; pulse amplitude A = (a) 7.6 mA (1.297 times the threshold current) and (b) 18.4 mA (3.14 times the threshold current); upper, the stimulation; lower, the response of the membrane potential. Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4903
where x ∈ R denotes the continuous state of the system to be controlled, t is a time constant and s1 and s0 are stable equilibriums of the two systems, where s1 < s0 . Given a preset value h between s1 and s0 , we consider sampled-data on–off control of the system. Assuming that the value of x is sampled only at uniform intervals of 1 unit time, the system dynamics can be described by a piecewise affine map or a discrete-time piecewise affine system as follows: kx(t) + (1 − k)s1 , if x(t) ≥ h, x(t + 1) = (4.10) kx(t) + (1 − k)s0 , if x(t) < h, where k = exp(−1/t). The dynamics of this system is equivalent to that of the Nagumo–Sato model in equations (4.4) and (4.5). Since systems 1 and 0 correspond to the firing and resting states in the Nagumo–Sato model, respectively, the average firing rate r can be regarded as the rate at which system 1 is chosen. Furthermore, the bias parameter a in the Nagumo–Sato model corresponds to the preset value h in this switching system by the relations a = (1 − k)(s0 − h) and a = (1 − k)(s0 − s1 ). Therefore, the devil’s staircase in figure 3b can also be regarded as a graph of the rate of system 1 as a function of the preset value h. In this control system, it is natural to consider hysteresis, as in familiar on–off control systems such as thermostats. With such hysteresis, the system dynamics is equivalent to that of the Nagumo–Sato model with a positive self-recurrent connection. Similarly, a rotation on a circle, which can be obtained as the limit case of k → 1 in the Nagumo–Sato model, also arises in a simple hybrid control system. Now, we consider a continuous-time piecewise affine system composed of the following two systems: dx = r − R, if x ≥ h (system 1) (4.11) dt and dx = r, if x < h (system 0), (4.12) dt where both r and R are constants satisfying 0 < r < R. Considering sampled-data on–off control in a similar way, we obtain the following piecewise affine map: x(t) + r − R, if x(t) ≥ h, x(t + 1) = (4.13) x(t) + r, if x(t) < h. This is equivalent to a rotation map or the limit case of k → 1 in the Nagumo– Sato model. The sequence of 1 (system 1) or 0 (system 0) chosen at each time step is called a rotation sequence. The ratio of 1s in the sequence converges to r/R as the length of the sequence tends to infinity. In the field of machine learning, this system appears as a one-dimensional case of a herding system that deterministically yields a sequence of data samples satisfying some predefined statistics (Welling 2009). In the field of signal processing, this system with a time-varying r is called a S–D modulator, which is an AD converter widely used in the industry because of its stability and noise-shaping property (Inose et al. 1962; Gray 1987). Error-diffusion dithering, which is an algorithm commonly used in digital halftoning of images, is also a variant of the S–D modulator (Adler et al. 2003). Introducing hysteresis in this control system produces more Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4904
K. Aihara and H. Suzuki
complex dynamics (Suzuki & Aihara 2005), which can be reduced to a double rotation as follows (Suzuki et al. 2005): {x(t) + a}, if x ≥ h, x(t + 1) = (4.14) {x(t) + b}, if x < h, where x ∈ [0, 1), {·} is defined by {x} = x − x and (a, b, h) ∈ [0, 1) × [0, 1) × [0, 1]. Double rotations form a subclass of interval translation mappings (Boshernitzan & Kornfeld 1995), or, more generally, piecewise isometries (Goetz 2000). Piecewise isometries arise in various models in engineering and exhibit complex dynamics because of their discontinuities (Deane 2006). For example, the complex behaviour of partial-discharge phenomena in the field of high-voltage engineering is explained by a simple model that can be reduced to a double rotation (Suzuki et al. 2004). The two abovementioned switching control systems can be regarded as the simplest examples of piecewise affine maps. Owing to their simplicity, these hybrid systems and their variants can be found in various research fields (Suzuki & Aihara 2008). In this sense, these hybrid dynamical systems are ubiquitous in mathematical models of different systems in the real world. It should be stressed here that even the simple piecewise affine maps used in sampled-data control can generate considerably complicated behaviour. It should also be noted, on the other hand, that continuous-time hybrid systems produce different types of challenging behaviour such as sliding modes and the Zeno behaviour (di Bernardo et al. 2008; Lunze & Lamnabhi-Lagarrigue 2009).
5. Hybrid dynamical systems in biology and medicine Here, we briefly introduce the contents of the nine articles on applications of hybrid dynamical systems to biology and medicine in this Theme Issue as a ‘road map’. These articles are mainly categorized into three topics: (i) biochemical and gene regulatory networks, (ii) cancer and its treatment, and (iii) neurons, neural systems and neuromechanics. The first topics of biochemical and gene regulatory networks are discussed in three articles by Perkins et al. (2010), Imura et al. (2010) and Singh & Hespanha (2010). Gene expression is switched on and off by proteins called transcription factors. Perkins et al. (2010) analyse robust dynamics of gene regulatory networks by hybrid models with logical functions representing genes and real variables describing controlling transcription factor protein molecules. This formulation successfully relates the underlying logical structure of gene regulatory networks to robust dynamics. They also apply their modelling to interesting data on the cell cycle in yeast, which are provided by John Tyson. Imura et al. (2010) discuss piecewise affine systems approaches to modelling, analysing and synthesizing biological networks such as gene regulatory networks. They further examine the control of a quorum-sensing system in the pathogen Pseudomonas aeruginosa, which is a major opportunistic human pathogen living in various environments. Since the copy numbers of proteins and mRNAs Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4905
are usually low in a cell, they are subject to large stochastic fluctuations. A convenient framework of stochastic hybrid systems modelling for such biochemical processes is provided by Singh & Hespanha (2010). In addition, they demonstrate recently developed techniques for fast computations of statistical moments of the population count and review different examples of systems that can be modelled by stochastic hybrid systems (see also Chen et al. (2010) for related topics). The second topic of cancer and its treatment are considered in three articles by Osborne et al. (2010), Tanaka et al. (2010) and Suzuki et al. (2010) Osborne et al. (2010) focus on cancer dynamics of a colorectal crypt in colorectal cancer. Since cancer originates from a mutation initially creating a single abnormal cell, there exists a problem of small numbers of cells, which is different from that of small copy numbers of proteins and mRNAs discussed in Singh & Hespanha (2010). Owing to the small numbers of cells, they study cell-based ‘hybrid’ models in which cells are considered as discrete, with dynamical changes such as division, proliferation and movement encoded either through rules or as the result of dynamics occurring on other scales. They also compare and contrast two different cell-based models with a homogenized continuum model. When the number of cancer cells increases with the tumour growth, another hybrid model can be used by describing cells as discrete in some parts and as a continuum in others (see also Anderson & Quaranta 2008). Hybrid dynamical systems are usually described with continuous and discrete-state variables. Representations of time and space, however, are also quite important; the above modelling brings hybrid properties of space into sharp relief. The hybrid properties of time have also been discussed in previous studies (Ye et al. 1998; Chen & Aihara 2001; Dai 2008; Michel et al. 2008). Thus, the mathematical modelling of hybrid dynamical systems should also be considered from the perspective of time and space; that is, the continuous and discrete structure of time and space. Tanaka et al. (2010) and Suzuki et al. (2010) focus on the hybrid systems modelling of prostate cancer and its treatment. Since prostate tumour growth is sensitive to the male sexual hormone or androgen, at least in its early state, hormone therapy is quite effective. In particular, intermittent hormone therapy (Bruchovsky et al. 1990; Akakura et al. 1993), which switches the treatment of hormone therapy on and off based on the observation of the serum prostatespecific antigen (PSA) level, has been recently studied using mathematical models (Guo et al. 2008; Ideta et al. 2008; Shimada & Aihara 2008; Tanaka et al. 2008; Tao et al. 2009; Hirata et al. 2010). These mathematical models of intermittent hormone therapy are hybrid dynamical systems with peculiar bifurcation structures. Tanaka et al. (2008), Guo et al. (2008) and Tao et al. (2009) extended the models to hybrid partial differential equations. Tanaka et al. (2010) further extend the deterministic hybrid models to the stochastic one. Suzuki et al. (2010) propose optimal control of intermittent hormone therapy on the basis of piecewise affine systems modelling. Both these articles involve analysis of real clinical time-series data of PSA to validate their models. These studies on hybrid systems modelling of intermittent hormone therapy for prostate cancer are now giving rise to an entirely new type of personalized therapy for prostate cancer. The methodology is based on a tailormade mathematical model (Hirata et al. 2010) obtained only from the PSA Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4906
K. Aihara and H. Suzuki
time-series data of each patient, which can be easily monitored by means of the usual blood test. This type of mathematical model-based personalized therapy can be generalized to other diseases if some efficient biomarkers and drugs are available. The third set of topics of neurons, neural systems and neuromechanics is taken up by Izhikevich (2010), Cao & Ibarz (2010) and Proctor et al. (2010). The firing of neurons can be described as discontinuity with a threshold as discussed in §4. The simplest continuous-time model of such firing is the following leaky integrate-and-fire model: C
dv = g(E − v) + I , dt
if v ≥ vthreshold ,
then v ← c,
(5.1)
where v is the membrane potential of the neuron; C is the membrane capacitance; g is the leak conductance; E is the reversal potential; I is the input current; vthreshold is the threshold potential for firing; and c is the reset potential. Izhikevich (2010) presents his famous hybrid systems models of neurons that combine a continuous spike-generation mechanism and a discontinuous after-spike reset of state variables. The models can excellently reproduce the response properties in different kinds of real neurons (see also Izhikevich 2007). He also introduces related hardware implementation and the hybrid numerical method. Cao & Ibarz (2010) and Proctor et al. (2010) propose models of neural and neuromechanical systems. Neurons in the brain are connected by chemical and electrical synapses. While the latter is represented as continuous and smooth interactions, the former provides a connection scheme with switching dynamics depending on spikes generated by neuronal firing. Cao & Ibarz (2010) examine discrete-time hybrid neural networks with not only chemical but also electrical synapses. As an example of a hybrid systems approach to higher brain functions, Sato et al. (2007) formulated Bayesian inference with continuous and binary variables, the latter of which represents whether or not visual and auditory stimuli originate from the same source. Such a hybrid formulation will probably be effective in studying the binding problem in the brain (Fujii et al. 1996). Locomotion also offers interesting examples of hybrid dynamical systems with piecewise holonomic constraints (e.g. owing to intermittent foot contacts in walking and running). Rather than using conventional spiking neuron models, Proctor et al. (2010) develop a phase-reduced model of the neural pattern generator, subject to sensory spikes, and emitting spikes to control a hybrid model of muscles and leg contacts. In spite of many simplifications, the model captures key features of the overall system dynamics quite well, including gait characteristics and responses to impulsive perturbations.
6. Discussion and conclusions Two review articles in this Theme Issue survey the recent developments in hybrid dynamical systems theory from the viewpoints of both dynamical systems theory and control systems theory, while nine articles introduce contemporary applications of hybrid dynamical systems in biology and medicine. Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4907
Introduction
gm2
v1
gm1
C1
C2 H2
v2
H1
Figure 5. A circuit of a hysteresis 2P(Port)-VCCS (voltage-controlled current source) chaotic oscillator.
The topics of hybrid dynamical systems in these articles are also related to a variety of applications in other fields. In particular, there are many interesting studies on such applications in engineering systems (Blazejczyk-Okolewska et al. 1999; Wiercigroch & de Kraker 2000; Savkin & Evans 2002; Awrejcewicz & Lamarque 2003; Tse 2003; Zhusubaliyev & Mosekilde 2003; Sobhani-Tehrani & Khorasani 2009; Leonov et al. 2010). A famous example of hybrid dynamical systems in electronic circuits is Chua’s double-scroll system, which is described as follows (Chua et al. 1986; Awrejcewicz & Lamarque 2003):
and
dx = a(y − h(x)), dt dy =x −y +z dt dz = −by, dt
(6.1) (6.2) (6.3)
where x, y, and z are continuous state variables, a and b are positive parameters and h(x) is a piecewise smooth function of x. The cover image of this Theme Issue is composed of some strange attractors obtained from equations (6.1)–(6.3) with h(x) that is more complicated than the original. Figure 5 shows another chaotic circuit with hysteresis, some attractors of which are shown in figure 6. The dynamics of this circuit is represented as follows (Hamada et al. 2007):
d C 1 v1 gm1+ − gm1− −gm1+ + gm1− H1 (v1 − v2 ) v1 = − , (6.4) gm2+ − gm2− 0 v2 H2 (v1 ) dt C2 v2 where C1 , C2 and gm ’s are positive parameters. H1 and H2 are the following hysteresis elements: −Ii+ − Ii− , if vi ≤ Ei , Hi (v) = i = 1, 2, (6.5) if vi ≥ −Ei , Ii+ + Ii− , where Ii+ , Ii− and Ei are positive parameters. Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4908
K. Aihara and H. Suzuki (a)
0.8
(i)
(ii) 1.5 1.0 v2 (V)
v2 (V)
0.4 0
0.5 0 –0.5
–0.4
–1.0 –1.5
–0.8 (b)
0.8
(i)
(ii) 1.5 1.0 v2 (V)
v2 (V)
0.4 0
0.5 0 –0.5
–0.4
–1.0 –0.8 –0.2
–0.1
0 v1 (V)
0.1
0.2
–1.5 –0.6 –0.4 –0.2 0 0.2 0.4 0.6 v1 (V)
Figure 6. Strange attractors obtained by numerical simulation with SPICE (a(i),b(i)) and by electronic experiments with implemented analogue ICs (a(ii),b(ii)). (a(i),a(ii)), quad-screw attractors; (b(i),b(ii)), horizontal double-screw attractors (Hamada et al. 2007). Copyright © 2007 IEEE.
These analogue circuits of hybrid dynamical systems enable new nonlinear techniques of electronics and possible components of future computers. Computers are indispensable for today’s highly informationalized society. The term ‘computers’ is now synonymous with digital computers, but their implication was very different only 60–70 years ago when analogue computers, now obsolete, were competing with digital computers for the leading position in research and development of electronic computers. Digital computers finally superseded analogue computers because of their firm mathematical basis of the Turing machine, universal programmability, higher computational accuracy and greater memory capacity. Further, their continual remarkable developments are being made, mainly supported by the astonishing evolution of electronic digital hardware. At present, however, the hardware-based evolution of digital computers, as has taken place in the past, is gradually slowing down. First, the conventional hardware technology seems to be approaching its fundamental limit. Second, the power of the digital computation is fundamentally limited not only by the computational complexity such as the non-deterministic polynomial (NP)complete and NP-hard problems, but also by the undecidability problem inherent Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4909
in the Turing machines. Third, uncertain and imprecise data in the real world are a hindrance to the development of usable intelligent systems based on digital computers with strict logical computation. To cope with these problems of present digital computers, the possibilities of creating new types of computing methods and machines have been explored. Examples include (i) soft computing with fuzzy logic, neurocomputing, genetic algorithm, evolutionary computing and probabilistic reasoning (Zadeh 1996; Liu & Miyamoto 2000), (ii) exotic computing machines (Casti 1997) such as cellular automata (Wolfram 2002), quantum computers (Deutsch 1985; Bernstein & Vazirani 1997) and the Blum–Shub–Smale model (Blum et al. 1997), (iii) Moore’s generalized shift (Moore 1990, 1991), and continuous-time analogue computation (Moore 1996), (iv) Siegelmann’s analogue neural networks (Siegelmann 1999) and our chaotic neural networks (Aihara et al. 1990; Aihara 2002), and (v) a new generation of analogue computing with neural, fuzzy and chaos computing models (Aihara 1993, 2002; Aihara & Katayama 1995). Some of these new computing models and all the others can be accurately implemented and simulated at least approximately by digital computers, respectively. It should be noted, however, that digital computation of even simple chaotic dynamics, for example, suffers from fundamental difficulties related to the computation of unstable dynamics accompanied by complexity of real numbers (Aihara 2002). While hybrid computers with digital and analogue systems were intensively studied much earlier in the 1960s and 1970s (Bekey & Karplus 1968), the possibility of creating a new generation of hybrid computing has recently been explored using analogue computation with chaotic neuro-dynamics and digital computation through algorithm (Aihara 2003; Horio & Aihara 2008); see also Branicky (1995) and Bournez & Cosnard (1996) for the computational power of hybrid systems. As the brain is an extremely complex hybrid system with hierarchical analogue and digital properties (Aihara 1993) such as digital on/off gating and an analogue opening time of ionic channels in nerve membranes, analogue dynamics for the generation of spikes (Hodgkin & Huxley 1952), digital propagation of spikes along axons according to the all-or-nothing law, analogue post-synaptic potentials and analogue neural coding with ‘digital’ spikes such as firing rates, interspike intervals and spike timing, we might learn much from the brain for possible hybrid computing systems. In conclusion, it is desirable to combine dynamical systems theory and control systems theory for comprehensive mathematical modelling of nonlinear dynamics in complex hybrid systems in general and its transdisciplinary applications in science and technology, including further applications in biology and medicine as well as hybrid computing systems (Horio & Aihara 2008). This Theme Issue is the first step towards fulfilling such a purpose (Aihara 2010). I would like to acknowledge all the authors of the articles involved in this Theme Issue for their immensely beneficial contributions, Suzanne Abbott for her kind collaboration, and M. di Bernardo, M. Heemels, Y. Hirata, Y. Horio, J. Imura and A. Mees for their valuable comments. I also thank Keiko Kimoto and Munehisa Sekikawa for creating the beautiful cover image of this issue. This research is partially supported by the Funding Program for World-Leading Innovative R&D on Science and Technology (FIRST). Certain portions of §1 in this article are used from Aihara (2003). Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4910
K. Aihara and H. Suzuki
References Acary, V. & Brogliato, B. (eds) 2008 Numerical methods for nonsmooth dynamical systems. Lecture Notes in Applied and Computational Mechanics, no. 35. Berlin, Germany: Springer. Adler, R. L., Kitchens, B. P., Martens, M., Tresser, C. P. & Wu, C. W. 2003 The mathematics of halftoning. IBM J. Res. Dev. 47, 5–15. (doi:10.1147/rd.471.0005) Aihara, K. (ed.) 1993 Neural, fuzzy and chaotic computing—introduction to a new generation of analog computing. Tokyo, Japan: Tokyo Denki University Press. [In Japanese.] Aihara, K. 2002 Chaos engineering and its application to parallel distributed processing with chaotic neural networks. Proc. IEEE 90, 919–930. (doi:10.1109/JPROC.2002.1015014) Aihara, K. 2003 ERATO. Aihara Complexity Modelling Project of JST (Japan Science and Technology Agency). See http://www.sat.t.u-tokyo.ac.jp/jst/. Aihara, K. 2010 FIRST. Aihara Innovative Mathematical Modelling Project. See http://www.sat.t.u- tokyo.ac.jp/first/. Aihara, K. & Katayama, R. 1995 Chaos engineering in Japan. Commun. ACM 38, 103–107. See http://doi.acm.org/10.1145/219717.219801. Aihara, K. & Matsumoto, G. 1986 Chaotic oscillations and bifurcations in squid giant axons. In Chaos (ed. A. V. Holden), pp. 257–269. Manchester, UK/Princeton, NJ: Manchester University Press/Princeton University Press. Aihara, K., Takabe, T. & Toyoda, M. 1990 Chaotic neural networks. Phys. Lett. A 144, 333–340. (doi:10.1016/0375-9601(90)90136-C) Akakura, K., Bruchovsky, N., Goldenberg, S. L., Rennie, P. S., Buckley, A. R. & Sullivan, L. D. 1993 Effects of intermittent androgen suppression on androgen-dependent tumors: apoptosis and serum prostate-specific antigen. Cancer 71, 2782–2790. (doi:10.1002/1097-0142(19930501) 71:9<2782::AID-CNCR2820710916>3.0.CO;2-Z) Anderson, A. R. A. & Quaranta, V. 2008 Integrative mathematical oncology. Nat. Rev. Cancer 8, 227–234. (doi:10.1038/nrc2329) Awrejcewicz, J. & Holicke, M. M. 2007 Smooth and nonsmooth high dimensional chaos and the Melnikov-type methods. World Scientific Series on Nonlinear Science, Series A. Singapore: World Scientific Publishing. (doi:10.1142/9789812709103) Awrejcewicz, J. & Lamarque, C.-H. 2003 Bifurcation and chaos in nonsmooth mechanical systems. World Scientific Series on Nonlinear Science, Series A, no. 45. Singapore: World Scientific Publishing. Bak, P. 1986 The devil’s staircase. Phys. Today 39, 38–45. (doi:10.1063/1.881047) Battogtokh, D., Aihara, K. & Tyson, J. J. 2006 Synchronization of eukaryotic cells by periodic forcing. Phys. Rev. Lett. 96, 148102. (doi:10.1103/PhysRevLett.96.148102) Bekey, G. A. & Karplus, W. J. 1968 Hybrid computation. New York, NY: John Wiley & Sons. Bernstein, E. & Vazirani, U. 1997 Quantum complexity theory. SIAM J. Comput. 26, 1411–1473. (doi:10.1137/S0097539796300921) Blazejczyk-Okolewska, B., Czolczynski, K., Kapitaniak, T. & Wojewoda, J. 1999 Chaotic mechanics in systems with impacts and friction. World Scientific Series on Nonlinear Science, Series A, no. 36. Singapore: World Scientific Publishing. Blum, L., Cucker, F., Shub, M. & Smale, S. 1997 Complexity and real computation. New York, NY: Springer. Boshernitzan, M. & Kornfeld, I. 1995 Interval translation mappings. Ergod. Theory Dyn. Syst. 15, 821–832. Bournez, O. & Cosnard, M. 1996 On the computational power of dynamical systems and hybrid systems. Theor. Comput. Sci. 168, 417–459. (doi:10.1016/S0304-3975(96)00086-2) Branicky, M. S. 1995 Universal computation and other capabilities of hybrid and continuous dynamical systems. Theor. Comput. Sci. 138, 67–100. (doi:10.1016/0304-3975(94)00147-B) Branicky, M. S., Borkar, V. S. & Mitter, S. K. 1998 A unified framework for hybrid control model and optimal control theory. IEEE Trans. Autom. Control 43, 31–45. (doi:10.1109/9.654885) Bruchovsky, N., Rennie, P. S., Coldman, A. J., Larry Goldenberg, S. L., To, M. & Lawson, D. 1990 Effects of androgen withdrawal on the stem cell composition of the Shionogi carcinoma. Cancer Res. 50, 2275–2282. Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4911
Caianiello, E. R. 1961 Outline of a theory of thought-processes and thinking machines. J. Theor. Biol. 2, 204–235. (doi:10.1016/0022-5193(61)90046-7) Cao, H. & Ibarz, B. 2010 Hybrid discrete-time neural networks. Phil. Trans. R. Soc. A 368, 5071– 5086. (doi:10.1098/rsta.2010.0171) Casti, J. 1997 Computing the uncomputable. New Sci. 2082, 30–33. Chen, L. & Aihara, K. 2001 Stability and bifurcation analysis of differential-difference-algebraic equations. IEEE Trans. Circuits Syst. I Fundam. Theory Appl. 48, 308–326. (doi:10.1109/ 81.915387) Chen, L., Wang, R., Kobayashi, T. J. & Aihara, K. 2004 Dynamics of gene regulatory networks with cell division cycle. Phys. Rev. E 70, 011909. (doi:10.1103/PhysRevE.70.011909) Chen, L., Wang, R., Li, C. & Aihara, K. 2010 Modeling biomolecular networks in cells: structures and dynamics. Berlin, Germany: Springer. (doi:10.1007/978-1-84996-214-8) Chua, L., Komuro, M. & Matsumoto, T. 1986 The double scroll family, parts I and II. IEEE Trans. Circuits Syst. 33, 1072–1118. (doi:10.1109/TCS.1986.1085869) Dai, L. 2008 Nonlinear dynamics of piecewise constant systems and implementation of piecewise constant arguments. Singapore: World Scientific Publishing. (doi:10.1142/ 9789812818515) Deane, J. H. B. 2006 Piecewise isometries: applications in engineering. Meccanica 41, 241–252. (doi:10.1007/s11012-005-5895-3) Deutsch, D. 1985 Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. A 400, 97–117. (doi:10.1098/rspa.1985.0070) di Bernardo, M. & Hogan, S. J. 2010 Discontinuity-induced bifurcations of piecewise smooth dynamical systems. Phil. Trans. R. Soc. A 368, 4915–4935. (doi:10.1098/rsta.2010.0198) di Bernardo, M., Budd, C. J., Champneys, A. R. & Kowalczyk, P. 2008 Piecewise-smooth dynamical systems: theory and applications. Berlin, Germany: Springer. Feigenbaum, M. 1978 Quantitative universality for a class of nonlinear transformations. J. Stat. Phys. 19, 25–52. (doi:10.1007/BF01020332) Filippov, A. F. 1988 Differential equations with discontinuous righthand sides. Mathematics and its Applications, no. 18. Dordrecht, The Netherlands: Kluwer. Fujii, H., Ito, H., Aihara, K., Ichinose, N. & Tsukada, M. 1996 Dynamical cell assembly hypothesis—theoretical possibility of spatio-temporal coding in the cortex. Neural Netw. 9, 1303–1350. (doi:10.1016/S0893-6080 (96)00054-8) Goebel, R., Sanfelice, R. G. & Teel, A. 2009 Hybrid dynamical systems. IEEE Control Syst. Mag. 29, 28–93. (doi:10.1109/MCS.2008.931718) Goetz, A. 2000 Dynamics of piecewise isometries. Illinois J. Math. 44, 465–478. Gray, R. 1987 Oversampled sigma-delta modulation. IEEE Trans. Commun. 35, 481–489. (doi:10.1109/TCOM.1987.1096814) Guckenheimer, J. & Johnson, S. 1995 Planar hybrid systems. In Hybrid systems II (eds P. Antsaklis, W. Kohn, A. Nerode & S. Sastry). Lecture Notes in Computer Science, no. 999, pp. 202–225. Berlin, Germany: Springer-Verlag. Guo, Q., Tao, Y. & Aihara, K. 2008 Mathematical modelling of prostate tumor growth under intermittent androgen suppression with partial differential equations. Int. J. Bifurc. Chaos 18, 3789–3797. (doi:10.1142/S0218127408022743) Haddad, W. M., Chellaboina, V. & Nersesov, S. G. 2006 Impulsive and hybrid dynamical systems: stability, dissipativity, and control. Princeton, NJ: Princeton University Press. Hamada, T., Horio, Y. & Aihara, K. 2007 Experimental observations from an integrated hysteresis two-port VCCS chaotic oscillator. In Proc. of IEEE Int. Workshop on Nonlinear Dynamics of Electronic Systems, Tokushima, Japan, 2007, pp. 237–240. Hata, M. 1982 Dynamics of Caianiello’s equation. J. Math. Kyoto Univ. 22, 155–173. Hata, M. 1998 Chaos in a neuron model. In Lecture notes on chaos, vol. 6 (eds M. Yamaguti & K. Aihara). Tokyo, Japan: Asakura. [In Japanese.] Heemels, W. P. M. H., De Schutter, B., Lunze, J. & Lazar, M. 2010 Stability analysis and controller synthesis for hybrid dynamical systems. Phil. Trans. R. Soc. A 368, 4937–4960. (doi:10.1098/rsta.2010.0187) Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4912
K. Aihara and H. Suzuki
Hirata, Y., Bruchovsky, N. & Aihara, K. 2010 Development of a mathematical model that predicts the outcome of hormone therapy for prostate cancer. J. Theor. Biol. 264, 517–527. (doi:10.1016/j.jtbi.2010.02.027) Hodgkin, A. L. & Huxley, A. F. 1952 A quantitative description of membrane current and its application to conduction and excitation in nerve. J. Physiol. 117, 500–544. Horio, Y. & Aihara, K. 2008 Analog computation through high-dimensional physical chaotic neurodynamics. Physica D 237, 1215–1225. (doi:10.1016/j.physd.2008.01.030) Ideta, A. M., Tanaka, G., Takeuchi, T. & Aihara, K. 2008 A mathematical model of intermittent androgen suppression for prostate cancer. J. Nonlinear Sci. 18, 593–614. (doi:10.1007/s00332008-9031-0) Imura, J. & Azuma, S. 2007 Control of hybrid systems. I. Introduction. Syst. Control Inform. 51, 230–237. [In Japanese.] Imura, J., Kashima, K., Kusano, M., Ikeda, T. & Morohoshi, T. 2010 Piecewise affine systems approach to control of biological networks. Phil. Trans. R. Soc. A 368, 4977–4993. (doi:10.1098/rsta.2010.0176) Inose, H., Yasuda, Y. & Murakami, J. 1962 A telemetering system by code modulation—D– S modulation. IRE Trans. Space Electron. Telemetr. 8, 204–209. (doi:10.1109/IRET-SET. 1962.5008839) Izhikevich, E. M. 2007 Dynamical systems in neuroscience: the geometry of excitability and bursting. Cambridge, MA: The MIT Press. Izhikevich, E. M. 2010 Hybrid spiking models. Phil. Trans. R. Soc. A 368, 5061–5070. (doi:10.1098/rsta.2010.0130) Jensen, M. H., Bak, P. & Bohr, T. 1983 Complete devil’s staircase, fractal dimension, and universality of mode-locking structure in the circle map. Phys. Rev. Lett. 50, 1637–1639. (doi:10.1103/PhysRevLett.50.1637) Kalman, R. E. 1956 Nonlinear aspects of sampled-data control systems. In Proc. Symp. on Nonlinear Circuit Analysis VI, New York, NY, 25–27 April 1956 (ed. J. Fox), vol. VI, pp. 273–313. Kolata, G. B. 1977 Catastrophe theory: the emperor has no clothes. Science 196, 287. (doi:10.1126/ science.196.4287.287) Leine, R. I. & Nijmeijer, H. (eds) 2004 Dynamics and bifurcations of non-smooth mechanical systems. Lecture Notes in Applied and Computational Mechanics, no. 236. Berlin, Germany: Springer. Leonov, G., Nijmeijer, H., Pogromsky, A. & Fradkov, A. (eds) 2010 Dynamics and control of hybrid mechanical systems. World Scientific Series on Nonlinear Science, Series B, no. 14. Singapore: World Scientific Publishing. Li, T.-Y. & Yorke, J. A. 1975 Period three implies chaos. Am. Math. Mon. 82, 985–992. (doi:10.2307/2318254) Liu, Z.-Q. & Miyamoto, S. (eds) 2000 Soft computing and human–centered machines. Tokyo, Japan: Springer. Lunze, J. & Lamnabhi-Lagarrigue, F. (eds) 2009 Handbook of hybrid systems control: theory, tools, applications. Cambridge, UK: Cambridge University Press. Matsumoto, G., Aihara, K., Hanyu, Y., Takahashi, N., Yoshizawa, S. & Nagumo, J. 1987 Chaos and phase locking in normal squid axons. Phys. Lett. A 123, 162–166. (doi:10.1016/ 0375-9601(87)90696-7) Matveev, A. S. & Savkin, A. V. 2000 Qualitative theory of hybrid dynamical systems. Boston, MA: Birkhaeuser. May, R. M. 1976 Simple mathematical models with very complicated dynamics. Nature 261, 459– 467. (doi:10.1038/261459a0) McCulloch, W. & Pitts, W. 1943 A logical calculus of the ideas immanent in neural nets. Bull. Math. Biophy. 5, 115–133. (doi:10.1007/BF02478259) Mees, A., Aihara, K., Adachi, M., Judd, K., Ikeguchi, T. & Matsumoto, G. 1992 Deterministic prediction and chaos in squid axon response. Phys. Lett. A 169, 41–45. (doi:10.1016/ 0375-9601(92)90802-S) Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
Introduction
4913
Michel, A. N., Hou, L. & Liu, D. 2008 Stability of dynamical systems: continuous, discontinuous, and discrete systems. Boston, MA: Birkhauser Boston/Berlin, Germany: Springer. Moore, C. 1990 Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64, 2354–2357. (doi:10.1103/PhysRevLett.64.2354) Moore, C. 1991 Generalized shifts: unpredictability and undecidability in dynamical systems. Nonlinearity 4, 199. (doi:10.1088/0951-7715/4/2/002) Moore, C. 1996 Recursion theory on the reals and continuous-time computation. Theor. Comput. Sci. 162, 23–44. (doi:10.1016/0304-3975(95)00248-0) Nagumo, J. & Sato, S. 1972 On a response characteristics of a mathematical neuron model. Kybernetik 10, 155–164. (doi:10.1007/BF00290514) Osborne, J. M. et al. 2010 A hybrid approach to multi-scale modelling of cancer. Phil. Trans. R. Soc. A 368, 5013–5028. (doi:10.1098/rsta.2010.0173) Ott, E., Grebogi, C. & Yorke, J. A. 1990 Controlling chaos. Phys. Rev. Lett. 64, 1196–1199. (doi:10.1103/PhysRevLett.64.1196) Perkins, T. J., Wilds, R. & Glass, L. 2010 Robust dynamics in minimal hybrid models of genetic networks. Phil. Trans. R. Soc. A 368, 4961–4975. (doi:10.1098/rsta.2010.0139) Pontryagin, L. S., Boltyanskii, V. G., Gamkrelidze, R. V. & Mishchenko, E. F. 1962 Mathematical theory of optimal processes. New York, NY: John Wiley. [Authorized translation from Russian by K.N. Trirogoff.] Proctor, J., Kukillaya, R. P. & Holmes, P. 2010 A phase-reduced neuro-mechanical model for insect locomotion: feed-forward stability and proprioceptive feedback. Phil. Trans. R. Soc. A 368, 5087–5104. (doi:10.1098/rsta.2010.0134) Sato, Y., Toyoizumi, T. & Aihara, K. 2007 Bayesian inference explains perception of unity and ventriloquism aftereffect: identification of common sources of audiovisual stimuli. Neural Comput. 19, 3335–3355. (doi:10.1162/neco.2007.19.12.3335) Sauer, T., Yorke, J. A. & Casdagli, M. 1991 Embedology. J. Stat. Phys. 65, 579–616. (doi:10.1007/ BF01053745) Savkin, A. V. & Evans, R. J. 2002 Hybrid dynamical systems: controller and sensor switching problems. Boston, MA: Birkhauser. Scheffer, M. et al. 2009 Early-warning signals for critical transitions. Nature 461, 53–59. (doi:10.1038/nature08227) Shimada, T. & Aihara, K. 2008 A nonlinear model with competition between prostate tumor cells and its application to intermittent androgen suppression therapy of prostate cancer. Math. Biosci. 214, 134–139. (doi:10.1016/j.mbs.2008.03.001) Siegelmann, H. T. 1999 Neural networks and analog computation: beyond the Turing limit. Boston, MA: Birkhauser. Singh, A. & Hespanha, J. P. 2010 Stochastic hybrid systems for studying biochemical processes. Phil. Trans. R. Soc. A 368, 4995–5011. (doi:10.1098/rsta.2010.0211) Sobhani-Tehrani, E. & Khorasani, K. 2009 Fault diagnosis of nonlinear systems using a hybrid approach. Lecture Notes in Control and Information Sciences, no. 383. Berlin, Germany: Springer. (doi:10.1007/978-0-387-92907-1) Stark, J. 1999 Takens embedding theorems for forced and stochastic systems. J. Nonlinear Sci. 9, 255–332. (doi:10.1007/s003329900072) Suzuki, H. & Aihara, K. 2005 Digital control of a water tank system with hysteresis. In Proc. 2005 Int. Symp. on Nonlinear Theory and its Applications, Bruges, Belgium, 2005, pp. 78–81. Suzuki, H. & Aihara, K. 2008 Universality in mathematical modeling: a comment on ‘Surprising dynamics from a simple model’. Math. Mag. 81, 291–294. Suzuki, H., Aihara, K. & Okamoto, T. 2004 Complex behaviour of a simple partial-discharge model. Europhys. Lett. 66, 28–34. (doi:10.1209/epl/i2003-10151-x) Suzuki, H., Ito, S. & Aihara, K. 2005 Double rotations. Discrete Contin. Dyn. Syst. 13, 515–532. (doi:10.3934/dcds.2005.13.515) Suzuki, T., Bruchovsky, N. & Aihara, K. 2010 Piecewise affine systems modelling for optimizing hormone therapy of prostate cancer. Phil. Trans. R. Soc. A 368, 5045–5059. (doi:10.1098/rsta.2010.0220) Phil. Trans. R. Soc. A (2010)
Downloaded from http://rsta.royalsocietypublishing.org/ on January 20, 2018
4914
K. Aihara and H. Suzuki
Takens, F. 1984 On the numerical determination of the dimension of an attractor. In Dynamical systems and bifurcations (eds B. Braaksma, H. Broer & F. Takens). Lecture Notes in Mathematics, no. 1125, pp. 90–106. Berlin, Germany: Springer-Verlag. Tanaka, G., Tsumoto, K., Tsuji, S. & Aihara, K. 2008 Bifurcation analysis on a hybrid systems model of intermittent hormonal therapy for prostate cancer. Physica D 237, 2616–2627. (doi:10.1016/j.physd.2008.03.044) Tanaka, G., Hirata, Y., Goldenberg, S. L., Bruchovsky, N. & Aihara, K. 2010 Mathematical modelling of prostate cancer growth and its application to hormone therapy. Phil. Trans. R. Soc. A 368, 5029–5044. (doi:10.1098/rsta.2010.0221) Tao, Y., Guo, Q. & Aihara, K. 2009 A model at the macroscopic scale of prostate tumor growth under intermittent androgen suppression. Math. Models Methods Appl. Sci. 19, 2177–2201. (doi:10.1142/S021820250900408X) Thom, R. 1975 Structural stability and morphogenesis; an outline of a general theory of models. Translated from the French, as updated by the author, by D. H. Fowler, with a foreword by C. H. Waddington. Reading, MA: W. A. Benjamin (original edition, Paris, 1972). Tse, C. K. 2003 Complex behavior of switching power converter. Boca Raton, FL: CRC Press. (doi:10.1201/9780203494554) Tsuda, I. 1981 Self-similarity in the Belousov–Zhabotinsky reaction. Phys. Lett. 85A, 4–8. (doi:10.1016/0375-9601(81)90624-1) van der Schaft, A. J. & Schumacher, H. 2000 An introduction to hybrid dynamical systems. Lecture Notes in Control and Information Sciences, no. 251. London, UK: Springer-Verlag. Welling, M. 2009 Herding dynamical weights to learn. In Proc. 26th Int. Conf. Machine Learning (ICML 2009), Montreal, Canada, 2009, pp. 1121–1128. Wiercigroch, M. & de Kraker, B. (eds) 2000 Applied nonlinear dynamics and chaos of mechanical systems with discontinuities. World Scientific Series on Nonlinear Science, Series A, no. 28. Singapore: World Scientific Publishing. Witsenhausen, H. S. 1966 A class of hybrid-state continuous-time dynamic systems. IEEE Trans. Autom. Control 11, 161–167. (doi:10.1109/TAC.1966.1098336) Wolfram, S. 2002 A new kind of science. Champaign, IL: Wolfram Media. Ye, H., Michel, A. N. & Hou, L. 1998 Stability theory for hybrid dynamical systems. IEEE Trans. Autom. Control 43, 461–474. (doi:10.1109/9.664149) Zadeh, L. A. 1996 The role of soft computing and fuzzy logic in the conception, design and development of intelligent systems. In Proc. Int. Workshop on Soft Computing in Industry’96, Muroran, Hokkaido, Japan, 27–28 April 1996, pp. 136–137. Zahler, R. S. & Sussmann, H. J. 1977 Claims and accomplishments of applied catastrophe theory. Nature 269, 759–763. (doi:10.1038/269759a0) Zavalishchin, S. T. & Sesekin, A. N. 2007 Dynamic impulse systems. Dordrecht, The Netherlands: Kluwer Academic Publishers. Zhusubaliyev, Z. T. & Mosekilde, E. 2003 Bifurcations and chaos in piecewise-smooth dynamical systems. World Scientific Series on Nonlinear Science, Series A, no. 44. Singapore: World Scientific Publishing.
Phil. Trans. R. Soc. A (2010)