Fungerer Smart Grid i
Virkelighedens IKT Verden?
Kim Guldstrand Larsen
René Rydhof Hansen
Institut for Datalogi, Aalborg U...
Fungerer Smart Grid i
Virkelighedens IKT Verden?
Kim Guldstrand Larsen
René Rydhof Hansen
Institut for Datalogi, Aalborg U...
Future Green Technology
Japansk-Dansk Workshop, 2012
Lasse Clausen, KGL, Kristian Stubkjær, Jakob Østergaard,
Claus Felby,...
Future Green Technology
Japansk-Dansk Workshop, 2012
Lasse Clausen, KGL, Kristian Stubkjær, Jakob Østergaard,
Claus Felby,...
Plan
 Hvem er CISS og InfinIT?
 Smart Grid – Definition og Udfordringer
 Korrekthed, Robusthed, Optimalitet og
Flexibil...
CISS –
Center For Embedded Software Systems
Regional ICT Center (2002- )
 3 research groups
 Computer Science
 Control ...
UPPAAL Model Checker
Editor
Simulator
Verifier
Performance
Analyses
Discrete Control
Concurrency
Continuous Aspects
Stocha...
Elsystemet i DK under
forandring
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [9]
Vindenergi udfordring
Intelligent balancering af forbrug og produktion
Fungerer Smart i Virklighedens IKT Verden ? Kim Lar...
Bornholm
Et fuld-skala lab med 30% vindkraft
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [11]
Teaser
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [12]
Smart Grid – Definition.
A smart grid is a
modernized electrical
grid that uses
information and
communications
technology ...
Smart Grid
Forskningsområder
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [15]
Smart Grid
Forskningsområder
Korrekt
Optimal
RobustSikker
Flexibel
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen ...
Smart Grid
Forskningsområder
Korrekt
Optimal
RobustSikker
Flexibel
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen ...
Northeast Blackout 2003
 Northeastern and Midwestern
United States and the
Canadian province of Ontario
 45 mill (USA), ...
Races
int x=100;
Process INC
do
:: x<200 --> x:=x+1
od
Process DEC
do
:: x>0 --> x:=x-1
od
Process RESET
do
:: x=200 --> x...
Flere Race-Bugs
Kontrol for ICE tog
1421 komponenter
10476 tilstande / 271 sec/ 11Mb
Klaus Havelund, JPL
T1 T3 T5 T1 … T4 ...
Smart Grid
Forskningsområder
Korrekt
Optimal
RobustSikker
Flexibel
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen ...
The Energy Aware House
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [22]
The Energy Planner
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [23]
The Energy Planner
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [24]
Energy Aware Buildings
Danish National Defense Building Administration
Pilot – Sjælland’s Odde
Fungerer Smart i Virklighed...
Energy Aware Buildings
Danish National Defense Building Administration
Pilot – Sjælland’s Odde
Fungerer Smart i Virklighed...
Models
User Weather
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [27]
Analysis
Temp
Heaters
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [28]
Smart Grid
Forskningsområder
Korrekt
Optimal
RobustSikker
Flexibel
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen ...
Demand-Response
Produktion
Ufleksibelt forbrug
Fleksibelt forbrug
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [...
Demand Response
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [31]
From Network Protocols to
Power Grids
 Renewable Energies are
on the rise
 Photovoltaic generators
on roof tops
 Good S...
Control Strategies
Current Strategies (G)
 75% non-measured,
cannot be remotely
controlled
 EN 50438:2007, in
force sinc...
Results
on-off
linear
AIMD
Exp Backoff
Freq prob switching
Results
Freq prob switching w
binary exponential backoff
Funger...
Smart Grid
Forskningsområder
Korrekt
Optimal
RobustSikker
Flexibel
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen ...
Smart Buildings
Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [36]
Home Port
ARCHITECTURE
HOMEPORT
 Important diversity of Home
Automation networks and protocols
 No common interface to a...
Home Port Project Facts
(www.energybox.dk)
 Period: 2009 – 2011
 Budget: 10.6 mill.kr.
 Funding: 8 mill. kr. (2.6 mill....
Projekter
INTREPRID EU STREP Project
• 8 European partners
• Challenges: Local control and storage, energy
management syst...
 RTI Innovationsnetværk for IKT
 CISS, Alexandra, DELTA, ITU, SDU, KU, DTU, BB
 1900 interessenter; 700 unike virksomhe...
Upcoming SlideShare
Loading in …5
×

Fungerer Smart Grid i virkelighedens IKT-verden? af Kim Guldstrand Larsen, InfinIT og Aalborg Universitet

460 views
396 views

Published on

Oplægget blev holdt ved eftermiddagsmødet "Fungerer Smart Grid i den virkelige verden?", der blev afholdt af InfinIT og IDA den 26. september 2013.

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
460
On SlideShare
0
From Embeds
0
Number of Embeds
211
Actions
Shares
0
Downloads
3
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Fungerer Smart Grid i virkelighedens IKT-verden? af Kim Guldstrand Larsen, InfinIT og Aalborg Universitet

  1. 1. Fungerer Smart Grid i Virkelighedens IKT Verden? Kim Guldstrand Larsen René Rydhof Hansen Institut for Datalogi, Aalborg Universitet
  2. 2. Fungerer Smart Grid i Virkelighedens IKT Verden? Kim Guldstrand Larsen René Rydhof Hansen Institut for Datalogi, Aalborg Universitet
  3. 3. Future Green Technology Japansk-Dansk Workshop, 2012 Lasse Clausen, KGL, Kristian Stubkjær, Jakob Østergaard, Claus Felby, Peter Hauge Madsen, John Dalsgaard Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [3]
  4. 4. Future Green Technology Japansk-Dansk Workshop, 2012 Lasse Clausen, KGL, Kristian Stubkjær, Jakob Østergaard, Claus Felby, Peter Hauge Madsen, John Dalsgaard Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [4]
  5. 5. Plan  Hvem er CISS og InfinIT?  Smart Grid – Definition og Udfordringer  Korrekthed, Robusthed, Optimalitet og Flexibilitet (Kim)  Sikkerhed (René)  Samarbejde med CISS / InfinIT  Debat og Spørgsmål Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [5]
  6. 6. CISS – Center For Embedded Software Systems Regional ICT Center (2002- )  3 research groups  Computer Science  Control Theory  Hardware  Wireless Communication  20 Employed  25 Associated  20 PhD Students  50 Industrial projects  10 Elite-students  100+ MDKK  ARTIST Design  ARTEMIS Characteristica:  Dedicated function  Complex environment  SW/HW/Mechanics  Networked  Autonomous  Ressource constrained : Energy : Bandwidth : Memory : …  Timing constraints Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [6]
  7. 7. UPPAAL Model Checker Editor Simulator Verifier Performance Analyses Discrete Control Concurrency Continuous Aspects Stochasticity Timing Constraints Resources Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [7]
  8. 8. Elsystemet i DK under forandring Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [9]
  9. 9. Vindenergi udfordring Intelligent balancering af forbrug og produktion Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [10]
  10. 10. Bornholm Et fuld-skala lab med 30% vindkraft Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [11]
  11. 11. Teaser Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [12]
  12. 12. Smart Grid – Definition. A smart grid is a modernized electrical grid that uses information and communications technology to gather and act on information, such as information about the behaviors of suppliers and consumers, in an automated fashion to improve the efficiency, reliability, economics, and sustainability of the production and distribution of electricity Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [13]
  13. 13. Smart Grid Forskningsområder Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [15]
  14. 14. Smart Grid Forskningsområder Korrekt Optimal RobustSikker Flexibel Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [16]
  15. 15. Smart Grid Forskningsområder Korrekt Optimal RobustSikker Flexibel Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [17]
  16. 16. Northeast Blackout 2003  Northeastern and Midwestern United States and the Canadian province of Ontario  45 mill (USA), 10 mill (Can)  Operators unaware of need for re-destributing power after overloaded transmission lines hit unpruned foliage.  Cause: Software Bug in the Alarm System = a so-called race condition. Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [18]
  17. 17. Races int x=100; Process INC do :: x<200 --> x:=x+1 od Process DEC do :: x>0 --> x:=x-1 od Process RESET do :: x=200 --> x:=0 od ( INC || DEC || RESET ) Q: Hvilke værdier kan variable x opnå ? Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [19]
  18. 18. Flere Race-Bugs Kontrol for ICE tog 1421 komponenter 10476 tilstande / 271 sec/ 11Mb Klaus Havelund, JPL T1 T3 T5 T1 … T4 T3 Deep Space 1 Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [20]
  19. 19. Smart Grid Forskningsområder Korrekt Optimal RobustSikker Flexibel Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [21]
  20. 20. The Energy Aware House Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [22]
  21. 21. The Energy Planner Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [23]
  22. 22. The Energy Planner Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [24]
  23. 23. Energy Aware Buildings Danish National Defense Building Administration Pilot – Sjælland’s Odde Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [25]
  24. 24. Energy Aware Buildings Danish National Defense Building Administration Pilot – Sjælland’s Odde Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [26]
  25. 25. Models User Weather Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [27]
  26. 26. Analysis Temp Heaters Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [28]
  27. 27. Smart Grid Forskningsområder Korrekt Optimal RobustSikker Flexibel Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [29]
  28. 28. Demand-Response Produktion Ufleksibelt forbrug Fleksibelt forbrug Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [30]
  29. 29. Demand Response Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [31]
  30. 30. From Network Protocols to Power Grids  Renewable Energies are on the rise  Photovoltaic generators on roof tops  Good Strategies are needed for photovoltaic microgenerators Hundreds of thousands Geographically distributed Distributed Selfstabilising SimpleFair Central Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [32]
  31. 31. Control Strategies Current Strategies (G)  75% non-measured, cannot be remotely controlled  EN 50438:2007, in force since 2007  Switch off when frequency > 50.2 Hz  VDE-AR-N4105, required today:  Output linear function of frequency in [50.2,51.5]Hz  Emergency switch-off above 51.5 Hz  Switch on again when <50.05 for 1 minute Invent new controllers  Be inspired by computer networks  Power Grid / Network  Up limit on generation / limit on bandwidth  All generators contribute / bandwidth is shared  Can measure frequency / detect loss + collision  Fair distr. of capacity / fair distr. of bandwidth Let us try solutions from Ethernet, TCP  AIMD: Add Increase, Mult decr  Exponential Backoff  Freq dep probabilistic switching  Combinations Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [33]
  32. 32. Results on-off linear AIMD Exp Backoff Freq prob switching Results Freq prob switching w binary exponential backoff Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [34]
  33. 33. Smart Grid Forskningsområder Korrekt Optimal RobustSikker Flexibel Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [35]
  34. 34. Smart Buildings Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [36]
  35. 35. Home Port ARCHITECTURE HOMEPORT  Important diversity of Home Automation networks and protocols  No common interface to access and control devices  HomePort provide a common interface to heterogeneous networked devices TECHNOLOGIES  Based on well known standards:  RESTful architecture for scalable and easy interfacing  TLS 1.0 for secured connections  ZeroConf for LaN service discovery  Implemented in C to fit resource constrained systems  Targets Linux based systems  Log system for local and remote monitoring  Part of several projects (e.g. ENCOURAGE) Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [37]
  36. 36. Home Port 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 GOALS  Implementation for co-existence of different home devices and energy optimization  Validation of a number of scenarios  Collaboration with industrial partners  Investigate the business potential Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [38]
  37. 37. Projekter INTREPRID EU STREP Project • 8 European partners • Challenges: Local control and storage, energy management system, grid communication • Homeport: Metering and control • 20 Danish buildings to be demonstrated Arrowhead Artemis project ‘Arrowhead’ EU Artemis program with participation from AAU, Zense, Neogrid, NEAS and 2 other Danish partners: In total 80 partners. Danish contribution focuses on demonstrating 50 houses using flexoffers. Homeport to be used for metering. Totalflex • 2012-2015 (AAU, CBS and 5 companies) • Aims to establish a marketplace based on Flexoffers • Homeport to be used for metering and communication Encourage Artemis project • 11 European partners • Challenges: Building control, smart metering and business intelligence • Homeport: metering • Demonstrator with 8 houses i Aalborg Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [39]
  38. 38.  RTI Innovationsnetværk for IKT  CISS, Alexandra, DELTA, ITU, SDU, KU, DTU, BB  1900 interessenter; 700 unike virksomheder  9 interessegrupper  Smart Grid & Intelligente Bygninger  Mini-projekter Fungerer Smart i Virklighedens IKT Verden ? Kim Larsen [40]

×