2.9 KiB
Executable File
| creation_date | modification date | tags |
|---|---|---|
| 2024-08-14 | Wednesday 14th August 2024 13:20:25 |
<< Weekly Note 2024-08-07 | Weekly Note 2024-08-21 >>
This Week's Daily Notes
2024-08-07 2024-08-08 2024-08-09 2024-08-12 2024-08-13
Last Week's Plan
ARCADE 1. Spin up the second beagleboard 2. Read a presentation from Andrew. Talks about future of ARCADE. Mentions HITL. Andrew's May 2024 ARCADE Presentation 3. Write about ARCADE Capabilities and what we want to use ARCADE to prove stuff with at Pitt. Reference 2. (SR-CIST) Workshop on Security and Resiliency of Critical Infrastructure and Space Technologies website to look at topics. DGC mentioned security and resiliency of critical infrastructure 2. Diffusion 1. Presentation is presentable. Reverse process isn't super clear in the slides but I think I could explain it. 2. Need to talk about learning the NOISE versus the image 3. Write reverse process for simple 1D signal. 3. Rust 1. Eh 🤷♂️ 4. Models All The Way Down - A Path Towards Software and Physical System Proof Synergy 1. DGC - Prevent talking out my ass. 2. New topic! ARCADE Implementation at the University of Pittsburgh
- NUCE 2103 Final Exam
- Look into if A Means to Formally Verify Controller Code Behaves as the Mathematical Model already exists
Accomplishments
ARCADE
Didn't do anything in particular. Had a good talk with Robert about how we can architect things for FHE and TRTR paper. When is that due?? Is it just a presentation?
Diffusion
Presentation tomorrow.
Rust
Nada
ARCADE Implementation at the University of Pittsburgh
This has been the brunt of my work this past week. I've been writing by butt off to get this done. I was trying to be done today but I don't think it's going to happen. Either way, I'm going to share the overleaf with DGC to take a look at what is done so far so things can happen a little asynchronously.
Need to write about FORMAL 🕴methods and basics of seL4 and kOS.
At about 2000 words. 3 pages. No figures, no abstract so far.
NUCE 2103
Class is complete. Got an A in the class!
Tasks and Notes From This Past Week
TASK
where completed and file.mtime >= this.file.mday - dur(7 days)
group by file.link
sort rows.file.mtime asc
Papers read this past week
table title as "Title", dateread as "Date Read"
where readstatus and dateread => this.creation_date-dur(7)
Remarks
This Week's Plan
ARCADE Implementation at the University of Pittsburgh
- Finish this
- come up with a good title
Fully Homomorphically Encrypted Control
- Pick up where Luis leaves off on the beaglebone and get things communicating
- Make a simulink model of a simple one pump reactor. More flow equals more power less flow equals less power. Control variable is flow rate, sensor value is temperature.
Orientation for new students
- talk about gsa