Page-1
State, Act.Region.154
Sheet.2
Sheet.3
Sheet.4
State, Act.Region.177
Sheet.6
Sheet.7
Sheet.8
State, Act.Region.38
Sheet.45
Sheet.46
Sheet.47
ACTIVE
ACTIVE
State, Act.Region.42
Sheet.49
Sheet.50
Sheet.51
INACTIVE
INACTIVE
State, Act.Region.46
Sheet.53
Sheet.54
Sheet.55
PRE_IDLE
PRE_IDLE
State, Act.Region.58
Sheet.57
Sheet.58
Sheet.59
IDLE
IDLE
State, Act.Region.66
Sheet.61
Sheet.62
Sheet.63
WAITING_FOR_NETWORK
WAITING_FOR_NETWORK
State, Act.Region.71
Sheet.65
Sheet.66
Sheet.67
IDLE_MAINTENANCE
IDLE_MAINTENANCE
State, Act.Region.75
Sheet.69
Sheet.70
Sheet.71
OVERRIDE
OVERRIDE
Pseudo- state
Sheet.73
Sheet.74
Sheet.75
H
Diagram, Frame
Sheet.81
Sheet.82
[guard]
Sheet.83
[guard]
Sheet.84
[guard]
Sheet.85
[guard]
Sheet.86
[guard]
Sheet.87
[guard]
Sheet.88
[guard]
Sheet.89
[guard]
Sheet.90
Light Doze
Light Doze
Transition, Edge.118
screen off && charger unplugged
Straight Edge.28
N
Straight Edge.29
N
screen off &&charger unplugged
Transition, Edge.121
screen on || charger plugged || next FLAG_WAKE_FROM_IDLE alar...
Straight Edge.28
N
Straight Edge.29
N
screen on ||charger plugged ||next FLAG_WAKE_FROM_IDLE alarm < min_time_to_alarm
Transition, Edge.128
light_after_inactive_to timeout && some ops pending
Straight Edge.28
N
Straight Edge.29
N
light_after_inactive_to timeout && some ops pending
Transition, Edge.117
max( min_light_maintenance_time, between( light_idle_maintena...
Straight Edge.28
N
Straight Edge.29
N
max( min_light_maintenance_time, between( light_idle_maintenance_min_budget, light_idle_maintenance_max_budget ) ) timeout
Transition, Edge.120
light_after_inactive_to timeout && no op pending
Straight Edge.28
N
Straight Edge.29
N
light_after_inactive_to timeout &&no op pending
Transition, Edge.123
light_pre_idle_to timeout
Straight Edge.28
N
Straight Edge.29
N
light_pre_idle_to timeout
Transition, Edge.126
min( light_idle_to *= light_idle_factor, light_max_idle_to ) ...
Straight Edge.28
N
Straight Edge.29
N
min( light_idle_to *= light_idle_factor, light_max_idle_to ) timeout &&network available
Transition, Edge.129
network available
Straight Edge.28
N
Straight Edge.29
N
network available
Transition, Edge.132
min( light_idle_to *= light_idle_factor, light_max_idle_to ) ...
Straight Edge.28
N
Straight Edge.29
N
min( light_idle_to *= light_idle_factor, light_max_idle_to ) timeout &&network not available
Transition, Edge.184
override_light_doze
Straight Edge.28
N
Straight Edge.29
N
override_light_doze
Transition, Edge.193
motion detected (MotionSensor)
Straight Edge.28
N
Straight Edge.29
N
motion detected (MotionSensor)