Search Results - "Skou, Arne"

Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecast by Albano, Michele, Cibin, Nicola, Golmohamadi, Hessam, Skou, Arne

“…The penetration of renewable energies is increasing in energy systems worldwide. Consequently, the intermittency of the energy sources raises technical…”
Get full text

An evaluation framework for energy aware buildings using statistical model checking by David, Alexandre, Du, DeHui, Larsen, Kim G., Mikučionis, Marius, Skou, Arne

“…Cyber-physical systems are to be found in numerous applications throughout society. The principal barrier to develop trustworthy cyber-physical systems is the…”
Get full text

CONVERGENCE TO THE EUROPEAN ENERGY POLICY IN EUROPEAN COUNTRIES: CASE STUDIES AND COMPARISON by Antonacci, Francesco, Lotzfeldt Pedersen, Keld, Teixeira, César, Ferreira, Rodrigo, Skou, Arne, Scalari, Sandra, Pérez Dueñas, Lara, Albano, Michele

“…Purpose – our paper aims at analysing how different European countries cope with the European Energy Policy, which proposes a set of measures (free energy…”
Get full text

Machine learning-based algorithms to estimate thermal dynamics of residential buildings with energy flexibility by Cibin, Nicola, Tibo, Alessandro, Golmohamadi, Hessam, Skou, Arne, Albano, Michele

“…In the residential sector, the building heating system is an energy-intensive consumer. Heat pumps are energy-efficient devices to integrate renewable power…”
Get full text

Web of Things Interoperability for the Arrowhead Framework by Dongo, Junior, Albano, Michele, Skou, Arne, Nielsen, Brian

“…Defined as the ability for a system to exchange data with another system and consume data from another system, interoperability is a property that most…”
Get full text

Statistical and exact schedulability analysis of hierarchical scheduling systems by Boudjadar, Abdeldjalil, David, Alexandre, Kim, Jin Hyun, Larsen, Kim G., Mikučionis, Marius, Nyman, Ulrik, Skou, Arne

“…This paper contains two contributions: 1) A development methodology involving two techniques to enhance the resource utilization and 2) a new generic…”
Get full text

Automated test generation from timed automata by Nielsen, Brian, Skou, Arne

“…Testing is the most dominant validation activity used by industry today, and there is an urgent need for improving its effectiveness, both with respect to the…”
Get full text

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling by Boudjadar, Abdeldjalil, David, Alexandre, Kim, Jin Hyun, Larsen, Kim G., Mikučionis, Marius, Nyman, Ulrik, Skou, Arne

“…This paper presents a compositional framework for the modeling and analysis of hierarchical scheduling systems. We consider both schedulability and energy…”
Get full text

User constraints for reliable user-defined smart home scenarios by Le Guilly, Thibaut, Nielsen, Michael K., Pedersen, Thomas, Skou, Arne, Kjeldskov, Jesper, Skov, Mikael

“…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…”
Get full text

Compositional verification of real-time systems using Ecdar by David, Alexandre, Larsen, Kim. G., Legay, Axel, Møller, Mikael H., Nyman, Ulrik, Ravn, Anders P., Skou, Arne, Wąsowski, Andrzej

“…We present a specification theory for timed systems implemented in the Ecdar tool. We illustrate the operations of the specification theory on a running…”
Get full text

Validating Timed Component Contracts by Le Guilly, Thibaut, Shaoying Liu, Olsen, Petur, Ravn, Anders P., Skou, Arne

“…This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior…”
Get full text

A Toolchain for Home Automation Controller Development by Dalsgaard, Peter H., Le Guilly, Thibaut, Middelhede, Daniel, Olsen, Petur, Pedersen, Thomas, Ravn, Anders P., Skou, Arne

“…Home Automation systems provide a large number of devices to control diverse appliances. Taking advantage of this diversity to create efficient and intelligent…”
Get full text

ENCOURAGEing results on ICT for energy efficient buildings by Le Guilly, Thibaut, Skou, Arne, Olsen, Petur, Printz Madsen, Per, Albano, Michele, Ferreira, Luis Lino, Pinho, Luis Miguel, Pedersen, Keld, Casals, Miquel, Macarulla, Marcel, Gangolells, Marta

“…This paper presents how the ICT infrastructure developed in the European ENCOURAGE project, centered around a message oriented middleware, enabled energy…”
Get full text

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks by Boudjadar, Abdeldjalil, Jin Hyun Kim, David, Alexandre, Larsen, Kim G., Mikucionis, Marius, Nyman, Ulrik, Skou, Arne, Insup Lee, Linh Thi Xuan Phan

“…The analysis of probabilistic schedulability explores all possible combinations of the probabilities of task attributes, which can easily lead to exponential…”
Get full text

INTrEPID: A project on energy optimization in buildings by Pedersen, Thomas, Ravn, Anders P., Skou, Arne

“…We present the objectives, activities and some preliminary results of the FP7 STREP project INTrEPID (INTelligent systems for Energy Prosumer buildIngs at…”
Get full text

To Do and Not to Do: Constrained Scenarios for Safe Smart House by Le Guilly, Thibaut, Smedegard, Jacob H., Pedersen, Thomas, Skou, Arne

“…A smart house is a complex system, and configuring it to act as desired is difficult and error prone. In this paper we extend a previously developed framework…”
Get full text

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases by Olsen, Petur, Larsen, Kim G., Skou, Arne

“…We present a new abstraction of reactive systems interacting with databases. This abstraction is intended to be used for model-based testing. We abstract the…”
Get full text

A method for model checking feature interactions by Pedersen, Thomas, Le Guilly, Thibaut, Ravn, Anders P., Skou, Arne

“…This paper presents a method to check for feature interactions in a system assembled from independently developed concurrent processes as found in many…”
Get full text

Toolchain for user-centered intelligent floor heating control by Agesen, Mads Kronborg, Larsen, Kim Guldstrand, Mikucionis, Marius, Muniz, Marco, Olsen, Petur, Pedersen, Thomas, Srba, Jiri, Skou, Arne

“…Floor heating systems are important components of nowadays home-automation setups. The control of a floor heating system is a nontrivial task and the present…”
Get full text

HomePort: Middleware for heterogeneous home automation networks by Le Guilly, Thibaut, Olsen, Petur, Ravn, Anders P., Rosenkilde, Jesper Brix, Skou, Arne

“…Ambient Intelligence systems use many sensors and actuators, with a diversity of networks, protocols and technologies which makes it impossible to access the…”
Get full text