ドキュメンテーション

このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

サポートされているステート マシン

Classic チャート、Mealy チャート、および Moore チャートを作成する

イベント ドリブン システムをモデル化するには、有限ステート マシンを使用します。Mealy チャートを使用すると、現在の入力と現在のステートの関数を出力とする有限ステート マシンをモデル化できます。Moore チャートは、出力が現在のステートにのみ依存する有限ステート マシンをモデル化します。

ブロック

Chart有限ステート マシンで制御ロジックを実装

関数

sfnew空の Stateflow ブロックを含むモデルを作成する

トピック

有限ステート マシンの概念

有限ステート マシンの具体的な内容と、Stateflow® チャートとの関連性について説明します。

Mealy マシンと Moore マシンの概要

Mealy マシンと Moore マシンの基本的なセマンティクスについて説明します。

Mealy チャートと Moore チャートの作成

Mealy チャートと Moore チャートを作成するワークフローについて説明する。

チャートのプロパティの指定

チャートのプロパティを指定する方法について説明します。チャートの Simulink® モデルのインターフェイス部分は、チャートのプロパティを指定する際に設定されます。

Stateflow オブジェクトの階層

Stateflow オブジェクトの包含階層について説明します。

Mealy チャートを設計する際の注意事項

チャートに Mealy のセマンティクスを実装するベスト プラクティスについて説明します。

Moore チャートを設計する際の注意事項

チャートに Moore のセマンティクスを実装するベスト プラクティスについて説明します。

チャート タイプの変更の影響

チャート タイプを変更するタイミングについてのガイドラインを示す。

Stateflow ブロックの更新方法の設定

Simulink モデルで各種 Stateflow インターフェイスを実装するには、チャートの更新方法を設定する必要があります。この節では、チャートの更新方法の各設定について説明します。

Mealy のセマンティクスを使用した自動販売機のモデル化

Moore マシンのセマンティクスを使用して信号機コントローラーを設計する。

Moore のセマンティクスを使用した信号機のモデル化

Moore マシンのセマンティクスを使用して信号機コントローラーを設計する。

Mealy チャートと Moore チャートのデバッグ

Mealy チャートと Moore チャートのデバッグを支援する診断メッセージについて説明する。

注目の例