チャートまたはステートに入る- MATLAB和Sim金宝appulink MathWorks日本

チャートまたはステートに入る

チャートとステートの条目は次の場合に発生します。

チャートがはじめてアクティブになる場合。これは,チャートの初期化と呼ばれます。
ステートへの有効な遷移が存在する場合。遷移の評価を参照してください。

チャートまたはステートに入るためのワークフロー

次のフローチャートは,Stateflow^®がチャートまたはステートに入るために行われるイベントの進行を示しています。このフローチャートでは,現在のステートが,決定またはプロセスの実行されているステートを参照します。

チャート条目

Stateflowチャートがはじめてアクティブになることを初期化と呼びます。チャートの初期化が発生すると,チャートに入り,Stateflowが排他的(或)ステートのデフォルト遷移をすべて実行します。チャートの最上位のステートがパラレル(和)である場合,それらは順序番号に基づいてアクティブになります。

チャートで時間t = 0の前にいずれかのデフォルト遷移を実行するには,[チャートプロパティ]ダイアログボックスで(初期化時に指定されたチャートを実行(入力))チェックボックスをオンにします。このオプションを使用すると、金宝app模拟^®の初期化と同時にStateflowチャートが初期化されます。その後,モデルの初期化フェーズでチャートのデフォルト遷移のパスが実行されます。

ステート条目

ステートが条目対象としてマークされている場合は,ステートの条目アクションが実行されます。チャートがアクティブになり初期化が済むと,最上位ステートがアクティブになります。ステートは,以下のいずれかの方法で条目対象としてマークされます。

入力遷移がステートの境界線に交差する。
入力遷移がステートの境界線で終了する。
ステートがアクティブステートのパラレルステートの子である。

条目アクション

条目アクションの前には接頭辞条目または在(省略形)が追加され,その後に必須のコロン(：1)、さらにつ以上のアクションが続きます。複数のアクションを区切るには,キャリッジリターン,セミコロン(；),またはコンマ(，)を使用します。ステートメントに対しステートアクションタイプを明示的に指定しない場合、チャートではそのステートメントを条目，在アクションとして扱います。

Stateflowチャートに入る

この例では,チャートがはじめてアクティブになるときにチャートの初期化が発生します。

チャートがスリープするまでチャートまたはステートに入るためのワークフローに従うと,チャート初期化のステップは次のような順序になります。

デフォルト遷移のアクションが実行され,x = 0、y = 0、z = 0になります。
StateAが条目対象としてマークされます。
StateAは非アクティブな親のサブステートではありません。StateAに対して条目アクションを実行します。ここでx = 1になります。
StateAは,最初に条目対象としてマークされたステートです。
StateAにはヒストリジャンクションが含まれません。
サブステートStateA1へのデフォルト遷移があります。遷移の評価のフローチャートに移動します。
遷移の評価のフローチャートに従い,StateA1を条目対象としてマークします。退出アクションのフローチャートに移動します。
現在のステートStateAは,遷移先ステートStateA1のスーパーステートです。条目アクションのフローチャートに戻ります。
StateA1は非アクティブな親のサブステートではありません。StateA1に対して条目アクションを実行します。ここでx = 3になります。
StateA1は,最初に条目対象としてマークされたステートです。
StateA1にはヒストリジャンクションが含まれません。
StateA1にはデフォルト遷移が含まれません。
StateA1にはサブステートがひとつも含まれません。
チャートはスリープします。

ステップ1 ~ 14は初期のタイムステップで発生します。これでチャートの初期化プロセスが完了します。

ヒストリジャンクションを使用してステートに入る

Stateflowチャートで,デフォルト遷移に関係なく,以前にアクティブだったサブステートを記憶してそこに戻るには,ヒストリジャンクションを使用します。ヒストリジャンクションをステート内に配置すると,排他的(或)サブステートに通じるデフォルト遷移がオーバーライドされます。ヒストリジャンクションをステート内に配置した後は,条目に際してStateflowチャートは以前にアクティブだったサブステートを記憶しており,そこに入ることになります。ヒストリジャンクションは,配置された階層のレベルに対してのみ適用されます。

この例では,ライトはオンかオフのどちらかとなります。これらのオプションは,ステートPower_onおよびPower_offによって示されます。オプションは入力イベントswitch_onおよびswitch_offによって制御されます。ライトがオンの場合,これはほの暗いか明るいかのいずれかになります。これらのオプションは,ステート低および高によって示され,入力イベントswitch_lowおよびswitch_highによって制御されます。

最初は,チャートはスリープ状態です。ステートPower_offがアクティブです。ステートPower_onが前回アクティブであったとき,その際アクティブだったサブステートは高でした。イベントswitch_onが発生して,ステートPower_onが条目対象としてマークされます。この時点でp = 0です。

チャートがスリープするまでチャートまたはステートに入るためのワークフローに従うと,ステートPower_onに入るための実行ステップは次のような順序になります。

Power_onは非アクティブな親の子ではありません。
Power_onに対する条目アクションはありません。
Power_onは,最初に条目対象としてマークされたステートです。
Power_onにはヒストリジャンクションがあります。
高は,前にアクティブだったサブステートです。ここでp = 2になります。
高にはヒストリジャンクションが含まれません。
高にはデフォルト遷移が含まれません。
高にはサブステートがひとつも含まれません。
チャートはスリープします。

これでPower_onおよび高に対する条目アクションが完了します。

スーパートランジションを使用してステートに入る

スーパートランジションは、チャート内の異なるレベル間での遷移です。スーパートランジションが行われるのは、最上位のチャート内のステートといずれかのサブチャート内のステートの間か、チャート内の同一のレベルまたは異なるレベルで、別のサブチャートに属するステートの間です。チャート内の任意数のレベルにまたがるスーパートランジションを作成できます。

スーパートランジションを通じてステートに入る場合,最終的な遷移先への条目アクションを実行する前に,そのスーパーステートをアクティブとしてマークし,そこへの条目アクションを実行しなければなりません。この例では,StateB1がStateA2からの条目対象としてマークされています。この時点で,x = 5、y = 5、z = 1です。