From e1e2940bc0ebc3571c2a02a81d82d7c2ffd0db4b Mon Sep 17 00:00:00 2001
From: Dane Sabo <dane.sabo@pitt.edu>
Date: Mon, 25 Nov 2024 15:30:58 -0500
Subject: [PATCH] vault backup: 2024-11-25 15:30:58

---
 4 Qualifying Exam/4 Presentation/Outline.md | 75 +++++++++++++++++++++
 1 file changed, 75 insertions(+)

diff --git a/4 Qualifying Exam/4 Presentation/Outline.md b/4 Qualifying Exam/4 Presentation/Outline.md
index 46c58d1c..96b25c7f 100644
--- a/4 Qualifying Exam/4 Presentation/Outline.md	
+++ b/4 Qualifying Exam/4 Presentation/Outline.md	
@@ -190,6 +190,81 @@ _(Include a visual of how $\Delta$ affects $P$)_
 
 - Comparative chart: structured vs. unstructured methods.
 - 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
+
 # Risks and Contingencies
 # 
\ No newline at end of file