Towards a Formal Smart Energy System Engineering Method

Georg Hackenberg <+hackenbe@in.tum.de>

1. Describing systems 2. Restricting systems

4. Thesis outlook 3. Analyzing systems

0. Agenda

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 2

∀𝑡: 𝑇𝑚𝑖𝑛 ≤ 𝑇𝑅1 𝑡 ≤ 𝑇𝑚𝑎𝑥

1. Describing systems

Structure and Behavior

1. Describing systems / Modeling strategy

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 4

Information Channel - Digital interface

- Digital message

- Digital model

Observation Channel - Non-digital interface

- Non-digital message

- Digital model

1. Describing systems / Channel types

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 5

1. Describing systems / Physical system (1)

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 6

1. Describing systems / Physical system (2)

Device components - Lamp

- Refrigerator

Net components - Household Net

- Low-Voltage Net

Power observations - Influenced by …

- Influences …

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 7

𝑷𝒐𝒖𝒕 𝒕 = 𝑷𝒊𝒏,𝒊(𝒕)

𝟏≤𝒊≤𝒏

Function Specification

- Single function

- Single case

1. Describing systems / Net

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 8

Automaton Specification - Single state

- Single (idle) transition

1. Describing systems / Lamp

Input Channel: 𝑆𝑤𝑖𝑡𝑐ℎ(𝑡) - Triggered by user

- Triggered by control system

Output Channel: 𝑃𝑜𝑤𝑒𝑟 𝑡

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 9

𝐶𝑜𝑜𝑙𝑒𝑟(𝑡) 𝐷𝑜𝑜𝑟(𝑡) 𝑇𝑒𝑚𝑝𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑡) 𝑃𝑜𝑤𝑒𝑟(𝑡)

Off Closed 𝑓1(𝑇 𝑡 − 1 , 𝑇𝑒𝑛𝑣(𝑡)) ±0𝑊

Off Open 𝑓2(𝑇 𝑡 − 1 , 𝑇𝑒𝑛𝑣(𝑡))

±0𝑊

On Closed 𝑓3(𝑇 𝑡 − 1 )

−200𝑊

On Open 𝑓4(𝑇 𝑡 − 1 )

−200𝑊

1. Describing systems / Refrigerator

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 10

1. Describing systems / Cross-cutting concerns

Market behavior - Supply

- Demand

- Price

User behavior - Preference

- Interaction

Weather behavior - Power

- Temperature

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 11

2. Restricting systems

Requirements and Guidelines

Find ICT (control system structure and behavior) such that system requirements are fulfilled.

2. Restricting systems / Engineering problem

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 13

Power Balance

𝑃𝑜𝑢𝑡 𝑡 ≤ 𝜀

Temperature Band

𝑇𝑚𝑖𝑛 ≤ 𝑇 𝑡 ≤ 𝑇𝑚𝑎𝑥

Consumer Priority

?

Energy Efficiency

𝑎𝑟𝑔max𝑥𝑓(𝑥)?

2. Restricting systems / Behavioral requirements

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 14

Aligned with disciplines? - For engineers

Aligned with concerns? - For SoC

Aligned with physical system? - For simplicity

2. Restricting systems / Structural requirements

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 15

3. Analyzing systems

Traces and Spaces

3. Analyzing systems / Scenario simulation

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 17

3. Analyzing systems / Behavior space

From simulation to exploration!

Refrigerator model - Input Channel: 𝐶𝑜𝑜𝑙𝑒𝑟 𝑡

- Non-deterministic

- Output Channel: 𝑇𝑒𝑚𝑝𝑒𝑟𝑎𝑡𝑢𝑟𝑒 𝑡 - Deterministic

Behavioral requirement - 𝑇𝑚𝑖𝑛 ≤ 𝑇𝑒𝑚𝑝𝑒𝑟𝑎𝑡𝑢𝑟𝑒 𝑡 ≤ 𝑇𝑚𝑎𝑥

Space visualization - Root

- Cooler off

- Cooler on

- Requirement violated

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 18

3. Analyzing systems / Behavior spaces

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 19

3. Analyzing systems / Workbench

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 20

4. Thesis Outlook

Ideas and Plans

4. Thesis outlook

Modeling Requirements - Energy Efficiency

- Consumer Priority

Modeling Views - Engineering Disciplines

- Model Abstractions

Modeling Dynamics - Changing Structure

- Determining Behavior

Modeling Concerns - Statistical Behavior

- Physical Behavior

Identifying Cases - Typical Problems

- Current Solutions

Exploring Behavior - Search Strategy

- User Interaction

Describing Effects - Reactive Power

- Potential Drop

Integrating Models - Linear Equations

- Differential Equations

03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <hackenbe@in.tum.de> 22

The End.

Time for discussion!