From 2dd95a62dc30aad9a286d0aa10bd0a192f4cbcbe Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 11 Nov 2024 10:08:02 -0500 Subject: [PATCH] vault backup: 2024-11-11 10:08:02 --- 4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md b/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md index 8c6933c9..ca71b8e8 100644 --- a/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md +++ b/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md @@ -17,7 +17,8 @@ - It's an optimal controls problem. Has to do with the cost function of the input. Not exactly a robust control thing in itself, but you might be looking at how to minimize the cost robustly. - [ ] Read Mu Synthesis 📅 2024-11-04 # New (Finishing Written) -- [ ] Finish writing a little more about formal methods +- [x] Finish writing a little more about formal methods ✅ 2024-11-11 + - I just chopped it. It doesn't really make sense in our context. - [ ] Write metrics of success - This can basically be objectives - then measuring success - Talk about filling the disk of uncertainty