Oplægget blev holdt ved InfinIT-arrangementet "Workshop: Smart Grid & Intelligente Bygninger" afholdt den 1. november 2011. Læs mere på http://www.infinit.dk/dk/hvad_kan_vi_goere_for_dig/viden/reportager/danske_virksomheder_paa_rette_vej.htm

1. Energistyring og -Optimering
Optimering
i Intelligente Bygninger
Kim G. Larsen
Arne Sko
Skou
– Aalborg University
DENMARK

2. CISS - Center For Embedded Software Systems
Regional ICT Center (2003- )
 3 research groups
 Computer Science
 Control Theory
 HW/SW- codesigng
 20 Employed
 25 Associated
 20 PhD St dents
Students
 50 Industrial projects
 10 Elite-students
 65+ MDKK
 ARTIST Design
 ARTEMIS
 ... ...
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [2]

3. IES in Denmark
CISS
Aalborg
DAIMI, Alexandra
Aarhus
IMM DTU
ITU, Alexandra
MCI, CSI Copenhagen
Sønderborg
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [3]

4. (IES in DK) in Europe
IMM/DTU
coordinator
KGL, Joseph Sifakis, Jan Madsen, Alan Burns
32 academic partners
Affiliated Companies (selected):
ABB Automation
Airbus
Daimler Chrysler AG
Electricite de France
Ericsson Mobile Platforms
ESA
Honeywell
Israel Aircraft
Nokia Denmark
Siemens MP
STMicroelectronics
Sun Microsystems
CISS Thales
Volkswagen AG
V lk
coordinator Volvo Car
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [4]

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

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

7. Design Space Exploration
B&O ICEpower case study
ICE
Embedded Systems Engineering, November, 2009 1
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [7]

8. Design Space Exploration
Max 80% utilization
Requirement
100.00%
90.00%
80.00%
70.00%
60.00%
50.00%
50MHz
40.00%
30.00% 25MHz
20.00%
12.5MHz
10 00%
10.00%
0.00% 6.25MHz
3.125MHz
HW
SVF1
SVF1
SVF2
SVF1
SVF2
SVF3
VF1
F2
SVF3
3
S
REF
SVF
SVF4
4
SVFx1 SV
DSP
SVFx2
SVFx3
SVFx4
DSP
12.5 MHz
6.25 MHz
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [8]

9. Model-Based Controller Synthesis
Controller
C t ll
Simulink 16.5
T1
T2
16
T3
15.5
15
14.5
14
13.5
13
12.5
12
UPPAAL 11.5
0 500 1000 1500 2000 2500 3000 3500 4000
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G.Larsen [9]

10. Model-Based Controller Synthesis
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [10]

11. Model-Based Controller Synthesis
Synthesis TIGA
Performance Evaluation
SIMULINK
Guaranteed
Correctness
Robustness
with
40% Improvement
Verification PHAVER
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [11]

12. Sensor Networks
Quasimodo / CHESS
GPRS Terminal
Active Tag
Service / Google Maps
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [12]

13. UPPAAL
Model-Based Analysis and Optimization
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [13]

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

15. The Energy Aware House,
Dec 2009
 Purpose:
 To demonstrate a
number of (future)
energy saving scenarios
in intelligent buildings.
 Developed in a
collaboration b t
ll b ti between
knowledge institutions
and 9 companies.
 Results:
 Agreements on future
(industrial) dissemination
activities
 Agreements on future
(industrial)
(i d t i l) research
h
activities
15
Smart GRID og Intelligente Bygninger, 1.11.11

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

17. 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
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [17]

18. 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)
 Implementation for co-existence of
 Knowledge institution partners: AAU (CISS), AU/Alexandra Institute,
different home devices and energy optimization
CSI, IHA
  V lid i
Initial privateof a number of scenarios Servodan
Validation partners:b
f f i
Develco, Seluxit,
  Ease of use!
Additional partners: Zense Techology, Danfoss Heating, LIAB,
 Collaboration with industrial partners
NEOGRID p
  Investigate the networked potential
Also a number of business partners
Smart GRID og Intelligente Bygninger, 1.11.11 Kim G. Larsen [18]

19. ENCOURAGE Project
 Embedded iNtelligent COntrols for bUildings
with Renewable generAtion and storaGE
 Artemis call 2010
 Start date: June 1st, 2011, 36 months project
 11 Partners / 9 countries
 4 mill EUR
Smart GRID og Intelligente Bygninger, 1.11.11 19

20. Concept
 Embedded iNtelligent COntrols for
bUildings with Renewable generAtion
and storaGE
 di
directly optimize energy use i b ildi
l i i in buildings
 optimal control of internal sub-systems
 enable active participation i th f t
bl ti ti i ti in the future
smart grid environment.
 effective interaction with external world,
world
including other buildings, local producers, or
electricity distributors.
Smart GRID og Intelligente Bygninger, 1.11.11 20

21. Vision
Smart GRID og Intelligente Bygninger, 1.11.11 21

22. Approach
 Developing supervisory control strategies
that will be able to coordinate larger
subsystems
 Development 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
Smart GRID og Intelligente Bygninger, 1.11.11 22

23. Architecture
Smart GRID og Intelligente Bygninger, 1.11.11 23

24. Technological Innovation
 Technological innovations at device level
 Non intrusive monitoring and control
Non-intrusive
 Scalable processing and inference of
complex events
 Use of cloud computing capabilities
 Optimal 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
Smart GRID og Intelligente Bygninger, 1.11.11 24

25. AAU contribution:
Controller, planning, scheduling synthesis
Timed game Automated tool Optimal Energy
model of building Control Program for
devices building
CISS tool-suite for modeling,
simulation, Synthesis,
verification & testing
ifi ti t ti
Smart GRID og Intelligente Bygninger, 1.11.11 25

26. AAU contribution:
A flexible SW- infrastructure for Building Devices
Service composites and
controllers compose
functionality
Service layers presents
functionality through
REST/HTTP interface
i t f
Bridgelayer relays
commands to and from
devices End-devices connected to
subsystems.
E.g. Z-wave devices
Smart GRID og Intelligente Bygninger, 1.11.11 26

27. Demonstrators
 Private homes and office buildings in the city
of 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 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
Superiore di Pisa, Italy
 4000 m2 in a recently refurbished ancient building: energy efficiency
and cost optimization, reliability and quality of energy supply
Smart GRID og Intelligente Bygninger, 1.11.11 27

28. Next steps
 Specification of architecture and
ENCOURAGE 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
Smart GRID og Intelligente Bygninger, 1.11.11 28

29. Thank you !
www.uppaal.com
Smart GRID og Intelligente Bygninger, 1.11.11 Kim Larsen [29]