有限ステートマシンのモデル化

Stateflow^® は、"有限ステートマシン" に基づくグラフィカルなプログラミング環境です。Stateflow を使用して設計のテストとデバッグを行い、さまざまなシミュレーションシナリオを検討し、ステートマシンからコードを生成することができます。

有限ステートマシンは、1 つの動作モード (ステート) から別のモードへと遷移する動的システムを表現したものです。ステートマシンには次の特徴があります。

複雑なソフトウェア設計プロセスにおける高水準の開始点として機能する。
動作モードと、1 つのモードから次のモードへの移行に必要な条件に注目できる。
モデルの複雑度が増しても明確さと簡潔さが維持されるようなモデルの設計に役立つ。

制御システムの設計は、複雑なロジックを管理するためのステートマシンに大きく依存します。用途には、航空機、自動車、およびロボティクスの制御システムの設計が含まれます。

Stateflow チャートの例

Stateflow チャートでは、ステート、遷移、およびデータを組み合わせて有限ステートマシンを実装します。この Stateflow チャートは、自動車の 4 速オートマチックトランスミッションシステムのギアをシフトするロジックの簡易モデルを示しています。チャートでは、ギアの各ポジションが first、second、third、fourth というラベルの付いた四角形で示されるステートによって表されます。これらのステートは、それぞれが表すギアと同様に排他的なので、一度に 1 つのステートのみがアクティブになります。

Stateflow chart with states labeled first, second, third, and fourth. The chart transitions between the states when the speed is higher or lower than a specified amount.

図の左側の矢印はデフォルト遷移を表し、最初にアクティブになるステートを示しています。チャートを実行すると、キャンバスでこのステートが強調表示されます。他の矢印はステート間で可能な遷移を示しています。ステートマシンのダイナミクスを定義するには、それぞれの遷移を論理条件またはトリガーイベントに関連付けます。たとえば、このチャートは自動車の速度を監視して、速度がある固定のしきい値を横切ると別のギアにシフトします。シミュレーション中、異なるステートがアクティブになるとチャートの強調表示が変わります。

Chart animation showing states and transitions activating.

このチャートは、エンジンスピードやトルクなどの重要な要因を無視したシンプルな設計を提供します。この Stateflow チャートを、MATLAB^® や Simulink^® 内の他のコンポーネントとリンクすることにより、さらに包括的で現実的なモデルを作成できます。次の例で、可能な 2 つの手法を説明します。

ローカルイベントを使用して Simulink ブロックとしてチャートをシミュレート

この例では次を使用します。

モデルを開く

この例では、より複雑なオートマチックトランスミッションシステムの設計を示します。Stateflow チャートは、Simulink モデル内でブロックとして表示されます。モデル内の他のブロックは、関連する自動車のコンポーネントを表します。チャートは、入出力の接続を使ってデータを共有することにより、他のブロックと連動します。チャートを開くには、shift_logic ブロックの左下隅にある矢印をクリックします。

このチャートはステートの階層、パラレル化、アクティブステートデータ、ローカルイベント、および時相論理を組み合わせたものです。

階層: ステート gear_state には、4 速オートマチックトランスミッションチャートの修正バージョンが含まれています。ステート selection_state には、定常状態、アップシフト、およびダウンシフトの各動作モードを表すサブステートが含まれています。ハイギアまたはローギアへのシフトが必要な状況では、これらのステートがアクティブになります。
パラレル化: パラレルステートである gear_state と selection_state は、破線の境界をもつ四角形として表示されます。これらのステートは、その中にあるサブステートのオンとオフが切り替わっても、同時に動作します。
アクティブステートデータ: 出力値 gear にはシミュレーション時のギアの選択が反映されます。チャートは gear_state のアクティブなサブステートからこの値を生成します。
ローカルイベント: このチャートは、論理式条件の代わりにローカルイベント UP および DOWN を使用してギア間の遷移をトリガーします。これらのイベントは、自動車の速度が選択されたギアの動作範囲外になったときに、selection_state 内の send コマンドから発生します。Simulink 関数 calc_th は、選択されたギアとエンジンの速度に基づいて動作範囲の境界値を決定します。
時相論理: 短時間の連続ギアチェンジを避けるために、selection_state は、時相論理演算子 after を使用して、UP イベントと DOWN イベントのブロードキャストを遅延させます。ギアチェンジに所定時間 TWAIT よりも長い時間が必要な場合にのみ、ステートはこれらのうちいずれかのイベントをブロードキャストします。

モデルのシミュレーションを実行するには、次を行います。

User Inputs ブロックをダブルクリックします。Signal Editor ダイアログボックスの [アクティブなシナリオ] リストで、事前定義されたブレーキ対スロットルのプロファイルを選択します。既定のプロファイルは Passing Maneuver です。
[実行] をクリックします。Stateflow エディターでは、チャートアニメーションによって、シミュレーション中にアクティブステートが強調表示されます。アニメーション速度を遅くするには、[デバッグ] タブで、[アニメーション速度] ドロップダウンリストから Slow を選択します。
Scope ブロックで、シミュレーションの結果を確認します。各スコープには、シミュレーション中にその入力信号のグラフが表示されます。

時間条件を使用して Simulink ブロックとしてチャートをシミュレート

この例では次を使用します。

モデルを開く

この例では、自動車のトランスミッションシステムをモデル化する別の方法を示します。Stateflow チャートは、Simulink モデル内でブロックとして表示されます。モデル内の他のブロックは、関連する自動車のコンポーネントを表します。チャートは、入出力の接続を使ってデータを共有することにより、他のブロックと連動します。チャートを開くには、Gear_logic ブロックの左下隅にある矢印をクリックします。

このチャートはステートの階層、アクティブステートデータ、および時相論理を組み合わせたものです。

階層: このモデルでは、4 速オートマチックトランスミッションチャートをスーパーステート gear 内に配置します。スーパーステートは車両とエンジンの速度を監視してギアチェンジをトリガーします。ステート gear の左上隅にリストされているアクションは、選択されたギアの動作しきい値と、論理条件 up および down の値を決定します。ラベル en,du は、ステートがはじめてアクティブになるとき (en = entry) と、それ以降ステートがアクティブな間 (du = during) の各タイムステップでステートアクションが実行されることを示します。
アクティブステートデータ: 出力値 gear にはシミュレーション時のギアの選択が反映されます。チャートは gear のアクティブなサブステートからこの値を生成します。
時相論理: 短時間の連続ギアチェンジを避けるために、論理条件 up および down は、時相論理演算子 duration を使用してギア間の遷移を制御します。条件は、自動車の速度が、選択されているギアの動作範囲外である時間が所定時間 TWAIT (秒単位で測定) よりも長くなったときに有効になります。

モデルのシミュレーションを実行するには、次を行います。

User Inputs ブロックをダブルクリックします。Signal Editor ダイアログボックスの [アクティブなシナリオ] リストで、事前定義されたブレーキ対スロットルのプロファイルを選択します。既定のプロファイルは Passing Maneuver です。
[実行] をクリックします。Stateflow エディターでは、チャートアニメーションによって、シミュレーション中にアクティブステートが強調表示されます。アニメーション速度を遅くするには、[デバッグ] タブで、[アニメーション速度] ドロップダウンリストから Slow を選択します。
Scope ブロックで、シミュレーションの結果を確認します。シミュレーション中に、選択されたギアのグラフがスコープに表示されます。

以降の手順

Stateflow チャートの詳細については、チュートリアルの以下の手順に従ってください。