Výsledky vyhledávání

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego

Autor: Søren Enevoldsen, Arne Skou, Mads Kronborg Agesen, Anders Mariegaard, Thibaut Le Guilly, Petur Olsen

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools

To balance the fluctuations of renewable energies, greater flexibility on the consumption side is required. Moreover, solutions are required to handle the uncertainty related to both production and consumption. In this paper, we propose a probabilist

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::84bc479fee1c4f3f6cd36d2ce4911462
https://doi.org/10.1007/978-3-319-63121-9_30

Zobrazit plný text záznamu

Modeling and Analysis of Component Faults and Reliability

Autor: Petur Olsen, Anders P. Ravn, Thibaut Le Guilly, Arne Skou

Publikováno v: Le Guilly, T, Olsen, P, Ravn, A P & Skou, A J 2016, Modeling and Analysis of Component Faults and Reliability . in L Petre & E Sekerinski (eds), From Action Systems to Distributed Systems : The Refinement Approach . CRC Press, Computational Science Series, pp. 45-60 . https://doi.org/10.1201/b20053-7
From Action Systems to Distributed Systems

This chapter presents a process to design and validate models of reactive systems in the form of communicating timed automata. The models are extended with faults associated with probabilities of occurrence. This enables a fault tree analysis of the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0556b837e5ee307c762dead4fa663a1
https://vbn.aau.dk/da/publications/7fe15e4a-5cc7-446f-a1b8-2a765990b9ca

Zobrazit plný text záznamu

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases

Autor: Petur Olsen, Kim Guldstrand Larsen, Arne Skou

Publikováno v: Electronic Notes in Theoretical Computer Science. 264(3):53-68

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 database into two sets: present set and absent set, and present a proof of this abstraction.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8663310289fbfa9d506610aa5a9d091

Zobrazit plný text záznamu

ENCOURAGEing results on ICT for energy efficient buildings

Autor: Per Printz Madsen, Luis Lino Ferreira, Marta Gangolells, Keld Lotzfeldt Pedersen, Petur Olsen, Arne Skou, Luis Miguel Pinho, Marcel Macarulla, Michele Albano, Miquel Casals, Thibaut Le Guilly

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Le Guilly, T, Skou, A J, Olsen, P, Madsen, P P, Albano, M, Ferreira, L L, Pinho, L M, Pedersen, K L, Casals, M, Macarulla, M & Gongolells, M 2016, ENCOURAGEing results on ICT for energy efficient buildings . in Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference . IEEE, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, Berlin, Germany, 06/09/2016 . https://doi.org/10.1109/ETFA.2016.7733715
ETFA
Recercat. Dipósit de la Recerca de Catalunya
instname

This paper presents how the ICT infrastructure developed in the European ENCOURAGE project, centered around a message oriented middleware, enabled energy savings in buildings and households. The components of the middleware, as well as the supervisor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a253ebb85c621333ecb09375846ceca3
http://hdl.handle.net/2117/97263

Zobrazit plný text záznamu

Toolchain for User-Centered Intelligent Floor Heating Control

Autor: Jiri Srba, Marco Muñiz, Petur Olsen, Mads Kronborg Agesen, Kim Guldstrand Larsen, Thomas Pedersen, Marius Mikučionis, Arne Skou

Publikováno v: Agesen, M K, Larsen, K G, Mikučionis, M, Muniz, M, Olsen, P, Pedersen, T, Srba, J & Skou, A J 2016, Toolchain for User-Centered Intelligent Floor Heating Control . in IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society . IEEE, pp. 5296-5301, 42nd Conference of the Industrial Electronics Society, IECON 2016, Florence, Italy, 24/10/2016 . https://doi.org/10.1109/IECON.2016.7794040
IECON
IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society

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 solutions essentially implement variants of a simple bang-bang controller that opens for a h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::689bb74ac1ce0c0a6b2a9587ca45107a
https://vbn.aau.dk/da/publications/03a82713-d583-4957-bc38-d1e3366369dd

Zobrazit plný text záznamu

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

Autor: Petur Olsen, Brian Nielsen, Marius Mikučionis, Kim Guldstrand Larsen, Jin Hyun Kim

Publikováno v: Formal Methods for Industrial Critical Systems ISBN: 9783319194578
FMICS

Many safety-concerned standards and regulations for real-time embedded systems, e.g., ISO 26262 for automotive electric/electronic systems, recommends the use of formal techniques to achieve the required safety level. This paper presents a method for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e95e402ce4730c9f9b3f2f2bc4ab06d0
https://doi.org/10.1007/978-3-319-19458-5_4

Zobrazit plný text záznamu

Validating Timed Component Contracts

Autor: Anders P. Ravn, Arne Skou, Thibaut Le Guilly, Shaoying Liu, Petur Olsen

Publikováno v: Le Guilly, T, Liu, S, Olsen, P, Ravn, A P & Skou, A J 2015, Validating Timed Component Contracts . in 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015 . IEEE, pp. 245-249, 41st Euromicro Conference on Software Engineering and Advanced Applications, Funchael, Madeira, Portugal, 26/08/2015 . https://doi.org/10.1109/SEAA.2015.62
EUROMICRO-SEAA

This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior. The approach combines elements from unit testing with model-based testing techniques for tim

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b84d37e1ffb515213bdfa7479f18a6d9
https://vbn.aau.dk/da/publications/33d427c8-3fbf-45f3-850e-85b5597b714a

Zobrazit plný text záznamu

A Toolchain for Home Automation Controller Development

Autor: Petur Olsen, Daniel Middelhede, Anders P. Ravn, Thomas Pedersen, Arne Skou, Thibaut Le Guilly, Peter H. Dalsgaard

Publikováno v: Dalsgaard, P H, Le Guilly, T, Middelhede, D, Olsen, P, Pedersen, T, Ravn, A P & Skou, A 2013, A Toolchain for Home Automation Controller Development . in O Demirors & O Turetken (eds), 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) . IEEE Computer Society Press, Euromicro Conference. Proceedings, pp. 122-129, Software Engineering and Advanced Applications, Santander, Spain, 04/09/2013 . https://doi.org/10.1109/SEAA.2013.36
EUROMICRO-SEAA

Home Automation systems provide a large number of devices to control diverse appliances. Taking advantage of this diversity to create efficient and intelligent environments requires well designed, validated, and implemented controllers. However, desi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0482d8ed46bffaeeee9f524cf45c04cf
https://vbn.aau.dk/da/publications/23dafc05-75ec-4d00-a84c-48f601b2af01

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání