research group seminar » towards a formal smart energy system engineering method
TRANSCRIPT
![Page 2: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/2.jpg)
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 𝑡 ≤ 𝑇𝑚𝑎𝑥
![Page 3: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/3.jpg)
1. Describing systems
Structure and Behavior
![Page 4: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/4.jpg)
1. Describing systems / Modeling strategy
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 4
![Page 5: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/5.jpg)
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
![Page 6: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/6.jpg)
1. Describing systems / Physical system (1)
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 6
![Page 7: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/7.jpg)
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
![Page 8: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/8.jpg)
𝑷𝒐𝒖𝒕 𝒕 = 𝑷𝒊𝒏,𝒊(𝒕)
𝟏≤𝒊≤𝒏
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
![Page 9: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/9.jpg)
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
![Page 10: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/10.jpg)
𝐶𝑜𝑜𝑙𝑒𝑟(𝑡) 𝐷𝑜𝑜𝑟(𝑡) 𝑇𝑒𝑚𝑝𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑡) 𝑃𝑜𝑤𝑒𝑟(𝑡)
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
![Page 11: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/11.jpg)
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
![Page 12: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/12.jpg)
2. Restricting systems
Requirements and Guidelines
![Page 13: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/13.jpg)
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
![Page 14: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/14.jpg)
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
![Page 15: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/15.jpg)
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
![Page 16: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/16.jpg)
3. Analyzing systems
Traces and Spaces
![Page 17: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/17.jpg)
3. Analyzing systems / Scenario simulation
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 17
![Page 18: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/18.jpg)
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
![Page 19: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/19.jpg)
3. Analyzing systems / Behavior spaces
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 19
![Page 20: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/20.jpg)
3. Analyzing systems / Workbench
03/13/2012 Formal Smart Energy System Engineering, Georg Hackenberg <[email protected]> 20
![Page 21: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/21.jpg)
4. Thesis Outlook
Ideas and Plans
![Page 22: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/22.jpg)
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
![Page 23: Research Group Seminar » Towards a Formal Smart Energy System Engineering Method](https://reader030.vdocuments.us/reader030/viewer/2022032421/55a859241a28ab6c2d8b48fb/html5/thumbnails/23.jpg)
The End.
Time for discussion!