2.9 KiB
2.9 KiB
| id | title | type | created | modified | tags | |
|---|---|---|---|---|---|---|
| 2026-05 | Weekly — 2026-01-28 | Weekly | 2026-01-28T18:38:10Z | 2026-01-28T18:45:48Z |
|
Weekly - 2026 CW 05 (Wed 2026-01-28)
Accomplishments
Thesis
- ✓ Edit research approach some
- ✓ The Algorithmic Analysis of Hybrid Systems (1995) (reading, overdue from 2026-01-09)
- ✓ Edit research approach
- Set up the ARCADE computer and got the undergrads an account
- Couple of the last interviews for the chair search. Things are looking really good and should wind down in intensity for a bit
General
- ✓ Write email to INL about rejecting offer
- ✓ Make groupchat for Sam's bachelor party
Pushed or Rescheduled
Poker
- Make development plan (overdue by 3 days)
- Make plan about table layout (overdue by 3 days)
Thesis
- Write: Define hybrid systems and requirements (tablesetting intro) (overdue by 13 hours)
- Write: Requirements mapping to system components (operational vs strategic) (overdue by 13 hours)
- Write: Requirements extraction and discrete abstraction (overdue by 13 hours)
- Write: Reactive synthesis implementation and tools (LTL, FRET) (overdue by 13 hours)
- Write: Continuous components intro and mode types overview (overdue by 13 hours)
- Write: Transitory modes (entry/exit, reachability verification) (overdue by 13 hours)
- Write: Stabilizing modes (barrier certificates) (overdue by 13 hours)
- Write: Expulsory modes (failure detection, ...) (overdue by 13 hours)
Cancelled or Deleted
No tasks were cancelled or deleted in the past week.
To Do
Finish writing about research approach. Redo risks and contingencies section based on research approach. For example, risk of continuous discrete abstraction being not good, risk of how much system variation is needed? Can only really do parametric uncertainty. Unless?
Due This Week
No tasks with explicit due dates in the next 7 days.
High Priority
These tasks are overdue and require immediate attention:
Thesis (urgency 14.5)
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993) (reading, overdue by 2 weeks)
- Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017) (reading, overdue by 2 weeks)
Poker (urgency 11.4)
- Make development plan (overdue by 3 days)
- Make plan about table layout (overdue by 3 days)
Thesis Writing (urgency 10.9)
- Write: Define hybrid systems and requirements (tablesetting intro) (overdue by 13 hours)
- Write: Requirements mapping to system components (operational vs strategic) (overdue by 13 hours)
- Write: Requirements extraction and discrete abstraction (overdue by 13 hours)
- Write: Reactive synthesis implementation and tools (LTL, FRET) (overdue by 13 hours)
- Write: Continuous components intro and mode types overview (overdue by 13 hours)
- Write: Transitory modes (entry/exit, reachability verification) (overdue by 13 hours)