Hybrid automaton とは

オートマトン理論では、ハイブリッドオートマトン(ハイブリッドオートマトンまたはハイブリッドオートマトン)は、デジタル計算プロセスがアナログ物理プロセスと相互作用するシステムを正確に記述するための数学モデルです。ハイブリッドオートマトンは、一連の常微分方程式によって値が記述される、有限の連続変数を持つ有限状態機械である。この離散動作と連続動作の組み合わせ仕様により、デジタルコンポーネントとアナログコンポーネントの両方を含む動的システムをモデル化して分析することができます。