vault backup: 2024-11-25 15:30:58

This commit is contained in:
Dane Sabo 2024-11-25 15:30:58 -05:00
parent 0725c44c61
commit e1e2940bc0

View File

@ -190,6 +190,81 @@ _(Include a visual of how $\Delta$ affects $P$)_
- Comparative chart: structured vs. unstructured methods. - Comparative chart: structured vs. unstructured methods.
- Examples of perturbed frequency responses generated by the model. - Examples of perturbed frequency responses generated by the model.
# Research Tasks
## **Slide 1: Research Tasks Overview**
**Assertion:** This research aims to address verification challenges through structured tasks.
- **Evidence:** Four key research tasks support the proposed outcomes:
1. Mission-Beneficiary Fit
2. Find Robust Systems
3. Create Diffusion Model
4. Analyze and Disseminate Results
**Visuals:**
- A process diagram summarizing the four tasks.
---
## **Slide 2: Mission-Beneficiary Fit**
**Assertion:** Understanding beneficiaries ensures relevance and impact of this research.
- **Evidence:**
- Beneficiary Identification: Research how control engineers might use this work.
- Value Proposition: Define and align capabilities with verification needs.
**Visuals:**
- Chart or table identifying beneficiaries and their verification needs.
---
## **Slide 3: Find Robust Systems**
**Assertion:** Identifying relevant plants ensures practical applicability of results.
- **Evidence:**
- Literature Review: Investigate industrial applications of robust control verification.
- Create Example Plants: Reconstruct models of prominent systems for demonstrations.
**Visuals:**
- Example of a controlled industrial process.
- Flowchart of the literature review and modeling process.
---
## **Slide 4: Create Diffusion Model**
**Assertion:** A diffusion model is central to generating unstructured perturbations.
- **Evidence:**
- Identify Model Structure: Choose an architecture (e.g., U-Net).
- Train Model: Develop training data and optimize performance.
- Generate Perturbations: Apply the model to example plants.
**Visuals:**
- Diagram of a U-Net-based architecture.
- Example of generated unstructured perturbations.
---
## **Slide 5: Analyze and Disseminate Results**
**Assertion:** Communicating findings ensures broader adoption and state-of-the-art advancements.
- **Evidence:**
- Publish results in academic journals.
- Demonstrate impact on robustness verification practices.
**Visuals:**
- Example journal or conference targets.
- Overview of the dissemination process.
# Metrics of Success # Metrics of Success
# Risks and Contingencies # Risks and Contingencies
# #