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