---
id: 2026-05
title: Weekly — 2026-01-28
type: Weekly
created: 2026-01-28T18:38:10Z
modified: 2026-01-28T18:45:48Z
tags: [weekly]
---

# 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)
