States and transitions in Simulink - Practice Problems & Coding Challenges

Challenge - 5 Problems

🧠 Conceptual

intermediate

Understanding State Activation in Simulink Stateflow

In a Simulink Stateflow chart, what happens when a state is activated?

A The state waits for an external event before executing any actions.

B The state immediately transitions to the next state without executing any actions.

C The state is skipped and no actions are executed until the chart resets.

D The state's entry actions execute and the state becomes the current active state.

💡 Hint

Think about what happens when you enter a room and start doing what the room is for.

When a state is activated in Stateflow, its entry actions run and it becomes the current active state until a transition occurs.

❓ Predict Output

intermediate

Output of a Transition Condition in Stateflow

Given the following transition condition in a Stateflow chart: [x > 5], what is the output when x = 7?

Simulink

x = 7; condition = (x > 5);

A True

B False

C Error: Invalid condition syntax

D Undefined

💡 Hint

Check if 7 is greater than 5.

The condition x > 5 evaluates to true when x is 7.

❓ data_output

advanced

Number of Active States in Parallel States

In a Stateflow chart with two parallel states, each having two substates, how many states are active simultaneously when both parallel states are active?

A 2

B 1

C 4

D 3

💡 Hint

Parallel states and their active substates are all active.

In parallel (AND) decomposition, both parallel states are active simultaneously. Each activates one substate (OR decomposition within each), so two parallel states + two substates = 4 active states.

🔧 Debug

advanced

Identifying Transition Priority Issue

Consider a Stateflow chart with two transitions from the same state: one with condition [x > 10] and another with [x > 5]. If x = 12, which transition will execute and why?

A The transition with <code>[x &gt; 5]</code> executes because it has a simpler condition.

B The transition with <code>[x &gt; 10]</code> executes because it has higher priority due to being listed first.

C Both transitions execute simultaneously causing an error.

D No transition executes because conditions conflict.

💡 Hint

Check the order of transitions and their conditions.

Stateflow evaluates transitions in order; the first true condition transition executes, so the one with [x > 10] runs.

🚀 Application

expert

Designing a Stateflow Chart for Traffic Light Control

You need to design a Stateflow chart to control a traffic light with states: Red, Green, and Yellow. The light should cycle in this order with fixed durations: Red (5s), Green (4s), Yellow (1s). Which approach correctly models the timing and transitions?

A Use states with entry actions to start timers and transitions triggered by timer expiration events.

B Use transitions triggered by external button presses to change states.

C Use parallel states for each color and transition randomly between them.

D Use a single state with internal logic to change colors without transitions.

💡 Hint

Think about how to model timed events in Stateflow.

Using entry actions to start timers and transitions triggered by timer expiration models the fixed durations and order correctly.

Practice

1. In Simulink Stateflow, what does a state represent?

easy

A. A mathematical operation

B. A graphical icon only

C. A data storage variable

D. A mode or condition of the system

Solution

1. Step 1: Understand the role of states in Stateflow

   States represent different modes or conditions that a system can be in during execution.

2. Step 2: Differentiate states from other elements

   States are not variables or operations; they define behavior and system modes.

3. Final Answer:

   A mode or condition of the system -> Option D

4. Quick Check:

   State = system mode [OK]

Hint: States = system modes or conditions [OK]

Common Mistakes:

• Confusing states with variables
• Thinking states are just icons
• Mixing states with mathematical operations

2. Which of the following is the correct syntax to define a transition condition in Simulink Stateflow?

easy

A. state1 => state2 (condition)

B. state1 -> state2 {condition}

C. state1 --> state2 [condition]

D. state1 -- state2 [condition]

Solution

1. Step 1: Recall Stateflow transition syntax

   Transitions use the arrow --> followed by a condition in square brackets.

2. Step 2: Match syntax options

   state1 --> state2 [condition] uses --> and square brackets correctly, others use incorrect symbols or brackets.

3. Final Answer:

   state1 --> state2 [condition] -> Option C

4. Quick Check:

   Transition syntax = --> [condition] [OK]

Hint: Transitions use --> with [condition] brackets [OK]

Common Mistakes:

• Using wrong arrow symbols
• Using curly or round brackets instead of square
• Omitting the condition brackets

3. Given this Stateflow snippet:

state A
  entry: x = 0;
  during: x = x + 1;
end

transition from A to B [x >= 3]

What is the value of x when the system transitions from state A to B?

medium

A. 3

B. 4

C. 2

D. 0

Solution

1. Step 1: Analyze state A behavior

   On entry, x is set to 0. During state A, x increments by 1 each cycle.

2. Step 2: Determine when transition triggers

   Transition triggers when x >= 3. So after 3 increments, x equals 3 and transition occurs.

3. Final Answer:

   3 -> Option A

4. Quick Check:

   Transition at x >= 3 means x = 3 [OK]

Hint: Transition triggers when condition first becomes true [OK]

Common Mistakes:

• Counting increments before entry action
• Assuming transition triggers at x > 3 instead of >= 3
• Forgetting initial value of x

4. Identify the error in this transition definition:

state A
end
state B
end

A --> B (x > 5)

medium

A. Missing condition brackets [] around (x > 5)

B. Incorrect arrow symbol used

C. States must have entry actions

D. Transition must be inside state definitions

Solution

1. Step 1: Check transition condition syntax

   Transition conditions must be enclosed in square brackets [], not parentheses ().

2. Step 2: Verify other syntax elements

   The arrow --> is correct, states can be empty, and transitions are defined outside states.

3. Final Answer:

   Missing condition brackets [] around (x > 5) -> Option A

4. Quick Check:

   Conditions use [] not () [OK]

Hint: Use [] for conditions, not () [OK]

Common Mistakes:

• Using parentheses instead of square brackets
• Thinking arrow is wrong
• Believing states must have actions

5. You want to model a traffic light system with states Red, Green, and Yellow. The system should transition from Green to Yellow only if a timer reaches 60 seconds. Which transition condition correctly models this?

hard

A. Green --> Yellow [timer > 60]

B. Green --> Yellow [timer == 60]

C. Green --> Yellow [timer < 60]

D. Green --> Yellow [timer != 60]

Solution

1. Step 1: Understand the timing condition

   The transition should happen exactly when the timer reaches 60 seconds, so the condition must check equality.

2. Step 2: Evaluate options

   Green --> Yellow [timer == 60] uses timer == 60, which triggers transition at 60 seconds. Others check greater, less, or not equal, which do not match the requirement.

3. Final Answer:

   Green --> Yellow [timer == 60] -> Option B

4. Quick Check:

   Exact timer match triggers transition [OK]

Hint: Use == for exact timer match in transitions [OK]

Common Mistakes:

• Using > or < instead of ==
• Using != which triggers at wrong times
• Forgetting square brackets around condition