Abstract
In this chapter, we propose a logic-based approach to describe temporal constraints with multiple time granularities related to events occurring in Smart Homes. We identify a time granularity as a (possibly) infinite sequence of time points properly labeled with propositional symbols marking the starting and the ending points of each granule. In particular, sensor granularities describe time intervals during which Smart Home sensors are in the state “ON”. Both time and sensor granularities and temporal constraints are expressed by means of PPLTL formulae. Temporal constraints for Smart Home are satisfied when the specific relationships between time/sensor granularities, involved in the described constraints, hold.KeywordsTemporal ConstraintSmart HomeAtomic PropositionKripke StructureSmoke AlarmThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
