EnergistyringEnergistyring og -OptimeringOptimeringEnergistyringEnergistyring og OptimeringOptimeringi IntelligenteIntelligente BygningerBygninger

Kim G. LarsenArne SkoArne Skou

– Aalborg UniversityDENMARK

CISS - Center For Embedded Software Systems

Regional ICT Center (2003- )

3 research groups3 research groups Computer Science Control Theory HW/SW- codesigng

20 Employed 25 Associated

20 PhD St dents 20 PhD Students 50 Industrial projects 10 Elite-students 65+ MDKK65+ MDKK

ARTIST Design ARTEMIS ... ...

Kim G. Larsen [2]Smart GRID og Intelligente Bygninger, 1.11.11

IES in Denmark

CISSAalborg

IMM DTU

DAIMI, AlexandraAarhus

MCI, CSISønderborg

ITU, AlexandraCopenhagen

Kim G. Larsen [3]Smart GRID og Intelligente Bygninger, 1.11.11

(IES in DK) in EuropeIMM/DTU

coordinator

32 academic partners

KGL, Joseph Sifakis, Jan Madsen, Alan Burns

Affiliated Companies (selected):ABB AutomationAirbusDaimler Chrysler AGElectricite de FranceEricsson Mobile PlatformsESA

CISS

HoneywellIsrael AircraftNokia DenmarkSiemens MPSTMicroelectronicsSun MicrosystemsThalesV lk AGCISS

coordinatorVolkswagen AGVolvo Car

Kim G. Larsen [4]Smart GRID og Intelligente Bygninger, 1.11.11

Intelligent Storage Management

Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [5]

Intelligent Storage Management

Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [6]

Design Space Exploration

B&O ICEpower case study

ICE

1Embedded Systems Engineering, November, 2009

Kim G. Larsen [7]Smart GRID og Intelligente Bygninger, 1.11.11

Design Space Exploration

Max 80% utilization

Requirement

70.00%80.00%90.00%

100.00%

Requirement

10 00%20.00%30.00%40.00%50.00%60.00%

50MHz

25MHz

12.5MHz

0.00%10.00%

HW

SVF1

SVF1

SVF2

SVF1

SVF2

VF3

VF1

F2 3 4

6.25MHz

3.125MHz

S S SV SVF

SVF3

SVF4

DSP

REF SVFx1SVFx2

SVFx3SVFx4

DSP12.5 MHz

6.25 MHz

Kim G. Larsen [8]Smart GRID og Intelligente Bygninger, 1.11.11

Model-Based Controller Synthesis

C t llController

15

15.5

16

16.5 T

1

T2

T3

Simulink

12.5

13

13.5

14

14.5

15

0 500 1000 1500 2000 2500 3000 3500 400011.5

12

UPPAAL

Kim G.Larsen [9]Smart GRID og Intelligente Bygninger, 1.11.11

Model-Based Controller Synthesis

Kim G. Larsen [10]Smart GRID og Intelligente Bygninger, 1.11.11

Model-Based Controller Synthesis

Synthesis TIGA

Performance Evaluation SIMULINKSIMULINK

GuaranteedCorrectnessRobustnessRobustness

with40% Improvement

Verification PHAVERKim G. Larsen [11]Smart GRID og Intelligente Bygninger, 1.11.11

Sensor NetworksQuasimodo / CHESS

Active Tag

GPRS Terminal

Service / Google Maps

Kim G. Larsen [12]Smart GRID og Intelligente Bygninger, 1.11.11

UPPAALModel-Based Analysis and Optimization

Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [13]

Energy Efficient Buildings

Kim G. Larsen [14]Smart GRID og Intelligente Bygninger, 1.11.11

The Energy Aware House, Dec 2009

Purpose: To demonstrate a

number of (future) energy saving scenarios in intelligent buildings.

Developed in a ll b ti b tcollaboration between

knowledge institutions and 9 companies.

Results: Agreements on future

(industrial) disseminationactivities

Agreements on future (i d t i l) h(industrial) research activities

15Smart GRID og Intelligente Bygninger, 1.11.11

The Energy Planner

Kim G. Larsen [16]Smart GRID og Intelligente Bygninger, 1.11.11

Homeport Project Facts (www.energybox.dk)

Period: 2009 – 2011 Budget: 10.6 mill.kr. Funding: 8 mill. kr. (2.6 mill. kr. for companies) Knowledge institution partners: AAU (CISS), AU/Alexandra Institute,

CSI, IHA Initial private partners: Develco, Seluxit, Servodan Additional partners: Zense Techology, Danfoss Heating, LIAB,

NEOGRID Also a number of networked partners

Kim G. Larsen [17]Smart GRID og Intelligente Bygninger, 1.11.11

Homeport Project Facts (www.energybox.dk)

Period: 2009 – 2011 Budget: 10.6 mill.kr.GOALS Funding: 8 mill. kr. (2.6 mill. kr. for companies) Knowledge institution partners: AAU (CISS), AU/Alexandra Institute,

CSI, IHA

GOALS Implementation for co-existence of

different home devices and energy optimizationV lid i f b f i Initial private partners: Develco, Seluxit, Servodan

Additional partners: Zense Techology, Danfoss Heating, LIAB, NEOGRID

Validation of a number of scenarios Ease of use! Collaboration with industrial partners

Also a number of networked partnersp

Investigate the business potential

Kim G. Larsen [18]Smart GRID og Intelligente Bygninger, 1.11.11

ENCOURAGE Project

Embedded iNtelligent COntrols for bUildingswith Renewable generAtion and storaGE Artemis call 2010 Start date: June 1st, 2011, 36 months project 11 Partners / 9 countries 4 mill EUR

19Smart GRID og Intelligente Bygninger, 1.11.11

Concept

Embedded iNtelligent COntrols for bUildings with Renewable generAtionbUildings with Renewable generAtionand storaGE

di l i i i b ildi directly optimize energy use in buildings optimal control of internal sub-systems

bl ti ti i ti i th f t enable active participation in the future smart grid environment. effective interaction with external world effective interaction with external world,

including other buildings, local producers, or electricity distributors.

20Smart GRID og Intelligente Bygninger, 1.11.11

Vision

21Smart GRID og Intelligente Bygninger, 1.11.11

Approach

Developing supervisory control strategies that will be able to coordinate largerthat will be able to coordinate larger subsystems

Development of an intelligent gateway withDevelopment of an intelligent gateway with embedded logic supporting inter-building energy exchange

Developing novel virtual sub-metering technologies and event-based middleware applications that will support advanced monitoring and diagnostics concepts

22Smart GRID og Intelligente Bygninger, 1.11.11

Architecture

23Smart GRID og Intelligente Bygninger, 1.11.11

Technological Innovation

Technological innovations at device level Non intrusive monitoring and control Non-intrusive monitoring and control

Scalable processing and inference of complex eventscomplex events Use of cloud computing capabilities

Optimal energy management and controlOptimal energy management and control Energy efficiency at system level and not

individual appliance / sub-system Reduction of costs of system development Open architectures Complexity increase with effort reduction

24Smart GRID og Intelligente Bygninger, 1.11.11

AAU contribution: Controller, planning, scheduling synthesis

Timed game Automated tool Optimal Energy Timed game model of building

devicesControl Program for

building

CISS tool-suite for modeling, simulation, Synthesis,

ifi ti & t ti

25

verification & testing

Smart GRID og Intelligente Bygninger, 1.11.11

AAU contribution: A flexible SW- infrastructure for Building Devices

Service composites and controllers composecontrollers compose

functionality

Service layers presents functionality through

REST/HTTP i t fBridgelayer relays

commands to and from devices

REST/HTTP interface

End-devices connected to

26

subsystems.E.g. Z-wave devices

Smart GRID og Intelligente Bygninger, 1.11.11

Demonstrators

Private homes and office buildings in the city of Aalborg, Denmarkof Aalborg, Denmark A housing co-operative with 8 homes, which recently installed 8

solar panel units. The buildings have electric heating. A building with heat pump and solar panelA building with heat pump and solar panel

Energy-Efficient Campus in Terrassa, Barcelona, Spain, p This real life campus district will allow validation of the ENCOURAGE

architecture as well as the social network.

Laboratory building of Scuola Normale Laboratory building of Scuola NormaleSuperiore di Pisa, Italy 4000 m2 in a recently refurbished ancient building: energy efficiency

and cost optimization, reliability and quality of energy supply

27Smart GRID og Intelligente Bygninger, 1.11.11

Next steps

Specification of architecture and ENCOURAGE componentsENCOURAGE components Milestones First general meeting: Nov 22-23, 2011 Overall system specification: May 2012 System integration readiness: Feb 2013 Release of all components: Jul 2013 Validation: Dec 2013

28Smart GRID og Intelligente Bygninger, 1.11.11

Thank you !

www.uppaal.com

Smart GRID og Intelligente Bygninger, 1.11.11 Kim Larsen [29]