21,528 research outputs found

    Statistical Model Checking for Stochastic Hybrid Systems

    Get PDF
    This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.Comment: In Proceedings HSB 2012, arXiv:1208.315

    Mobile Application to Support Intelligent Supervision System for Service Buildings

    Get PDF
    The work developed and described in this dissertation is part of the Ambiosensing project, developed under the Portugal 2020 program. This project aims to design and develop a tool for the energy management of buildings, considering low implementation costs, adaptability, versatility, and easy maintenance in line with the premises of Industry 4.0. One of the main requirements of the project is related to the intelligent supervision of equipment, adaptability and optimization of energy efficiency and quality of comfort ofthe occupants of buildings.In this way, the problem that this dissertation addresses is related to the comfort of the occupants within a service building. For that purpose,an application for mobile devices was designed and developed complementing the Intelligent Supervision system developed in the project. This application makes it possibleto view the values of the registered environmental variables and allows the users of the spaces to leave their feedback regarding their feeling considering the presented values, in order to improve the performance of the supervision system. In addition toallowing the connection between the user and the system improving not only the system's performance, but the application also improves the user's experience inside the building.O trabalho desenvolvido e descrito nesta dissertação está integrado no projeto Ambiosensing, desenvolvido no âmbito do programa Portugal 2020. Este projeto tem como objectivo a concepção e desenvolvimento de uma ferramenta para a gestão energética de edifícios, considerando baixos custos de implementação, adaptabilidade, versatilidade e fácil manutenção alinhado com as premissas da Indústria 4.0. Um dos principais requisitos do projecto está relacionado com a supervisão inteligente dos equipamentos, adaptabilidade e optimização de eficiência energética e qualidade de conforto dos ocupantes dos edifícios. Desta forma, o problema que esta dissertação aborda está relacionado com o conforto dos ocupantes dentro de um edifício de serviços e para tal foi desenhada e desenvolvida uma aplicação para dispositivos moveis que serve de complemento ao sistema de Supervisão Inteligente desenvolvido no projecto. Esta aplicação possibilita a visualização dos valores das variáveis ambientais registados permite que os utilizadores dos espaços deixem o seu feedback em relação à sua sensibilidade sobre os valores apresentados, com o intuito de melhorar a performance do sistema de supervisão.Além de permitir a ligação entre o utilizador e o sistema melhorando,não só a performance do mesmo, a aplicação permite também melhorar a experiência do utilizador no interior do edifício

    USEM: A ubiquitous smart energy management system for residential homes

    Get PDF
    With the ever-increasing worldwide demand for energy, and the limited available energy resources, there is a growing need to reduce our energy consumption whenever possible. Therefore, over the past few decades a range of technologies have been proposed to assist consumers with reducing their energy use. Most of these have focused on decreasing energy consumption in the industry, transport, and services sectors. In more recent years, however, growing attention has been given to energy use in the residential sector, which accounts for nearly 30% of total energy consumption in the developed countries. Here we present one such system, which aims to assist residential users with monitoring their energy usage and provides mechanisms for setting up and controlling their home appliances to conserve energy. We also describe a user study we have conducted to evaluate the effectiveness of this system in supporting its users with a range of tools and visualizations developed for ubiquitous devices such as mobile phones and tablets. The findings of this study have shown the potential benefits of our system, and have identified areas of improvement that need to be addressed in the future

    insights on pro environmental behavior towards post carbon society

    Get PDF
    Abstract The increasing phenomena related to urbanization and human impact on landscape leads to re-think the future of the cities. As well as in buildings, a careful design, the use of renewable sources and the use of advanced technical solutions, to achieve a significant energy savings, are strategies not sufficient to define a "Post-Carbon city" or a "Post-Carbon building". It is necessary that the citizen/occupant become a "Post-Carbon society", i.e. they pursue conscious lifestyle marked on energy saving principles. This suggest that the occupant's behaviour plays a fundamental role. In fact, many studies have shown that the human behaviour influences, mainly, the energy performance, explaining, in this way, the discrepancy gap between predicted and real consumptions. Since human behaviour is, in large part, influenced by several factors, a behavioural change towards sustainable lifestyle is desirable and this is possible, for examples, by providing to users feedback and information on comfort condition and energy use. The main goal of this research is to identify the pro-environmental behaviour by a questionnaire survey. Specifically, the structure of the survey will be described in this paper and the main results presented
    corecore