Energistyring og -Optimering i Intelligente Bygninger Kim G. Larsen Arne Skou Aalborg University DENMARK
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]
IES in Denmark CISS Aalborg DAIMI, Alexandra Aarhus MCI, CSI Sønderborg IMM DTU ITU, Alexandra Copenhagen Kim G. Larsen [3]
(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
Intelligent Storage Management Kim G. Larsen [5]
Intelligent Storage Management Kim G. Larsen [6]
Design Space Exploration B&O ICEpower case study ICE Embedded Systems Engineering, November, 2009 1 Kim G. Larsen [7]
Design Space Exploration Max 80% utilization Requirement 100.00% 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]
Model-Based Controller Synthesis Controller Simulink 16.5 16 15.5 T 1 T 2 T 3 15 14.5 14 13.5 13 UPPAAL 12.5 12 11.5 0 500 1000 1500 2000 2500 3000 3500 4000 Kim G.Larsen [9]
Model-Based Controller Synthesis Kim G. Larsen [10]
Model-Based Controller Synthesis Synthesis TIGA Performance Evaluation SIMULINK Guaranteed Correctness Robustness with 40% Improvement Verification PHAVER Kim G. Larsen [11]
Sensor Networks Quasimodo / CHESS GPRS Terminal Active Tag Service / Google Maps Kim G. Larsen [12]
UPPAAL Model-Based Analysis and Optimization Kim G. Larsen [13]
Energy Efficient Buildings Kim G. Larsen [14]
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
The Energy Planner Kim G. Larsen [16]
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]
Homeport Project Facts (www.energybox.dk) Period: 2009 2011 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]
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
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
Vision 21
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
Architecture 23
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
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
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
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
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 28
Thank you! www.uppaal.com Kim Larsen [29]