Occupancy Probability Settings
Probability Model
P
r(t) = Occupancy probability for room r at time t
Decision Rule:
IF P
r(t) ≥ θ THEN Enable Devices
ELSE Disable Devices
Where θ = Occupancy Threshold
Boolean Logic Rules
Boolean Logic Symbols
∧ = AND (Conjunction)
∨ = OR (Disjunction)
¬ = NOT (Negation)
→ = IMPLIES (Conditional)
Example: A ∧ B → C means "If A AND B then C"
Device Scheduling
Available
Occupied
Conflict