2006 | OriginalPaper | Buchkapitel
Temporal Constraints with Multiple Granularities in Smart Homes
verfasst von : Carlo Combi, Rosalba Rossato
Erschienen in: Designing Smart Homes
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.