diff --git a/Fleeting Notes/Weekly/2026_07.md b/Fleeting Notes/Weekly/2026_07.md new file mode 100644 index 0000000..a5d8997 --- /dev/null +++ b/Fleeting Notes/Weekly/2026_07.md @@ -0,0 +1,77 @@ +--- +id: 2026-07 +title: Weekly — 2026-02-11 +type: Weekly +created: 2026-02-11T13:57:00Z +modified: 2026-02-11T13:57:00Z +tags: [weekly] +--- + +# Weekly - 2026 CW 07 (Wed 2026-02-11) + +## Accomplishments + +**Thesis** +- ✓ Write: Requirements mapping to system components (operational vs strategic) +- Wrote about FRET and temporal specifications — connection to operating procedures + +**DICE** +- ✓ Draft DICE abstract and send to Dan +- Incorporated Dan's feedback on abstract (revision in progress) + +**BSP** +- ✓ HW3 complete (all 5 problems + build report) + +**Other** +- ✓ Make plan about table layout (Poker) +- Reviewed Luis's thesis writing with him + +## Pushed or Rescheduled + +**Thesis Writing** +- Write: Define hybrid systems and requirements (tablesetting intro) — overdue +- Write: Continuous components intro and mode types overview — overdue +- Write: Reactive synthesis implementation and tools (LTL, FRET) — overdue +- Write: Transitory modes (entry/exit, reachability verification) — overdue +- Write: Expulsory modes (failure detection, safe shutdown) — overdue +- Write: Stabilizing modes (barrier certificates) — due Feb 13 + +**Reading** +- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993) — still overdue +- Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017) — still overdue + +## Cancelled or Deleted + +No tasks were cancelled or deleted this week. + +## To Do + +Tonight: Writing sprint on thesis sections. Morning was lost to class + politics discussion at lunch. + +**Due This Week** +- Edit DICE abstract based on Dan's feedback (Feb 12) +- Complete poster for PhD visit day (Feb 12) +- Write: Requirements extraction and discrete abstraction (Feb 12) +- Write: Stabilizing modes (barrier certificates) (Feb 13) +- Write: Industrial implementation (Emerson, digital twin testing) (Feb 13) + +**High Priority** + +**DICE (urgency 15.6)** +- Edit DICE abstract based on Dan's feedback — due tomorrow + +**Thesis Reading (urgency 14.7)** +- Hybrid Automata (1993) — overdue by 4+ weeks +- Hamilton-Jacobi Reachability (2017) — overdue by 4+ weeks + +**Thesis Writing (urgency 10-13)** +- Multiple sections overdue, see Pushed section above + +**Other** +- Review Luis's thesis writing and provide feedback (urgency 10.5) +- Complete poster for PhD visit day (urgency 9.6) + +## Notes + +- HCSS 2026 (May 11-13, Annapolis) identified as potential conference — very NRC-aligned, covers safety-critical systems and formal methods +- HSCC/ICCPS poster deadline Feb 20 if interested