Stateflow の状態遷移表

状態遷移表は、順序モーダルロジックを表現する際の代替方法です。ステートと遷移を Stateflow^® チャートでグラフィカルに描画する代わりに、状態遷移表を使用してモーダルロジックを表形式で表現します。状態遷移表は、Simulink^® モデル内のブロックとしてのみサポートされています。

状態遷移表を使用する利点は次のとおりです。

モーダルロジックでステートがその隣接するステートに順次遷移していくトレイン状のステートマシンのモデル化が簡単になります。
ステートマシンが簡潔でコンパクトな形式になります。
グラフィカルオブジェクトのメンテナンスが軽減されます。
チャートでステートの追加や削除を行う場合は、ステート、遷移およびジャンクションを再配置しなければなりません。これに対し、状態遷移表でステートの追加や削除を行う場合は、グラフィカルオブジェクトを再配置する必要はありません。

状態遷移表では、MATLAB^® および C の両方をアクション言語として使用することがサポートされています。これらのアクション言語の違いの詳細については、アクション言語構文としての MATLAB と C の相違点を参照してください。

状態遷移表の作成

MATLAB コマンドプロンプトで、次のように入力します。

新しい Simulink モデル内で State Transition Table を作成するには、次を入力します。
```
sfnew -STT
```
新しい State Transition Table を既存のモデルに追加するには、関数 add_block (Simulink) を使用します。以下に例を示します。
```
add_block("sflib/State Transition Table", ...
   "myModel/State Transition Table")
```

Simulink ライブラリブラウザーから、次の操作を実行します。

Stateflow ライブラリを選択します。
状態遷移表をモデルにドラッグします。

状態遷移表の構造

状態遷移表には、以下のコンポーネントが含まれています。

各遷移列には、次のステート間の遷移情報が含まれています。

条件
条件アクション
遷移先のステート

ステート遷移チャートの使用によるボイラーのモデル化

次の状態遷移表には、ボイラーの温度を 2 つの指定値の間に維持するモーダルロジックが含まれています。

次の Stateflow チャートは同じモーダルロジックを表現しています。

状態遷移表とチャートの違い

状態遷移表では、Stateflow チャートで最も一般的に使用される要素のサブセットがサポートされています。状態遷移表でサポートされていない要素には、次のものがあります。

スーパートランジション
パラレル (AND) 構造
ローカルイベント
フローチャート
チャートレベル関数 (グラフィカル、真理値表、MATLAB および Simulink) の使用

状態遷移表を使用する場合のガイドライン

遷移セルでアクションを指定する場合は、条件アクションを使用しなければなりません。
状態遷移表は、少なくとも 1 つのステート行と、1 つの遷移列をもたなければなりません。

状態遷移表のプロパティの指定

[状態遷移表] プロパティダイアログボックスを開くには、[モデル化] タブで [テーブルプロパティ] をクリックします。

状態遷移表のプロパティは、MATLAB をアクション言語として使用するチャートのプロパティと同じです。各プロパティの詳細は、「Stateflow チャートのプロパティの指定」を参照してください。

状態遷移表のプロパティは、Stateflow.StateTransitionTableChart オブジェクトを使用してプログラムで指定することもできます。Stateflow プログラムインターフェイスの詳細については、Stateflow API の概要を参照してください。

状態遷移表から状態遷移図の生成

Stateflow ソフトウェアでは、作成した状態遷移表から読み取り専用の状態遷移図が自動的に生成されます。状態遷移表に対して変更を入力すると、Stateflow によって状態遷移図もインクリメンタルに更新されます。基となる状態遷移図の最新バージョンを表示するには、[デバッグ] タブで [自動チャートの表示] をクリックします。

参考

State Transition Table