Stateflow の状態遷移表

State Transition Table ブロックは、順序モーダルロジック用の有限ステートマシンを表形式で表現します。ステートと遷移を Stateflow^® チャートで描画する代わりに、状態遷移表を使用して、グラフィカルオブジェクトのメンテナンスが必要最小限で済む簡潔でコンパクトな形式でステートマシンをモデル化できます。

状態遷移表で制御ロジックを実装するには、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 ライブラリを選択します。
状態遷移表をモデルにドラッグします。

状態遷移表の構造

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

Diagram of state transition table highlighting state column, transition column, condition cell, condition action cell, and destination state cell.

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

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

状態遷移表を使用したボイラーのモデル化

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

State transition table with two top-level states called Normal and Alarm. Normal has three substates called Off, Warmup, and On.

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

Stateflow chart with two top-level states called Normal and Alarm. Normal has three substates called Off, Warmup, and On.

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

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

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

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

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

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

状態遷移表のプロパティは、状態遷移表が Simulink モデルとどのように連動するかを指定します。これらのプロパティは、[プロパティインスペクター]、モデルエクスプローラー、または [状態遷移表] プロパティダイアログボックスで変更できます。

[プロパティインスペクター] を使用するには、次を行います。

[モデル化] タブの [データの設計] で、[プロパティインスペクター] を選択します。
Stateflow エディターで、状態遷移表をクリックします。
[プロパティインスペクター] で、状態遷移表のプロパティを編集します。

モデルエクスプローラーを使用するには、次を行います。

[モデル化] タブの [データの設計] で、[モデルエクスプローラー] を選択します。
[モデルの階層構造] ペインで、状態遷移表を選択します。
[ダイアログ] ペインで、状態遷移表のプロパティを編集します。

[状態遷移表] プロパティダイアログボックスを使用するには、次を行います。

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

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

ヒント

状態遷移表のプロパティは、Stateflow チャートのプロパティのサブセットです。各プロパティの詳細は、「Stateflow チャートのプロパティの指定」を参照してください。

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

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