vault backup: 2024-11-11 10:08:02

This commit is contained in:
Dane Sabo 2024-11-11 10:08:02 -05:00
parent 659d384f46
commit 2dd95a62dc

View File

@ -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