update

Zettelkasten/Fleeting Notes/Journal/2025_08_06.md

@@ -0,0 +1,23 @@
+---
+---
+
+# 2025-08-06
+Today was the first day of the motorcycle safety course. It was
+good! I felt like I was honestly the best rider there. That being
+said, tomorrow is a new day and we'll see how it goes. Jackie
+looked like she had fun too.
+
+I had a great date yesterday. Miranda is very, very cool. She
+loves facebook marketplace, mac.bid, camping, and said her
+favorite book was *Dune*. My jaw just about fell open when I
+heard that. We're potentially going to go look at a van on
+Saturday. 
+
+I missed the Jumet Financial Open House. I slept right through
+that mf after getting back from the course. Whoops. I feel bad
+about it as Sam gave me a call right in the middle. No voicemail.
+Yikes. I'll see how that works out.
+
+Then, last thing today is getting some final writing done to say
+that I did any work today. No group meeting this week it looks
+like.

Zettelkasten/Permanent Notes/thesis-ideas.md

@@ -199,7 +199,7 @@ these economics significantly.
 
 As SMRs and MRs become more common, the cost of repair and
 maintenance should reduce dramatically as nuclear power
-componnets will become modular, replaceable parts instead of
+components will become modular, replaceable parts instead of
 the bespoke reactor designs currently operating. Operator
 wages, however, can be expected to increase without
 introducing greater controller autonomy. SMRs and MRs are
@@ -220,13 +220,44 @@ yada yada find some reasons to back this up.
 ___________________________________________________________
 
 ## **Verified Adaptive Control** 
-(10)
-
 ### Goals:
+The goal of this research is to create an adaptive controller
+that can adjust to system dynamics changes over time to maintain
+an optimal control, while using formal methods to provide strong
+safety guarantees about the malleable control law.
 
 ### Outcomes:
+For this research to be successful, I will accomplish the
+following:
+
+- Create a simulation suite for the Small Modular Advanced High
+Temperature Reactor (SmAHTR) to simulate component degradation
+such as heat exchanger blockages and fuel concentration burn-up.*
+
+- Create an adaptive control rod controller to maximize load following
+precision for a simulated power grid demand.
+
+- Use contract based verification at runtime to ensure that
+learned parameters for the adaptive controller remain within
+safety specification limits
+
+*Is this actually even a problem for SmAHTR? Figuring the fuel is
+suspended in the salt I'd assume chemistry is pretty strictly
+controlled. I'm sure I can find other examples.
 
 ### Impact:
+Certain reactor control systems are already automatic systems,
+such as constant temperature or pressure controls for operating
+at steady state. These simple controllers are able to follow load
+changes from the power grid on their own, but over will lose
+efficiency as the underlying plant mechanics become less
+efficient, or maintenance is performed and components are
+refreshed. For nuclear power contexts, fine control is ideal to
+maximize profits and to minimize energy wasteage. This is not an
+easy problem to solve, however, as the dynamics of the underlying
+plant are constantly changing. Adaptive control can help address
+this issue, but learnable controllers must come with guarantees
+of safety in order to be attractive to the nuclear industry.
 
 ### Related Papers: