. 2020 Apr 29;20(9):2513. doi: 10.3390/s20092513

Table 2.

List of the transitions and the conditions to update $d_{p}^{s_{N + 1}}$ and $d_{p}^{s_{N + 2}}$ , where these sensor feature values will represent the ENTER_HOME and LEAVE_HOME activities.

Transition	Condition	Update
T1	$b_{p}^{s} \geq h_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 0 \land d_{p - 1}^{s_{N + 2}} = 0$	$d_{p}^{s_{N + 1}} = 0$
T1		$d_{p}^{s_{N + 2}} = 0$
T2	$b_{p}^{s} \geq h_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 0 \land d_{p - 1}^{s_{N + 2}} = 2 ψ_{s}$	$d_{p}^{s_{N + 1}} = 0$
T2		$d_{p}^{s_{N + 2}} = 0$
T3	$h_{p}^{s} \geq b_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 0 \land d_{p - 1}^{s_{N + 2}} = 0$	$d_{p}^{s_{N + 1}} = 0$
T3		$d_{p}^{s_{N + 2}} = 2 ψ_{s}$
T4	$h_{p}^{s} \geq b_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 0 \land d_{p - 1}^{s_{N + 2}} = 2 ψ_{s}$	$d_{p}^{s_{N + 1}} = 0$
T4		$d_{p}^{s_{N + 2}} = 2 ψ_{s}$
T5	$b_{p}^{s} \geq h_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 0 \land d_{p - 1}^{s_{N + 2}} = 2 ψ_{s}$	$d_{p}^{s_{N + 1}} = 2 ψ_{s}$
T5		$d_{p}^{s_{N + 2}} = 0$
T6	$h_{p}^{s} \geq b_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 2 ψ_{s} \land d_{p - 1}^{s_{N + 2}} = 0$	$d_{p}^{s_{N + 1}} = 0$
T6		$d_{p}^{s_{N + 2}} = 2 ψ_{s}$
T7	$b_{p}^{s} \geq h_{p}^{s} \land d_{p - 1}^{s_{N + 1}} = 2 ψ_{s} \land d_{p - 1}^{s_{N + 2}} = 0$	$d_{p}^{s_{N + 1}} = 0$
T7		$d_{p}^{s_{N + 2}} = 0$