A Toolchain for Home Automation Controller Development

Dalsgaard, Peter; Guilly, Thibaut Le; Middelhede, Daniel; Olsen, Petur; Pedersen, Thomas Garm; Ravn, Anders P.; Skou, Arne

doi:10.1109/seaa.2013.36

Cited by 7 publications

(12 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…So far, the project has defined the overall middleware structure (cloud based), and a number of gateways have been developed including the HomePort [3] experimental testbed and toolchain [4] developed at AAU. Also, initial models for evaluation [5] of building controllers have been developed.…”

Section: Preliminary Resultsmentioning

confidence: 99%

INTrEPID: A project on energy optimization in buildings

Pedersen

Ravn

Skou

2014

2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace &Amp; Elec

Self Cite

View full text Add to dashboard Cite

We present the objectives, activities and some preliminary results of the FP7 STREP project INTrEPID (INTelligent systems for Energy Prosumer buildIngs at District level). I. OBJECTIVESThe INTrEPID project aims to develop technologies that will enable energy optimization of residential buildings, both performing an optimal control of internal sub-systems within a home as well as providing advanced mechanisms for effective interaction with the external world, including other buildings, local producers, electricity distributors, thus enabling energy exchange capabilities at district level, as shown in Fig. 1. Hence, the project has three main objectives: 1) Energy optimization: Achieved through the development of three INTrEPID technological components (Indoor Home networks, Supervisory control strategies and Energy Brokerage).2) Integration and validation:The integrated system will be tested in RSE and Telecom Italia labs and it will be installed and validated in real houses. The installation in real buildings will involve 50 homes, partly located in Italy and partly located in Denmark. The system will include devices such as energy gateways, smart meter or smart info (depending on the location, smart info will work in Enel electricity grid), smart plugs, a smart appliance, connected thermostats to control HVAC system. The specific devices to be installed in the system will be evaluated during the project development.3) Dissemination and exploitation: Dissemination will be achieved with a contribution to scientific conferences, industrial fairs and leveraging the Telecom Italia show room; dissemination will have a special focus on standardization activities. A. Energy optimizationThe energy optimization objectives will be achieved in following complementary ways: 1) Developing advanced monitoring and diagnostics concepts: This includes ensuring that the achieved savings are sustained over long periods of time without being degraded by deteriorated performance of either mechanical equipment or the monitoring and control system itself.2) Developing supervisory control strategies: These will be able to coordinate larger subsystems (heating, ventilation, air conditioning, lighting, renewable energy generation, thermal storage, etc.) and orchestrate operation of the numerous devices in such systems.3) Supporting inter-building energy exchange: A brokerage agent will communicate directly with other buildings and local producers to negotiate possible use of the electricity produced locally in their premises in order to increase interoperability of buildings and to address the challenges related to deployment in the future Smart Grid concepts and technologies. II. THE INTREPID CONSORTIUMThe INTrEPID consortium includes a significant involvement of large enterprises and SMEs from different sectors, including home automation equipment providers, smart appliances manufacturers, telecom operators and energy distributors.1) Telecom Italia: Major Italian enterprise within the telecommunications, Internet and IT sector. Beside b...

show abstract

Section: Preliminary Resultsmentioning

confidence: 99%

INTrEPID: A project on energy optimization in buildings

Pedersen

Ravn

Skou

2014

2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace &Amp; Elec

Self Cite

View full text Add to dashboard Cite

show abstract

“…Disturbances are ignored here for simplicity but can be added as shown in [30]. The components of the system can formally be represented as a network of timed automata with discrete variables [14]. A timed automaton is a directed graph with a set of nodes called locations, and a set of edges connecting these nodes.…”

Section: System Modelmentioning

confidence: 99%

“…An edge can only be taken when its guard is satisfied by the current clock and variable valuations. A network of timed automata is a parallel composition of timed automata that can communicate through channels to synchronize and exchange information (more details in [1,3,8,14]). This formalism fits well with intelligent environments as it makes it possible to represent the parallel computations of each components, as well as their dynamics and interactions.…”

Section: System Modelmentioning

confidence: 99%

“…This also takes into account the non-deterministic behavior of the user interacting with actuators (the objective is to restrict the action of the system, not of the user). Note that the same models have been used in combination with environment specifications in [14], which could thus also be done in the proposed process and tool. The choice of not doing it in this work aims at obtaining a generic approach that can be easily applied in any smart home, without requiring environment specification, which can be difficult to obtain.…”

Section: System Modelmentioning

confidence: 99%

“…If the objectives of the control system differ from the expected ones, or if the control specifications do not satisfy the requirements, there will be a mismatch between the expected and actual behavior of the system. To ensure the correctness of control specifications, we previously proposed a toolchain to facilitate the development of reliable home automation controllers [14] based on timed automata [3]. However, due to the complexity of the formalism used, this toolchain, similarly to other formal approaches, is difficult to use by users who are not familiar with such formalisms.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

User constraints for reliable user-defined smart home scenarios

Guilly

Nielsen

Pedersen

et al. 2016

J Reliable Intell Environ

Self Cite

View full text Add to dashboard Cite

Defining control scenarios in a smart home is a difficult task for end users. In particular, one concern is that user-defined scenarios could lead to unsafe or undesired state of the system. To help them explore scenario specifications, we propose in this paper a system that enables specification of constraints restricting the control commands that can be used inside user-defined scenarios. The system is based on timed automata model checking abstracted by event condition action rules. A prototype was implemented, including a user interface to interact with the user. The usability of the system and interface was evaluated in a user study which results are reported here.

show abstract