research group seminar » towards a formal smart energy system engineering method
TRANSCRIPT
Towards a Formal Smart Energy System Engineering Method
Georg Hackenberg <[email protected]>
1. Describing systems 2. Restricting systems
4. Thesis outlook 3. Analyzing systems
0. Agenda
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 2
∀𝑡: 𝑇𝑚𝑖𝑛 ≤ 𝑇𝑅1 𝑡 ≤ 𝑇𝑚𝑎𝑥
1. Describing systems
Structure and Behavior
1. Describing systems / Modeling strategy
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 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 <[email protected]> 5
1. Describing systems / Physical system (1)
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 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 <[email protected]> 7
𝑷𝒐𝒖𝒕 𝒕 = 𝑷𝒊𝒏,𝒊(𝒕)
𝟏≤𝒊≤𝒏
Function Specification
- Single function
- Single case
1. Describing systems / Net
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 15
3. Analyzing systems
Traces and Spaces
3. Analyzing systems / Scenario simulation
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 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 <[email protected]> 18
3. Analyzing systems / Behavior spaces
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 19
3. Analyzing systems / Workbench
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 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 <[email protected]> 22
The End.
Time for discussion!