Abstract
This paper investigates the drive-response synchronization problem of Takagi–Sugeno fuzzy hidden Markov jump complex dynamical networks. More precisely, a novel asynchronous synchronization control strategy is developed for coping with mismatched hidden jumping modes. Furthermore, the neural network is adopted with online learning laws for unknown function approximation. By taking advantage of Lyapunov method, sufficient conditions are established to ensure mean-square synchronization performance with disturbances. Based on the synchronization criterion, asynchronous controller gains are designed in terms of linear matrix inequalities. An illustrative example is finally given to validate the effectiveness of the proposed synchronization techniques.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Complex dynamical networks (CDNs) have been receiving more and more research attention during the past decade owing to their theoretical importance and wide applications. Well-known and typical practical implementations of CDNs can be found as communication networks, social networks, biological networks and so on [1,2,3,4]. By local interconnection via certain information exchanges, CDNs can exhibit topological and complex characteristics [5, 6]. Specifically, an interesting topic is the synchronization phenomenon among numbers of dynamical nodes, where collaborative behaviors can be achieved simultaneously [7,8,9]. Since investigations on synchronization phenomena can provide insights into understanding inherent features of CDNs, many remarkable synchronization control methodologies have been developed in the literature [10,11,12]. Furthermore, it has been found that dynamics of CDNs would change with jumping features, which can be described by Markov jump models. As a result, growing research efforts have been paid to Markov jump CDNs [13,14,15]. Meanwhile, it is always impractical for precise and immediate observation of true transition rates in practical applications. For hidden Markov jump systems, the mode information is more difficult to obtain. In order to overcome the resulting deficiency of mode mismatches, the asynchronous strategies have been effectively developed and serval successful initial attempts have been made for asynchronous analysis and synthesis of hidden Markov jump systems [16,17,18,19,20]. The key idea is to utilize the observed mode information instead of true mode information to deal with control performance degradation by mismatched modes. Unfortunately, there still remain some margins for further concerns on hidden Markov jump CDNs, where dynamical nodes described by hidden Markov processes should be taken into account. This is our first motivation to shorten such a gap.
On the other hand, a significant challenge lies in the fact that exact parameters of CDNs are often difficult to acquire in real-world applications, such that only uncertain parameters can be utilized with limited prior knowledge. Fortunately, several intelligent methods have been developed against parameter uncertainties or unknown functions, which include neural network learning, fuzzy modeling and other adaptive approximating approaches [21,22,23,24]. Generally speaking, these techniques can well utilize system input and output data for training, such that exhaustive representations of true values can be obtained to a satisfied extent. In particular, neural networks (NNs) have been widely applied in neural network-based control designs and distinguishing advantages can be achieved by nonlinear mapping, parallel computation and learning capacity with high accuracy [25,26,27]. For synchronization of CDNs with uncertainties or unknown nonlinearities, it is reasonable and effective to employ NNs to cope with parameter variations. Meanwhile, it should be pointed out that Takagi–Sugeno (T–S) fuzzy models can efficiently describe complex systems and they are closely integrated with complexity and synchronicity of CDNs in practice [28,29,30]. Under this context, many research results on T–S fuzzy CDNs have been reported [31,32,33]. Nevertheless, to the authors’ best knowledge, there are few results on T–S fuzzy hidden Markov jump CDNs despite its academic significance and potential applications, which further motivates us for this study.
Inspired by aforementioned discussions, this paper aims at solving the synchronization problem of T–S fuzzy hidden Markov jump CDNs within drive–response framework. Compared with most existing works, the main novelties of our paper can be listed as follows:
-
1)
Based on observed system mode information, a new asynchronous mode-dependent synchronization strategy for T–S fuzzy hidden Markov jump CDNs is proposed by utilizing the mismatched mode information between drive and response CDNs with unknown nonlinear functions.
-
2)
A NN based online learning law is also integrated with synchronization controller design, such that true values of unknown nonlinear function can be estimated with desired approximation while synchronization is achieved.
-
3)
A novel mode-dependent Lyapunov functional is constructed to ensure the asymptotical convergence of synchronization error in the mean-square sense and the corresponding \(H_{\infty }\) synchronization performance conditions are provided.
The outline of this paper is arranged by the following parts: in “Problem formulation and preliminaries”, necessary preliminaries on T–S hidden Markov jump CDNs is introduced and the asynchronous synchronization is descried. “Main analysis and synthesis results” derives synchronization controller design procedure in details. In “Numerical example”, a simulation example is performed to verify the correctness of our developed approach. “Conclusions” concludes the paper with future research perspectives.
\(\mathbf {Notation}\): \({\mathbb {R}}^{n}\) stands for n-Euclidean space. Matrix \(P \succ 0\) means that P is positive definite, tr(P) represents the trace of P and * represents the ellipsis parts in symmetric block matrices. \((\varOmega ,\digamma ,{\mathbb {P}})\) corresponds a probability space. \({\mathcal {E}}\) denotes mathematical expectation. All matrices are supposed to be with compatible dimensions.
Problem formulation and preliminaries
Fuzzy hidden Markov jump complex networks
Consider the hidden Markov jump CDNs described by following IF-THEN rules:
Rule \(k(k=1,2,\ldots r)\):
IF \(\vartheta _{1}(t)\) is \({\mathcal {F}}_{1}^{k}\) and \(\vartheta _{2}(t)\) is \( {\mathcal {F}}_{2}^{k}\) and...and \(\vartheta _{g}(t)\) is \({\mathcal {F}}_{r}^{k}\),
THEN
where \(l=1,2,\ldots ,N,\) \(x_{l}(t)=[x_{l1}(t),x_{l2}(t),\ldots ,x_{ln}(t)]^{T} \in {\mathbb {R}}^{n}\) represents lth node’ state, \( f(x_{l}(t)):{\mathbb {R}}\times {\mathbb {R}}^{n}\rightarrow {\mathbb {R}}^{n}\) is a unknown nonlinear function, \(\varGamma \in {\mathbb {R}}^{n\times n}\) denotes inner coupling matrix and \(C=(c_{lm})_{N\times N}\in {\mathbb {R}}^{N\times N}\) corresponds outer coupling matrix describing network topology with
\(\sigma _{t}\) denotes a continuous-time discrete-state Markov process in \((\varOmega ,\digamma ,{\mathbb {P}})\) with transition probability matrix \(\varPi =(\pi _{ij})_{{\mathcal {N}}\times \mathcal {N }}\), \(\forall i,j\in {\mathcal {S}}=\{1,\ldots ,{\mathcal {N}}\}\) with
Moreover, \(A(\sigma _{t})\) denotes a known weight matrix for certain \(\sigma _{t}\).
Consequently, by applying centroid strategy for defuzzification, one has
where \(\vartheta _{1}(t),\vartheta _{2}(t),\ldots ,\vartheta _{r}(t)\) represents premise variables, r stands for number of IF-THEN rules, \( {\mathcal {F}}_{j}^{k}\left( \vartheta _{j}\left( t\right) \right) \) denotes the membership value of \(\vartheta _{j}(t)\) and \(h_{k}\left( \vartheta (t)\right) \) satisfies
with
NN learning-based synchronization controller
Since \(f(x_{l}(t))\) is unknown, a dynamical NN is applied for reconstruction approximation nonlinear function. For \(f(x_{l}(t))\), it holds that
where \(\varepsilon \) denotes the approximate error, \(W^{*}\) represents optimal weight that minimizes \(\varepsilon \) and is defined by
Furthermore, denote estimation of \(W^{*}\) as \({\hat{W}}(t)\) and refer (1) as drive CDN. Then, the corresponding response CDN can be given as
where \(y_{l}(t)\in {\mathbb {R}}^{n}\) represents response state, \(d_{l}(t)\in {\mathbb {R}}^{n}\) is external disturbance and \(u_{l}(t)\in {\mathbb {R}}^{n}\) denotes synchronization controller.
Then, the synchronization error \(e_{l}(t)=y_{l}(t)-x_{l}(t),l=1,2, \ldots ,N\) is defined under drive–response context and it follows that
where \({\tilde{W}}(t)={\hat{W}}(t)-W^{*}\) and \(\varDelta _{l}(t)=d_{l}(t)-\varepsilon .\) Hence, the drive–response synchronization is said to be reached, if \(e_{l}(t)\) can be mean-square asymptotically stable, i.e.,.
Remark 1
Note that the NN learning law can be applied online during the synchronization procedure, which is applicable for unknown function approximations with desired accuracy.
As a result, in order to achieve synchronization, mode-dependent synchronization controller with asynchronous features is designed as follows:
Rule \(k(k=1,2,\ldots r)\):
IF \(\vartheta _{1}(t)\) is \({\mathcal {F}}_{1}^{k}\) and \(\vartheta _{2}(t)\) is \( {\mathcal {F}}_{2}^{k}\) and...and \(\vartheta _{g}(t)\) is \({\mathcal {F}}_{g}^{k}\),
THEN
where \(K^{k}(\delta _{t})\) represents feedback controller gain to be determined and \(\delta _{t}\in \digamma =\{1,\ldots ,F\}\) denotes another stochastic process with following conditional probability:
Remark 2
It is noted that since true mode information is always difficult to acquire, the stochastic observed mode information is utilized instead of true mode information for the synchronization controller design in practical applications.
Based on parallel distributed compensation, the resulting synchronization error dynamics can be deduced by
which can be further formulated as follows:
where
Remark 3
In this work, the asynchronous control strategy with conditional probability is adopted for hidden Markov process observations and is more applicable than non-homogenous process modeling.
Control objective
Before proceeding further, the following definition and lemma are introduced for later use:
Definition 1
The \(H_{\infty }\) synchronization is said to be achieved in mean-square sense if under zero initial states there exist matrix \(\varOmega \succ 0\) and a constant \(\gamma >0\) such that
Lemma 1
[34] Given real matrices \({\mathcal {A}}\), \({\mathcal {B}}\), \({\mathcal {C}}\), \({\mathcal {X}}\) , \({\mathcal {W}}_{1}\), \({\mathcal {W}}_{2}\) with appropriate dimensions, if there exists a matrix \({\mathcal {P}} \succ 0\) satisfies that
then there exist a matrix \({\mathcal {Z}}\succ 0\) and a positive scalar \(\mu >0\) such that
Our purpose is to design mode-dependent \(K^{p}(\delta _{t})\) with appropriative NN learning laws, such that synchronization error e(t) can achieve mean-square converge and the \(H_{\infty }\) synchronization performance can be satisfied accordingly.
Main analysis and synthesis results
In this section, main synchronization results will be established and the synchronization controller gains will be designed accordingly.
Theorem 1
With given matrix \(\varOmega \) and parameter \(\gamma \), the drive–response synchronization can be achieved with designed controller gain \(K^{p}(\rho )\), \(\rho \in {\mathcal {F}}\), \(p=1,2,\ldots r\), if there exist mode-dependent matrices \( P(i)\succ 0\), \(i\in {\mathcal {S}}\) and parameter \(\mu >0\), such that \(\varXi _{k,k}(i) \prec 0\) and \(\varXi _{k,p}(i)+\varXi _{p,k}(i) \prec 0\) holds for \(k,p=1,2,\ldots r\), \(k<p\), where
Furthermore, the online NN learning law is updated by
Proof
Denote \(\sigma (t)\) and \(\delta (t)\) by i, \(\rho \) indexes, and construct the following Lyapunov function:
Afterwards, define infinitesimal operator \({\mathcal {L}}\) for V(t, i) as follows:
Then, it can be derived that
Furthermore, the following matrix inequality holds:
Moreover, by considering the fact that
one has
Consequently, when applying the NN learning law with
it can hold that
by
Then, by Schur complement, one has \(\sum _{k=1}^{r}h_{k}\left( \vartheta (t)\right) \sum _{p=1}^{r} h_{p}\left( \vartheta (t)\right) \varXi _{k,p}(i)<0\) can ensure that \({\mathcal {L}}V(t,i)<-e^{T}(t)\varOmega e(t)+\gamma ^{2}\varDelta (t)\varDelta (t).\)
Thus, one can obtain that
which means that \(H_{\infty }\) synchronization can be achieved according to Definition 1 and, therefore, completes the proof. \(\square \)
Remark 4
The above established criteria are in the form of strict linear matrix inequalities, which can be conveniently solved by mathematical softwares. The computational complexity is related to system modes and fuzzy rules, which implies that when i or p increases, the computational complexity for solving the optimization would increase accordingly.
Remark 5
It is noteworthy that the developed synchronization conditions can be solved by linear matrix inequality method and the following theorem is established for controller calculations.
Theorem 2
With given matrix \(\varOmega \) and parameter \(\gamma \), the drive–response synchronization can be achieved, if there exist mode-dependent matrices \( P(i)\succ 0\), \({\tilde{K}}^{p}(\rho )\), \(i\in {\mathcal {S}}, \rho \in {\mathcal {F}}\), matrix Z and parameter \(\mu >0\), such that \({\tilde{\varXi }} _{k,k}(i)\prec 0\) and \({\tilde{\varXi }}_{k,p}(i)+{\tilde{\varXi }}_{p,k}(i)\prec 0\) holds for \( k,p=1,2,\ldots r\), \(k<p\), where
and the controller gain can be designed by \(K^{p}(\rho )=Z^{-1}{\tilde{K}} ^{p}(\rho )\), \(\rho \in {\mathcal {F}}\), \(p=1,2,\ldots r\). Furthermore, the online NN learning law is updated by
Proof
By denoting \({\tilde{K}}^{p}(\rho )=ZK^{p}(\rho )\) and employing Lemma 1, the proof can follow directly from Theorem 1. \(\square \)
Remark 6
It is noticed that the optimized minimization value of synchronization performance \(\gamma \) can be further obtained by solving the following optimization problem:
Numerical example
In this section, the effectiveness of the proposed design method is verified via performed simulation results.
Consider two hidden Markov jump CDNs (1) and (2) (\(N=3\)) described by following T–S fuzzy model:
where
and \(f(x_{l}(t))=\left[ 0,(x_{l1}^{2}(t))\right] ^{T} .\) Moreover, the transition rates are supposed to be
and
With given matrix \(\varOmega =I\) and parameters \(\gamma =10\), \(\mu =2\), the corresponding controller gains can be obtained by solving the conditions in Theorem 2 as follows:
In the simulation, the parameter of NN is set by
and the external disturbances are assumed to be \(d(t)=0.1\sin (t).\) With random initial values \(x_{l1}(t),x_{l2}(t)\in [0,5]\) and \( y_{l1}(t)=y_{l2}(t)=[0,0]^{T}\), Figs. 1, 2 and 3 depict the controlled synchronization errors while Fig. 4 shows the system jumping modes. It can be seen that synchronization errors can be well converged by the designed synchronization controller despite of the controller and system mode mismatches. Figure 5 gives the NN learning errors for \(f(x_{l}(t))\), which implies that the developed NN can adaptively approximate the unknown nonlinear dynamics of CDNs with online learning laws. Therefore, it can be observed that our developed synchronization controllers with NN learning strategy can well achieve the drive–response synchronization with desired disturbance attenuation.
Conclusions
This paper is concerned with the synchronization issue of fuzzy hidden Markov jump CDNs under drive–response context. By considering the asynchronous controller modes and unknown function, a novel learning synchronization strategy is proposed where NN is utilized to estimate the unknown function. Sufficient synchronization conditions are first derived by stochastic analysis. The NN learning law and mode-dependent controller gains are further designed accordingly. Simulation results are provided such that the usefulness of our theoretical approach is demonstrated. In our future research, one interesting extension direction would be the cases with type 2 fuzzy modeled complex networks which have more general modeling ability for complex fuzzy systems with more robustness.
References
Boguna M, Krioukov D, Claffy KC (2009) Navigability of complex networks. Nat Phys 5(1):74
Strogatz SH (2001) Exploring complex networks. Nature 410(6825):268
Xia Y, Hill DJ (2008) Attack vulnerability of complex communication networks. IEEE Trans Circuits Syst II Express Briefs 55(1):65
Alm E, Arkin AP (2003) Biological networks. Curr Opin Struct Biol 13(2):193
Liu YY, Slotine JJ, Barabási AL (2011) Controllability of complex networks. Nature 473(7346):167
Yu W, DeLellis P, Chen G, Di Bernardo M, Kurths J (2012) Distributed adaptive control of synchronization in complex networks. IEEE Trans Autom Control 57(8):2153
Arenas A, Díaz-Guilera A, Kurths J, Moreno Y, Zhou C (2008) Synchronization in complex networks. Phys Rep 469(3):93
Wang XF (2002) Complex networks: topology, dynamics and synchronization. Int J Bifurcation Chaos 12(05):885
Dörfler F, Bullo F (2014) Synchronization in complex networks of phase oscillators: a survey. Automatica 50(6):1539
De Lellis P, di Bernardo M, Garofalo F (2008) Synchronization of complex networks through local adaptive coupling. Chaos Interdiscip J Nonlinear Sci 18(3):037110
Liang J, Wang Z, Liu Y, Liu X (2008) Global synchronization control of general delayed discrete-time networks with stochastic coupling and disturbances. IEEE Trans Syst Man Cybern Part B (Cybern) 38(4):1073
Jin XZ, Yang GH (2014) Robust synchronization control for complex networks with disturbed sampling couplings. Commun Nonlinear Sci Numer Simul 19(6):1985
Gómez S, Arenas A, Borge-Holthoefer J, Meloni S, Moreno Y (2010) Discrete-time Markov chain approach to contact-based disease spreading in complex networks. EPL (Europhys Lett) 89(3):38009
Shen H, Park JH, Wu ZG, Zhang Z (2015) Finite-time H\(_{\infty }\) synchronization for complex networks with semi-Markov jump topology. Commun Nonlinear Sci Numer Simul 24(1–3):40
Pan L, Cao J, Hu J (2015) Synchronization for complex networks with Markov switching via matrix measure approach. Appl Math Model 39(18):5636
Cheng J, Ahn CK, Karimi HR, Cao J, Qi W (2018) An event-based asynchronous approach to Markov jump systems with hidden mode detections and missing measurements. IEEE Trans Syst Man Cybern Syst 49(9):1749
Wu ZG, Shi P, Shu Z, Su H, Lu R (2016) Passivity-based asynchronous control for Markov jump systems. IEEE Trans Autom Control 62(4):2020
Dong S, Wu ZG, Shi P, Su H, Huang T (2018) Quantized control of Markov jump nonlinear systems based on fuzzy hidden Markov model. IEEE Trans Cybern 49(7):2420
Dong S, Wu ZG, Pan YJ, Su H, Liu Y (2018) Hidden-Markov-model-based asynchronous filter design of nonlinear Markov jump systems in continuous-time domain. IEEE Trans Cybern 49(6):2294
Zhang M, Shen C, Wu ZG (2019) Asynchronous observer-based control for exponential stabilization of Markov jump systems. IEEE Trans Circ Syst II Express Briefs 67(10):2039
Limanond S, Si J (1998) Neural network-based control design: an LMI approach. IEEE Trans Neural Netw 9(6):1422
Vadakkepat P, Miin OC, Peng X, Lee TH (2004) Fuzzy behavior-based control of mobile robots. IEEE Trans Fuzzy Syst 12(4):559
Patino HD, Liu D (2000) Neural network-based model reference adaptive control system. IEEE Trans Syst Man Cybern Part B (Cybern) 30(1):198
Castillo O, Melin P (2003) Intelligent adaptive model-based control of robotic dynamic systems with a hybrid fuzzy-neural approach. Appl Soft Comput 3(4):363
Selmic RR, Lewis FL (2002) Neural-network approximation of piecewise continuous functions: application to friction compensation. IEEE Trans Neural Netw 13(3):745
Yang Y, Yan Y (2016) Neural network approximation-based nonsingular terminal sliding mode control for trajectory tracking of robotic airships. Aerosp Sci Technol 54:192
Kiumarsi B, Lewis FL, Levine DS (2015) Optimal control of nonlinear discrete time-varying systems using a new neural network approximation structure. Neurocomputing 156:157
Fang CH, Liu YS, Kau SW, Hong L, Lee CH (2006) A new LMI-based approach to relaxed quadratic stabilization of TS fuzzy control systems. IEEE Trans Fuzzy Syst 14(3):386
Cao YY, Frank PM (2000) Analysis and synthesis of nonlinear time-delay systems via fuzzy control approach. IEEE Trans Fuzzy Syst 8(2):200
Zhang M, Shen C, Wu ZG, Zhang D (2019) Dissipative filtering for switched fuzzy systems with missing measurements. IEEE Trans Cybern 50(5):1931
Yang X, Ho DW, Lu J, Song Q (2015) Finite-time cluster synchronization of T-S fuzzy complex networks with discontinuous subsystems and random coupling delays. IEEE Trans Fuzzy Syst 23(6):2302
Yang X, Yang Z (2014) Synchronization of T-S fuzzy complex dynamical networks with time-varying impulsive delays and stochastic effects. Fuzzy Sets Syst 235:25
Huang C, Ho DW, Lu J, Kurths J (2014) Pinning synchronization in T-S fuzzy complex networks with partial and discrete-time couplings. IEEE Trans Fuzzy Syst 23(4):1274
Xu Z, Su H, Shi P, Wu ZG (2019) Asynchronous H\(_{\infty }\) control of semi-Markov jump linear systems. Appl Math Comput 349:270
Acknowledgements
The authors are grateful to the editor and reviewers for their valuable suggestions which improved this article.
Funding
This work was supported by the National Natural Science Foundation of China under Grant 61703038, 61627808.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ma, C., Hao, L. & Fu, H. Neural network based asynchronous synchronization for fuzzy hidden Markov jump complex dynamical networks. Complex Intell. Syst. 8, 1941–1948 (2022). https://doi.org/10.1007/s40747-021-00370-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40747-021-00370-5