Kim G. Larsen. Aalborg University DENMARK

Transcription

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

2 CISS - Center For Embedded Software Systems Regional ICT Center (2003- ) 3 research groups Computer Science Control Theory HW/SW- codesign 20 Employed 25 Associated 20 PhD Students 50 Industrial projects 10 Elite-students 65+ MDKK ARTIST Design ARTEMIS Kim G. Larsen [2]

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

4 (IES in DK) in Europe IMM/DTU coordinator KGL, Joseph Sifakis, Jan Madsen, Alan Burns 32 academic partners CISS coordinator Kim G. Larsen [4] 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 Thales Volkswagen AG Volvo Car

5 Intelligent Storage Management Kim G. Larsen [5]

6 Intelligent Storage Management Kim G. Larsen [6]

7 Design Space Exploration B&O ICEpower case study ICE Embedded Systems Engineering, November, Kim G. Larsen [7]

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

9 Model-Based Controller Synthesis Controller Simulink T 1 T 2 T UPPAAL Kim G.Larsen [9]

10 Model-Based Controller Synthesis Kim G. Larsen [10]

11 Model-Based Controller Synthesis Synthesis TIGA Performance Evaluation SIMULINK Guaranteed Correctness Robustness with 40% Improvement Verification PHAVER Kim G. Larsen [11]

12 Sensor Networks Quasimodo / CHESS GPRS Terminal Active Tag Service / Google Maps Kim G. Larsen [12]

13 UPPAAL Model-Based Analysis and Optimization Kim G. Larsen [13]

14 Energy Efficient Buildings 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 between knowledge institutions and 9 companies. Results: Agreements on future (industrial) dissemination activities Agreements on future (industrial) i research activities 15

16 The Energy Planner Kim G. Larsen [16]

17 Homeport Project Facts ( Period: 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]

18 Homeport Project Facts ( Period: Budget: 10.6 mill.kr. GOALS Implementation for co-existence of different home devices and energy optimization CSI, IHA Validation i of a number of scenarios Ease of use! NEOGRID Collaboration with industrial partners Investigate the business potential Funding: 8 mill. kr. (2.6 mill. kr. for companies) Knowledge institution partners: AAU (CISS), AU/Alexandra Institute, Initial private partners: Develco, Seluxit, Servodan Additional partners: Zense Techology, Danfoss Heating, LIAB, Also a number of networked partners Kim G. Larsen [18]

19 ENCOURAGE Project Embedded intelligent COntrols for buildings with Renewable generation and storage Artemis call 2010 Start date: June 1 st, 2011, 36 months project 11 Partners / 9 countries 4 mill EUR 19

20 Concept Embedded intelligent COntrols for buildings with Renewable generation and storage directly optimize i energy use in buildings optimal control of internal sub-systems enable active participation i in the future smart grid environment. effective interaction with external world, including other buildings, local producers, or electricity distributors. 20

21 Vision 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 22

23 Architecture 23

24 Technological Innovation Technological innovations at device level Non-intrusive monitoring and control 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 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 ti 25

26 AAU contribution: A flexible SW- infrastructure for Building Devices Service composites and controllers compose functionality Bridgelayer relays commands to and from devices 26 Service layers presents functionality through REST/HTTP interface End-devices connected to subsystems. E.g. Z-wave devices

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 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 m 2 in a recently refurbished ancient building: energy efficiency and cost optimization, reliability and quality of energy supply 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

29 Thank you! Kim Larsen [29]