Stateflow for Logic Driven System Modeling

Prerequisites

MATLAB Fundamentals and Simulink for System and Algorithm Modeling. Knowledge of C programming is helpful.

View details

Day 1 of 2
Modeling Flow Graphs

Objective: Implement decision flows with flow graphs.

  • Junctions and transitions
  • Flow graph behavior
  • Stateflow interface
  • Conditions and condition actions
  • Chart data
  • Common patterns
Modeling State Machines

Objective: Implement state machines with state diagrams.

  • State machine behavior
  • State and transition actions
  • Chart initialization
  • Action execution order
  • Flow graphs within states
Hierarchical State Machines

Objective: Implement hierarchical diagrams to improve the clarity of state machine designs.

  • Superstates and substates
  • State data
  • History junction
  • Transition priority
  • Action execution order
Parallel State Charts

Objective: Implement parallel states to model multiprocessing designs.

  • Benefits of parallel states
  • Chart/state decomposition
  • Parallel state data
  • Parallel state behavior
Day 2 of 2
Using Events in State Charts

Objective: Use events within a Stateflow chart to affect chart execution.

  • Using events in state charts
  • Broadcasting events
  • Behavior of state charts that contain events
  • Implicit events
  • Temporal logic operators
Calling Functions from State Charts

Objective: Create functions in a Stateflow chart out of Simulink blocks, MATLAB code, and flow graphs.

  • Types of functions available
  • Simulink functions
  • MATLAB functions
  • Graphical functions
Truth Tables and State Transition Tables

Objective: Create flow graphs and state charts in table form.

  • Truth tables
  • Conditions, decisions, and actions
  • State transition tables
  • States, transitions, and actions
Design Considerations in Stateflow

Objective: Reuse Stateflow designs, constrain chart semantics, and interact with structured Simulink data.

  • Mealy and Moore charts
  • Data types
  • Bus signals
  • Atomic subcharts
  • Data mapping
  • Chart reuse