[論文レビュー] Nonlinear Observer Design and Synchronization Analysis for Classical Models of Neural Oscillators

Ranjeetha Bharath, Slotine, Jean-Jacques|arXiv (Cornell University)|Oct 1, 2013

stochastic dynamics and bifurcation参考文献 14被引用数 5

ひとこと要約

本稿では、非線形コントラクション理論を用いて、膜電位を測定変数として用いることで、全状態または部分状態推定を可能にし、同期化を達成する非線形観測器設計および同期化解析フレームワークを、Hodgkin-Huxley、Fitzhugh-Nagumo、Morris-Lecar、Hindmarsh-Roseの4つの古典的神経オシレーター・モデルに対して提案する。理論的収束性および安定性保証が、Fitzhugh-NagumoおよびHodgkin-Huxleyモデルを含む主要な系において示された。

ABSTRACT

This work explores four nonlinear classical models of neural oscillators, the Hodgkin-Huxley model, the Fitzhugh-Nagumo model, the Morris-Lecar model, and the Hindmarsh-Rose model. Nonlinear contraction theory is used to develop observers and perform synchronization analysis on these systems. Neural oscillation and signaling models are based on the biological function of the neuron, with behavior mediated through the channeling of ions across the cell membrane. The variable assumed to be measured is the membrane potential, which may be obtained empirically through the use of a neuronal force-clamp system, or may be transmitted through the axon to other neurons. All other variables are estimated by using partial state or full state observers. Basic observer rate convergence analysis is performed for the Fitzhugh Nagumo system, partial state observer design is performed for the Morris-Lecar system, and basic synchronization analysis is performed for both the Fitzhugh-Nagumo and the Hodgkin-Huxley systems.

研究の動機と目的

• 膜電位のみが直接測定可能な古典的神経オシレーター・モデルにおける、強固な状態推定技術の開発。
• 非線形コントラクション理論を応用し、推定状態が真の状態に素早くかつ安定して収束する観測器の設計。
• コントラクションに基づく手法を用いて、結合神経オシレーター系における同期化行動の解析。
• 特に、測定可能な変数が限られたMorris-Lecarモデルに対して、部分状態推定への観測器設計の拡張。
• 生体物理学的に現実的な神経モデル、例えばHodgkin-Huxleyモデルにおける、観測器ベース同期化の理論的収束性および安定性保証の提供。

提案手法

• 神経オシレーター系における全状態および部分状態観測器の設計に、非線形コントラクション理論を適用する。
• 膜電位を唯一の測定出力として用い、イオンチャネル動態および他の変数は観測器設計により推定する。
• コントラクション解析を用いて、観測器フレームワーク下で状態推定誤差が指数関数的にゼロに収束することを証明する。
• 同期化解析には、コントラクションに基づくリャプノフ関数を用い、結合オシレーターの動的ロックを安定に保証する。
• 収束性および安定性の証明を通じて、Fitzhugh-NagumoおよびHodgkin-Huxleyモデルに対して、解析的に妥当性を検証する。
• 部分状態測定を用いたMorris-Lecarモデルに適応した観測器設計を行い、コントラクション理論に基づく収束解析を実施する。

実験結果

リサーチクエスチョン

• RQ1 限られた測定可能な状態を有する古典的神経オシレーター・モデルに対して、非線形コントラクション理論を効果的に応用して観測器を設計できるか？
• RQ2 神経系において膜電位のみが測定可能な場合、状態観測器の収束特性はいかなるものか？
• RQ3 コントラクション理論を用いて、結合神経オシレーター間の同期化をどのように解析し、保証できるか？
• RQ4 イオンチャネルゲーティング変数などの測定不能な変数を推定する部分状態観測器の役割は何か？
• RQ5 生体物理学的に詳細なモデル、例えばHodgkin-Huxleyモデルにおける、観測器ベース同期化の理論的安定性および収束保証を確立できるか？

主な発見

• Fitzhugh-Nagumoモデルに対して、全状態観測器が成功裏に設計され、推定誤差が指数関数的にゼロに収束することを理論的に証明した。
• Morris-Lecarモデルに対しては、部分状態観測器が開発され、コントラクション理論を用いた解析により収束性が確立された。
• 結合Fitzhugh-Nagumo系間の同期化が、コントラクションに基づく解析により証明され、動的ロックの安定性が保証された。
• Hodgkin-Huxleyモデルについても、同じコントラクション理論的フレームワークを用いて同期化が解析され、安定性および収束特性が示された。
• 本手法は、全状態測定を必要としない神経オシレーターにおける、体系的かつ理論的根拠に基づいた状態推定および同期化のアプローチを提供する。
• 理論的結果により、観測器ベースの推定および同期化が、4つの古典的モデルすべてにおいて、コントラクションフレームワーク下で実現可能かつ安定であることが確認された。