• The problem of finding at least oneconfiguration g that satisfies the user requestand use the automation system to bring thehome devices into a satisfying state.

• In the case of Boolean valued domoticeffects, the user request R is the subset ofDEi that the user wants to be active (true) ata given instant.

• Satisfying user request amounts to:

Semantic Web Technologies’ role in Smart EnvironmentsFaisal Razzak {faisal.razzak@polito.it}

P. Herrero et al. (Eds.): OTM 2012 Workshops, LNCS 7567, pp. 54–58, 2012. Springer, Heidelberg (2012)

Intelligent Energy Optimization for User Intelligible Goals in Smart Home EnvironmentsFulvio Corno and Faisal RazzakIn: IEEE Transactions on Smart Grids (2012)(Accepted)

Enabling machine understandable exchange of energy consumption Information in intelligent domotic environmentsDario Bonino, Fulvio Corno and Faisal RazzakIn: Energy and Buildings 43(6), 1392 – 1402 (2011)

Modeling Intelligible Goals in Smart HomeFulvio Corno and Faisal RazzakIn: IEEE Transactions on Industrial Informatics (Submitted)

References

Enforcement

Formal Definition: DogEffects Ontology

• It provide AMI designers with anabstraction layer that enables defininggeneric goals inside the environment,in a declarative way.

• The high-level nature allows the residentsto program their personal, office or workspaces as they see fit.

• Define different achievement criteria for aparticular generic goal, by using domain-specific operators.

• Two types: Simple and Complex

What is Domotic Effect?

• Modeling of environment interaction (Device centric).

• Modeling of environment set-up.

• Human intelligible state and goal

modeling (Often Missing or Neglected).

• Intelligible states and goals may relate to environmental variables (illumination or temperature, …) or to more abstract conditions such as Security and Energy Saving.

Problem Definition

• Formal definition

• Domain dependency

• Modularity

• Evaluation Support

• Enforcement Support

• Advanced intelligence (Energy optimization)

• Human Intelligibility

Requirements

Enforcement

1. Secure Home (CEA)

2. Bathroom Illumination (CEB)

3. Home Illumination (CEC)

4. Afternoon Lunch Cooking (CED)

5. Air Passage (CEE)

6. Morning Wakeup (CEF)

Use Cases

DogPower Ontology

• Each device, in each operating state, consumes some amount of electrical power, that isrepresented as a real-valued Simple Effect The instantaneous powerconsumed by the whole environment is therefore represented as a Complex Effect aggregating allindividual power measurements:

• It is the ability to determine the valueof each DE defined in an environment whenany device changes its state, in near-realtime.

• It helps monitor the overall state of theenvironment, also considering historicaltraces.

• An Effect Node Network (ENN) is created from DE and Zero Delay Simulation algorithm is used to solve the network.

Evaluation

Evaluation

• To compute the minimum value of P(g), while satisfying the user request R. This correspond to a constrained optimization of P(g) subject to the Boolean constraint FR(g).

Energy Optimization

User Intelligible Goals in Smart Environment: DOMOTIC EFFECTS