time 1757438739
new [description:"learn taskmaster" entry:"1757438739" modified:"1757438739" status:"pending" uuid:"b4945a12-909c-47cc-8779-e3f8f917181c"]
---
time 1757438747
new [description:"try taskmaster" entry:"1757438747" modified:"1757438747" status:"pending" uuid:"a56a03cd-36ec-4786-907b-77d8d162426d"]
---
time 1757438776
old [description:"learn taskmaster" entry:"1757438739" modified:"1757438739" status:"pending" uuid:"b4945a12-909c-47cc-8779-e3f8f917181c"]
new [description:"learn taskmaster" end:"1757438776" entry:"1757438739" modified:"1757438776" status:"completed" uuid:"b4945a12-909c-47cc-8779-e3f8f917181c"]
---
time 1757438779
old [description:"try taskmaster" entry:"1757438747" modified:"1757438747" status:"pending" uuid:"a56a03cd-36ec-4786-907b-77d8d162426d"]
new [description:"try taskmaster" end:"1757438779" entry:"1757438747" modified:"1757438779" status:"completed" uuid:"a56a03cd-36ec-4786-907b-77d8d162426d"]
---
time 1757440862
new [description:"Write outline for SOTA project:ERLM due:today" entry:"1757440862" modified:"1757440862" status:"pending" uuid:"3dfe52e3-749b-4d6b-9a01-2b078ddd968a"]
---
time 1757440937
old [description:"Write outline for SOTA project:ERLM due:today" entry:"1757440862" modified:"1757440862" status:"pending" uuid:"3dfe52e3-749b-4d6b-9a01-2b078ddd968a"]
new [description:"Write outline for SOTA project:ERLM due:today" due:"1757390400" entry:"1757440862" modified:"1757440937" project:"ERLM," status:"pending" uuid:"3dfe52e3-749b-4d6b-9a01-2b078ddd968a"]
---
time 1757441193
new [description:"Literature review of rchapter 2 project:dissertation priority:H +reading due:friday" entry:"1757441193" modified:"1757441193" status:"pending" uuid:"864d1a2e-7343-403a-80e6-d95bff22d90b"]
---
time 1757441312
new [description:"Literature review" due:"1757649600" entry:"1757441312" modified:"1757441312" priority:"H" project:"dissertation" status:"pending" tags:"reading" tags_reading:"x" uuid:"670b304a-2f18-47b9-beb3-b0aa7eb38e57"]
---
time 1757441636
new [description:"fix pid controller" entry:"1757441636" modified:"1757441636" project:"research" status:"pending" tags:"coding,urgent" tags_coding:"x" tags_urgent:"x" uuid:"91f80e7a-7a7b-4f45-9593-872ba04039d7"]
---
time 1757441940
new [description:"hellow!" entry:"1757441940" modified:"1757441940" status:"pending" uuid:"1ee492ad-9e81-4b01-b062-2f4d166a7865"]
---
time 1757442082
new [description:"hellow testing" entry:"1757442082" modified:"1757442082" status:"pending" uuid:"44d5c3a3-d97b-4ef2-a0ab-de5d562830d3"]
---
time 1757442258
new [description:"testing" entry:"1757442258" modified:"1757442258" status:"pending" uuid:"9e4fb42e-8427-4f8a-9405-291de01f2425"]
---
time 1757442761
new [description:"testing testing" entry:"1757442761" modified:"1757442761" project:"urmom" status:"pending" uuid:"5c094262-eb5e-4763-927b-1919c03d9790"]
---
time 1757443175
new [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757443175" project:"ERLM" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
---
time 1757443210
new [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1757443210" project:"zk" status:"pending" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
---
time 1757443242
new [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
---
time 1757443262
new [description:"Look over obsidian tasks and see if anything is worth moving over" entry:"1757443262" modified:"1757443262" status:"pending" tags:"taskwarrior" tags_taskwarrior:"x" uuid:"c1a5390d-5b84-4f9c-8acb-ffb970682660"]
---
time 1757449130
new [description:"Follow up with Daniel about controls bootcamp" due:"1757563200" entry:"1757449130" modified:"1757449130" project:"FSAE" status:"pending" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"]
---
time 1757449286
new [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" entry:"1757449286" modified:"1757449286" status:"pending" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"]
---
time 1757449363
old [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" entry:"1757449286" modified:"1757449286" status:"pending" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"]
new [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" entry:"1757449286" modified:"1757449363" priority:"L" status:"pending" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"]
---
time 1757449731
new [description:"Look around for summer internships with national labs" entry:"1757449731" modified:"1757449731" status:"pending" uuid:"d3f3dc53-4feb-4b7e-8de5-86ebf3c535d5"]
---
time 1757449978
new [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757449978" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
---
time 1757450102
old [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757443175" project:"ERLM" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
new [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757450102" project:"ERLM" start:"1757450102" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
---
time 1757451747
old [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757450102" project:"ERLM" start:"1757450102" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
new [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757451747" project:"ERLM" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
---
time 1757515988
new [description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" entry:"1757515988" modified:"1757515988" status:"pending" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"]
---
time 1757516723
new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1757516723" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
---
time 1757516746
old [description:"Write outline for state of the art" due:"1757476800" entry:"1757443175" modified:"1757451747" project:"ERLM" status:"pending" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
new [description:"Write outline for state of the art" due:"1757476800" end:"1757516746" entry:"1757443175" modified:"1757516746" project:"ERLM" status:"completed" uuid:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91"]
---
time 1757615669
new [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757615669" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
---
time 1757618582
old [description:"Follow up with Daniel about controls bootcamp" due:"1757563200" entry:"1757449130" modified:"1757449130" project:"FSAE" status:"pending" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"]
new [description:"Follow up with Daniel about controls bootcamp" due:"1757563200" end:"1757618582" entry:"1757449130" modified:"1757618582" project:"FSAE" status:"completed" uuid:"3eaadead-4e5e-4823-9077-16d6e1800862"]
---
time 1757618583
old [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" entry:"1757449286" modified:"1757449363" priority:"L" status:"pending" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"]
new [description:"Follow up with Bajaj about writing TurboSAR paper" due:"1757563200" end:"1757618582" entry:"1757449286" modified:"1757618583" priority:"L" status:"completed" uuid:"fa2699f9-0082-433e-ae0d-cc2553db9865"]
---
time 1757620907
old [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757615669" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
new [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757620907" project:"Thesis" start:"1757620907" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
---
time 1757620955
old [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757449978" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
new [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757620955" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
---
time 1757621896
old [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757620907" project:"Thesis" start:"1757620907" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
new [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757621896" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
---
time 1757625029
new [description:"Write zettel about lipschitz continuity" entry:"1757625029" modified:"1757625029" status:"pending" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
---
time 1757627393
old [description:"Read Branicky Lyapunov paper" entry:"1757615669" modified:"1757621896" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
new [description:"Read Branicky Lyapunov paper" end:"1757627393" entry:"1757615669" modified:"1757627393" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
---
time 1757896615
old [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757885608" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
new [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757896615" project:"ERLM" start:"1757896615" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
---
time 1758040405
old [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" entry:"1757449978" modified:"1757896615" project:"ERLM" start:"1757896615" status:"pending" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
new [dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" end:"1758040405" entry:"1757449978" modified:"1758040405" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
---
time 1758055048
new [description:"Write research approach" due:"1758513600" entry:"1758055048" modified:"1758055048" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
---
time 1758055072
new [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36" description:"Research Approach Outline" entry:"1758055072" modified:"1758055072" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
---
time 1758055095
new [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055095" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
---
time 1758055106
old [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36" description:"Research Approach Outline" entry:"1758055072" modified:"1758055072" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
new [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36,c008dbde-ec2a-42f7-a34c-a6038e9d8cd4" description:"Research Approach Outline" entry:"1758055072" modified:"1758055106" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
---
time 1758055144
old [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36,c008dbde-ec2a-42f7-a34c-a6038e9d8cd4" description:"Research Approach Outline" entry:"1758055072" modified:"1758055106" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
new [description:"Research Approach Outline" entry:"1758055072" modified:"1758055144" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
---
time 1758055161
old [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055095" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
new [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055161" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
---
time 1758055188
old [dep_56c9b3cc-078e-4155-b4cd-f982ae23bd36:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"56c9b3cc-078e-4155-b4cd-f982ae23bd36,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055161" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
new [description:"Research Approach First Draft" entry:"1758055095" modified:"1758055188" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
---
time 1758055281
old [description:"Write research approach" due:"1758513600" entry:"1758055048" modified:"1758055048" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
new [dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" entry:"1758055048" modified:"1758055281" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
---
time 1758055295
old [description:"Research Approach First Draft" entry:"1758055095" modified:"1758055188" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
new [dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055295" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
---
time 1758125087
new [description:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"]
---
time 1758125087
new [description:"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"6ed5ae99-0296-4011-bb90-39d97021d7ae"]
---
time 1758125087
new [description:"Hybrid Systems: Review and Recent Progress (2003)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"1d8043ca-e583-4835-9d77-65e0e92361c3"]
---
time 1758125087
new [description:"Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b44414db-b0cb-4ed8-9440-1e244f97438e"]
---
time 1758125087
new [description:"Multiple Lyapunov Functions and Other Analysis Tools for Switched and Hybrid Systems (1998)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"99890abe-04ab-4f9f-ab06-cd624071710b"]
---
time 1758125087
new [description:"A Benchmark Suite for Hybrid Systems Reachability Analysis (2015)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"69a98afe-71f0-45d8-9117-5011c553fb8f"]
---
time 1758125087
new [description:"Flow*: An Analyzer for Non-linear Hybrid Systems (2013)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"7f99edb5-4a1c-498b-894b-d2b66e484013"]
---
time 1758125087
new [description:"A Complete Uniform Substitution Calculus for Differential Dynamic Logic | Journal of Automated Reasoning (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"5c8e94df-5d67-4614-bc28-0cf5eeb25175"]
---
time 1758125087
new [description:"Robust Satisfaction of Temporal Logic over Real-Valued Signals (2010)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"d5c545b7-6707-408d-b10d-54d425066de5"]
---
time 1758125087
new [description:"SpaceEx: Scalable Verification of Hybrid Systems (2011)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"477c1b57-2a64-484b-ad8c-14abaaa1fb8a"]
---
time 1758125087
new [description:"KeYmaera~X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (2015)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2a32c19c-d750-4e80-a3ed-51fec7a9e23f"]
---
time 1758125087
new [description:"Stability and Stabilization of Continuous‐Time Switched Linear Systems (2006)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"0d2797f6-63b6-41fb-b3de-5bc0cee27581"]
---
time 1758125087
new [description:"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics (2009)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"9e8cf332-f912-47da-abc6-89d01ddc1a92"]
---
time 1758125087
new [description:"Supervisory Control of Hybrid Systems (2000)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"613e4861-4cb0-4f5e-b930-41bec966b527"]
---
time 1758125087
new [description:"Uppaal in a Nutshell (1997)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"352739b9-a590-4399-8d8f-6240d5428479"]
---
time 1758125087
new [description:"Switching in Systems and Control (2003)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e802f098-4639-45fb-8ea9-50052a2b3fe1"]
---
time 1758125087
new [description:"Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results (2009)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e8183445-b696-4422-9b27-56ae3a82107f"]
---
time 1758125087
new [description:"Capturing and Analyzing Requirements with FRET (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"ab74a0c5-3f93-497c-89ca-6bafb4a89507"]
---
time 1758125087
new [description:"A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games (2005)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2eed0362-2b81-4378-a9f0-071ed62b8775"]
---
time 1758125087
new [description:"Differential Dynamic Logic for Hybrid Systems (2008)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e05d336d-6174-4d5d-8c0c-868169c27e34"]
---
time 1758125087
new [description:"Formal Verification of Avionics Software Products (2009)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3917b086-0c60-4044-b279-c6386878feb6"]
---
time 1758125087
new [description:"Opportunities and Challenges for Remote Microreactor Operations (2023)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2febb36a-fe32-44f7-8eea-16683edfc6c0"]
---
time 1758125087
new [description:"Switching Controller Synthesis for~Hybrid Systems Against STL Formulas (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"d45bc182-d7f3-4ab1-b654-852884f2b11c"]
---
time 1758125087
new [description:"Learning Local Control Barrier Functions for Hybrid Systems (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3abf4246-566a-4ba8-b392-cbab5d7a9aa0"]
---
time 1758125087
new [description:"Model Predictive Control of Stochastic Hybrid Systems with Signal Temporal Logic Constraints (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"320ec48e-134f-462f-ac3c-ffaf70698691"]
---
time 1758125087
new [description:"Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b47de464-8a66-45d2-b487-6588a60c8112"]
---
time 1758125189
old [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1757516723" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1758125189" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
---
time 1758125215
old [description:"Read Branicky Lyapunov paper" end:"1757627393" entry:"1757615669" modified:"1757627393" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
new [description:"Read Branicky Lyapunov paper" end:"1757627393" entry:"1757615669" modified:"1758125215" project:"thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
---
time 1758141482
old [description:"Research Approach Outline" entry:"1758055072" modified:"1758055144" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
new [description:"Research Approach Outline" end:"1758141482" entry:"1758055072" modified:"1758141482" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
---
time 1758731831
old [dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055295" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
new [dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" end:"1758731831" entry:"1758055095" modified:"1758731831" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
---
time 1758731839
old [dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" entry:"1758055048" modified:"1758055281" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
new [dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" end:"1758731839" entry:"1758055048" modified:"1758731839" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
---
time 1758731868
new [description:"Broader Impacts Worksheet" entry:"1758731868" modified:"1758731868" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"47b4efbf-8785-40d2-857d-6c9e44d2369e"]
---
time 1758731886
new [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" entry:"1758731886" modified:"1758731886" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
---
time 1758731923
old [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" entry:"1758731886" modified:"1758731886" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
new [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" entry:"1758731886" modified:"1758731923" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
---
time 1758731954
new [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758731954" project:"ERLM" status:"pending" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
---
time 1758731993
new [description:"Edit goals and outcomes" entry:"1758731993" modified:"1758731993" project:"ERLM" status:"pending" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
---
time 1758732019
new [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732019" project:"ERLM" status:"pending" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
---
time 1758732062
old [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758731954" project:"ERLM" status:"pending" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
new [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758732062" project:"ERLM" status:"pending" tags:"review" tags_review:"x" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
---
time 1758732076
old [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732019" project:"ERLM" status:"pending" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
new [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732076" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
---
time 1758732156
new [description:"Edit goals and outcomes to adjust capabilities. What is new capability, not research task" entry:"1758732156" modified:"1758732156" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"ce706282-31bb-4cba-882d-86f09a76045d"]
---
time 1758732208
new [description:"Add research tasks to research approach section" entry:"1758732208" modified:"1758732208" project:"ERLM" status:"pending" tags:"editing,writing" tags_editing:"x" tags_writing:"x" uuid:"56028c48-5a4b-46cd-a40e-ada624cf6187"]
---
time 1758732224
new [description:"Fix pagination that Dan was complaining about" entry:"1758732224" modified:"1758732224" project:"ERLM" status:"pending" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
---
time 1759156527
old [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758732062" project:"ERLM" status:"pending" tags:"review" tags_review:"x" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
new [description:"Complete peer review for SOTA" due:"1758859200" end:"1759156527" entry:"1758731954" modified:"1759156527" project:"ERLM" status:"completed" tags:"review" tags_review:"x" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
---
time 1759156557
old [description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" entry:"1757515988" modified:"1757515988" status:"pending" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"]
new [description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" end:"1759156557" entry:"1757515988" modified:"1759156557" status:"completed" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"]
---
time 1759156557
old [description:"Broader Impacts Worksheet" entry:"1758731868" modified:"1758731868" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"47b4efbf-8785-40d2-857d-6c9e44d2369e"]
new [description:"Broader Impacts Worksheet" end:"1759156557" entry:"1758731868" modified:"1759156557" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"47b4efbf-8785-40d2-857d-6c9e44d2369e"]
---
time 1759156563
old [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" entry:"1758731886" modified:"1758731923" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
new [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" entry:"1758731886" modified:"1759156563" project:"ERLM" start:"1759156563" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
---
time 1759161466
old [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" entry:"1758731886" modified:"1759156563" project:"ERLM" start:"1759156563" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
new [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" end:"1759161466" entry:"1758731886" modified:"1759161466" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
---
time 1759418141
new [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418141" priority:"H" project:"NUCE2102" status:"pending" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
---
time 1759418173
new [description:"Complete broader impacts peer review" due:"1759464000" entry:"1759418173" modified:"1759418173" project:"ERLM" status:"pending" uuid:"a5877ce8-f750-413d-8ec1-0e9429395cee"]
---
time 1759418188
new [description:"Write GO v3" due:"1759723200" entry:"1759418188" modified:"1759418188" project:"ERLM" status:"pending" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
---
time 1759418779
old [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418141" priority:"H" project:"NUCE2102" status:"pending" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
new [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418779" priority:"H" project:"classes" status:"pending" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
---
time 1759948084
old [description:"Write zettel about lipschitz continuity" entry:"1757625029" modified:"1757625029" status:"pending" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
new [description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1759948084" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
---
time 1759948089
old [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418779" priority:"H" project:"classes" status:"pending" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
new [description:"Complete midterm" due:"1759723200" end:"1759948084" entry:"1759418141" modified:"1759948089" priority:"H" project:"classes" status:"completed" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
---
time 1759948091
old [description:"Write GO v3" due:"1759723200" entry:"1759418188" modified:"1759418188" project:"ERLM" status:"pending" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
new [description:"Write GO v3" due:"1759723200" end:"1759948089" entry:"1759418188" modified:"1759948091" project:"ERLM" status:"completed" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
---
time 1759948216
new [description:"Complete peer review with Simeona" due:"1759982400" entry:"1759948216" modified:"1759948216" project:"ERLM" status:"pending" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
---
time 1759948224
new [description:"Write metrics of success section" entry:"1759948224" modified:"1759948224" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3bf52991-f8df-4387-9a79-0b5f14f2c5d1"]
---
time 1759948253
new [description:"Make list of internship spots" due:"1760068800" entry:"1759948253" modified:"1759948253" project:"Internship" status:"pending" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
---
time 1759948281
new [description:"Find INL person Robert mentioned" due:"1759896000" entry:"1759948281" modified:"1759948281" project:"Internship" status:"pending" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
---
time 1759949018
new [description:"Do intial play around with Emerson Ovation system" due:"1760068800" entry:"1759949018" modified:"1759949018" status:"pending" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"]
---
time 1759950172
old [description:"Edit goals and outcomes" entry:"1758731993" modified:"1758731993" project:"ERLM" status:"pending" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
new [description:"Edit goals and outcomes" end:"1759950170" entry:"1758731993" modified:"1759950172" project:"ERLM" status:"deleted" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
---
time 1759950177
old [description:"Fix pagination that Dan was complaining about" entry:"1758732224" modified:"1758732224" project:"ERLM" status:"pending" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
new [description:"Fix pagination that Dan was complaining about" end:"1759950177" entry:"1758732224" modified:"1759950177" project:"ERLM" status:"completed" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
---
time 1760040527
old [description:"Complete peer review with Simeona" due:"1759982400" entry:"1759948216" modified:"1759948216" project:"ERLM" status:"pending" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
new [description:"Complete peer review with Simeona" due:"1759982400" end:"1760040527" entry:"1759948216" modified:"1760040527" project:"ERLM" status:"completed" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
---
time 1760040527
old [description:"Find INL person Robert mentioned" due:"1759896000" entry:"1759948281" modified:"1759948281" project:"Internship" status:"pending" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
new [description:"Find INL person Robert mentioned" due:"1759896000" end:"1760040527" entry:"1759948281" modified:"1760040527" project:"Internship" status:"completed" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
---
time 1760040574
old [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1758125189" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1760040574" project:"thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
---
time 1760553372
old [description:"Edit goals and outcomes to adjust capabilities. What is new capability, not research task" entry:"1758732156" modified:"1758732156" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"ce706282-31bb-4cba-882d-86f09a76045d"]
new [description:"Edit goals and outcomes to adjust capabilities. What is new capability, not research task" end:"1760553372" entry:"1758732156" modified:"1760553372" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"ce706282-31bb-4cba-882d-86f09a76045d"]
---
time 1760553372
old [description:"Write metrics of success section" entry:"1759948224" modified:"1759948224" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3bf52991-f8df-4387-9a79-0b5f14f2c5d1"]
new [description:"Write metrics of success section" end:"1760553372" entry:"1759948224" modified:"1760553372" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"3bf52991-f8df-4387-9a79-0b5f14f2c5d1"]
---
time 1760563307
new [description:"Find out what 10 CFR is. Specifically, 10 CFR 50.34 and 10 CFR 55.59. Emergency Operating Procedures?" entry:"1760563307" modified:"1760563307" project:"thesis" status:"pending" uuid:"b0192186-bcbc-4d5c-a156-5e83fdfeda69"]
---
time 1760565076
new [description:"edit State of the art" entry:"1760565076" modified:"1760565076" project:"ERLM" status:"pending" uuid:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9"]
---
time 1760565099
new [dep_fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9:"x" depends:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9" description:"Write whitepaper" due:"1760932800" entry:"1760565099" modified:"1760565099" project:"ERLM" status:"pending" uuid:"52b4cc9a-33c7-472b-b3b6-3e9504649e19"]
---
time 1760565119
old [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732076" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
new [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" end:"1760565119" entry:"1758732019" modified:"1760565119" project:"ERLM" status:"completed" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
---
time 1760708047
new [description:"projet:thesis Read NUREG 899" entry:"1760708047" modified:"1760708047" priority:"H" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
---
time 1761068844
old [description:"Complete broader impacts peer review" due:"1759464000" entry:"1759418173" modified:"1759418173" project:"ERLM" status:"pending" uuid:"a5877ce8-f750-413d-8ec1-0e9429395cee"]
new [description:"Complete broader impacts peer review" due:"1759464000" end:"1761068842" entry:"1759418173" modified:"1761068844" project:"ERLM" status:"completed" uuid:"a5877ce8-f750-413d-8ec1-0e9429395cee"]
---
time 1761068847
old [description:"edit State of the art" entry:"1760565076" modified:"1760565076" project:"ERLM" status:"pending" uuid:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9"]
new [description:"edit State of the art" end:"1761068844" entry:"1760565076" modified:"1761068847" project:"ERLM" status:"completed" uuid:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9"]
---
time 1761068849
old [dep_fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9:"x" depends:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9" description:"Write whitepaper" due:"1760932800" entry:"1760565099" modified:"1760565099" project:"ERLM" status:"pending" uuid:"52b4cc9a-33c7-472b-b3b6-3e9504649e19"]
new [dep_fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9:"x" depends:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9" description:"Write whitepaper" due:"1760932800" end:"1761068847" entry:"1760565099" modified:"1761068849" project:"ERLM" status:"completed" uuid:"52b4cc9a-33c7-472b-b3b6-3e9504649e19"]
---
time 1761068895
new [description:"Add questions to interview sheet" entry:"1761068895" modified:"1761068895" project:"Chair-Search" status:"pending" uuid:"9abe2970-5ed8-4e01-9d7a-62381578439e"]
---
time 1761068926
new [description:"Turn things on whiteboard into tasks" due:"1761019200" entry:"1761068926" modified:"1761068926" priority:"H" project:"thesis" status:"pending" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
---
time 1761076889
old [description:"Turn things on whiteboard into tasks" due:"1761019200" entry:"1761068926" modified:"1761068926" priority:"H" project:"thesis" status:"pending" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
new [description:"Turn things on whiteboard into tasks" due:"1761019200" entry:"1761068926" modified:"1761076889" priority:"H" project:"thesis" start:"1761076889" status:"pending" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
---
time 1761077089
new [description:"Combine research statement and goals and outcomes" entry:"1761077089" modified:"1761077089" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"f92493c8-81ec-4e6b-9a6f-d6c038e633b4"]
---
time 1761077133
new [description:"SOTA Current Reactor Procedures subsection" entry:"1761077133" modified:"1761077133" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"12538e0e-9337-4a31-9b71-5c718369e5ac"]
---
time 1761077187
new [description:"SOTA Human Factors in Nuclear Accidents subsection" entry:"1761077187" modified:"1761077187" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"c9d5bd46-8d01-4d57-9789-e7b4c18300ef"]
---
time 1761077205
new [description:"SOTA HARDENS, who is Galois?" entry:"1761077205" modified:"1761077205" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"2b5b49d6-1bc9-4a64-a22a-196c0ffb35a1"]
---
time 1761077237
new [description:"RA Finish Temporal Logic - automata section" entry:"1761077237" modified:"1761077237" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"8057e9c3-9a21-4f4e-a232-15be0c92fa7a"]
---
time 1761077262
new [description:"RA What is reachability, barrier certs" entry:"1761077262" modified:"1761077262" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"95a11f85-7606-4cc1-9efa-4a7ef19c9f36"]
---
time 1761077284
new [description:"RA Emerson Ovation Subsection" entry:"1761077284" modified:"1761077284" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"5d4627a4-cfb6-4e0e-95ef-d9f557d1a717"]
---
time 1761077306
new [description:"BI Reactor operator shortage, human factors limits" entry:"1761077306" modified:"1761077306" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"7f7fbf5c-1ae8-4abc-9488-fa66e7b3f958"]
---
time 1761077359
new [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761077359" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"]
---
time 1761077394
new [description:"Come up with a toy problem for Research Approach" entry:"1761077394" modified:"1761077394" project:"thesis" status:"pending" tags:"brainstorming" tags_brainstorming:"x" uuid:"2c537727-f404-44d3-9442-7113eb9f2362"]
---
time 1761077413
old [description:"Turn things on whiteboard into tasks" due:"1761019200" entry:"1761068926" modified:"1761076889" priority:"H" project:"thesis" start:"1761076889" status:"pending" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
new [description:"Turn things on whiteboard into tasks" due:"1761019200" end:"1761077413" entry:"1761068926" modified:"1761077413" priority:"H" project:"thesis" status:"completed" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
---
time 1761077652
old [description:"Make list of internship spots" due:"1760068800" entry:"1759948253" modified:"1759948253" project:"Internship" status:"pending" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
new [description:"Make list of internship spots" due:"1760068800" entry:"1759948253" modified:"1761077652" project:"Internship" start:"1761077652" status:"pending" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
---
time 1761078828
new [description:"Triage Lees comments on research approach" entry:"1761078828" modified:"1761078828" project:"thesis" status:"pending" uuid:"d334e98d-df5c-48ba-9c5c-b8a2da9fbd26"]
---
time 1761078940
new [description:"Find Oklo recruiter" entry:"1761078940" modified:"1761078940" status:"pending" uuid:"25581dec-d1ad-407e-86d0-ec08de7a6e46"]
---
time 1761079067
new [description:"Find Anduril recruiter" entry:"1761079067" modified:"1761079067" status:"pending" uuid:"0f49f6e0-f48f-4a1d-a7d3-d0091942094b"]
---
time 1761079075
new [description:"Look for CIA internships" entry:"1761079075" modified:"1761079075" status:"pending" uuid:"9da15ed9-5fe5-4eff-a25f-0423509e3107"]
---
time 1761079090
new [description:"Look for Lockheed Martin internships \/ find recruiter" entry:"1761079090" modified:"1761079090" status:"pending" uuid:"7055238c-049a-4bc2-abef-211d9e8c5a9b"]
---
time 1761079106
new [description:"Look for Applied Physics Lab internships" entry:"1761079106" modified:"1761079106" status:"pending" uuid:"00deb973-dae6-4828-a433-b0394edfaf5b"]
---
time 1761079118
new [description:"Look for any Loonwerks internships." entry:"1761079118" modified:"1761079118" status:"pending" uuid:"532d308c-b754-4861-a2f2-5395ccb13bf8"]
---
time 1761079126
old [description:"Make list of internship spots" due:"1760068800" entry:"1759948253" modified:"1761077652" project:"Internship" start:"1761077652" status:"pending" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
new [description:"Make list of internship spots" due:"1760068800" end:"1761079126" entry:"1759948253" modified:"1761079126" project:"Internship" status:"completed" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
---
time 1761079177
old [description:"projet:thesis Read NUREG 899" entry:"1760708047" modified:"1760708047" priority:"H" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
new [description:"Read NUREG 899" entry:"1760708047" modified:"1761079177" priority:"H" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
---
time 1761079200
old [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1760040574" project:"thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1761079200" project:"Thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
---
time 1761079200
old [description:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"]
new [description:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"]
---
time 1761079200
old [description:"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"6ed5ae99-0296-4011-bb90-39d97021d7ae"]
new [description:"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"6ed5ae99-0296-4011-bb90-39d97021d7ae"]
---
time 1761079200
old [description:"Hybrid Systems: Review and Recent Progress (2003)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"1d8043ca-e583-4835-9d77-65e0e92361c3"]
new [description:"Hybrid Systems: Review and Recent Progress (2003)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"1d8043ca-e583-4835-9d77-65e0e92361c3"]
---
time 1761079200
old [description:"Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b44414db-b0cb-4ed8-9440-1e244f97438e"]
new [description:"Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b44414db-b0cb-4ed8-9440-1e244f97438e"]
---
time 1761079200
old [description:"Multiple Lyapunov Functions and Other Analysis Tools for Switched and Hybrid Systems (1998)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"99890abe-04ab-4f9f-ab06-cd624071710b"]
new [description:"Multiple Lyapunov Functions and Other Analysis Tools for Switched and Hybrid Systems (1998)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"99890abe-04ab-4f9f-ab06-cd624071710b"]
---
time 1761079200
old [description:"A Benchmark Suite for Hybrid Systems Reachability Analysis (2015)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"69a98afe-71f0-45d8-9117-5011c553fb8f"]
new [description:"A Benchmark Suite for Hybrid Systems Reachability Analysis (2015)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"69a98afe-71f0-45d8-9117-5011c553fb8f"]
---
time 1761079200
old [description:"Flow*: An Analyzer for Non-linear Hybrid Systems (2013)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"7f99edb5-4a1c-498b-894b-d2b66e484013"]
new [description:"Flow*: An Analyzer for Non-linear Hybrid Systems (2013)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"7f99edb5-4a1c-498b-894b-d2b66e484013"]
---
time 1761079200
old [description:"A Complete Uniform Substitution Calculus for Differential Dynamic Logic | Journal of Automated Reasoning (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"5c8e94df-5d67-4614-bc28-0cf5eeb25175"]
new [description:"A Complete Uniform Substitution Calculus for Differential Dynamic Logic | Journal of Automated Reasoning (2025)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"5c8e94df-5d67-4614-bc28-0cf5eeb25175"]
---
time 1761079200
old [description:"Robust Satisfaction of Temporal Logic over Real-Valued Signals (2010)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"d5c545b7-6707-408d-b10d-54d425066de5"]
new [description:"Robust Satisfaction of Temporal Logic over Real-Valued Signals (2010)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"d5c545b7-6707-408d-b10d-54d425066de5"]
---
time 1761079200
old [description:"SpaceEx: Scalable Verification of Hybrid Systems (2011)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"477c1b57-2a64-484b-ad8c-14abaaa1fb8a"]
new [description:"SpaceEx: Scalable Verification of Hybrid Systems (2011)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"477c1b57-2a64-484b-ad8c-14abaaa1fb8a"]
---
time 1761079200
old [description:"KeYmaera~X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (2015)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2a32c19c-d750-4e80-a3ed-51fec7a9e23f"]
new [description:"KeYmaera~X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (2015)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2a32c19c-d750-4e80-a3ed-51fec7a9e23f"]
---
time 1761079200
old [description:"Stability and Stabilization of Continuous‐Time Switched Linear Systems (2006)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"0d2797f6-63b6-41fb-b3de-5bc0cee27581"]
new [description:"Stability and Stabilization of Continuous‐Time Switched Linear Systems (2006)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"0d2797f6-63b6-41fb-b3de-5bc0cee27581"]
---
time 1761079200
old [description:"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics (2009)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"9e8cf332-f912-47da-abc6-89d01ddc1a92"]
new [description:"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics (2009)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"9e8cf332-f912-47da-abc6-89d01ddc1a92"]
---
time 1761079200
old [description:"Supervisory Control of Hybrid Systems (2000)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"613e4861-4cb0-4f5e-b930-41bec966b527"]
new [description:"Supervisory Control of Hybrid Systems (2000)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"613e4861-4cb0-4f5e-b930-41bec966b527"]
---
time 1761079200
old [description:"Uppaal in a Nutshell (1997)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"352739b9-a590-4399-8d8f-6240d5428479"]
new [description:"Uppaal in a Nutshell (1997)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"352739b9-a590-4399-8d8f-6240d5428479"]
---
time 1761079200
old [description:"Switching in Systems and Control (2003)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e802f098-4639-45fb-8ea9-50052a2b3fe1"]
new [description:"Switching in Systems and Control (2003)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e802f098-4639-45fb-8ea9-50052a2b3fe1"]
---
time 1761079200
old [description:"Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results (2009)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e8183445-b696-4422-9b27-56ae3a82107f"]
new [description:"Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results (2009)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e8183445-b696-4422-9b27-56ae3a82107f"]
---
time 1761079200
old [description:"Capturing and Analyzing Requirements with FRET (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"ab74a0c5-3f93-497c-89ca-6bafb4a89507"]
new [description:"Capturing and Analyzing Requirements with FRET (2025)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"ab74a0c5-3f93-497c-89ca-6bafb4a89507"]
---
time 1761079200
old [description:"A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games (2005)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2eed0362-2b81-4378-a9f0-071ed62b8775"]
new [description:"A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games (2005)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2eed0362-2b81-4378-a9f0-071ed62b8775"]
---
time 1761079200
old [description:"Differential Dynamic Logic for Hybrid Systems (2008)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e05d336d-6174-4d5d-8c0c-868169c27e34"]
new [description:"Differential Dynamic Logic for Hybrid Systems (2008)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"e05d336d-6174-4d5d-8c0c-868169c27e34"]
---
time 1761079200
old [description:"Formal Verification of Avionics Software Products (2009)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3917b086-0c60-4044-b279-c6386878feb6"]
new [description:"Formal Verification of Avionics Software Products (2009)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3917b086-0c60-4044-b279-c6386878feb6"]
---
time 1761079200
old [description:"Opportunities and Challenges for Remote Microreactor Operations (2023)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2febb36a-fe32-44f7-8eea-16683edfc6c0"]
new [description:"Opportunities and Challenges for Remote Microreactor Operations (2023)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"2febb36a-fe32-44f7-8eea-16683edfc6c0"]
---
time 1761079200
old [description:"Switching Controller Synthesis for~Hybrid Systems Against STL Formulas (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"d45bc182-d7f3-4ab1-b654-852884f2b11c"]
new [description:"Switching Controller Synthesis for~Hybrid Systems Against STL Formulas (2025)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"d45bc182-d7f3-4ab1-b654-852884f2b11c"]
---
time 1761079200
old [description:"Learning Local Control Barrier Functions for Hybrid Systems (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3abf4246-566a-4ba8-b392-cbab5d7a9aa0"]
new [description:"Learning Local Control Barrier Functions for Hybrid Systems (2024)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3abf4246-566a-4ba8-b392-cbab5d7a9aa0"]
---
time 1761079200
old [description:"Model Predictive Control of Stochastic Hybrid Systems with Signal Temporal Logic Constraints (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"320ec48e-134f-462f-ac3c-ffaf70698691"]
new [description:"Model Predictive Control of Stochastic Hybrid Systems with Signal Temporal Logic Constraints (2025)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"320ec48e-134f-462f-ac3c-ffaf70698691"]
---
time 1761079200
old [description:"Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b47de464-8a66-45d2-b487-6588a60c8112"]
new [description:"Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications (2024)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b47de464-8a66-45d2-b487-6588a60c8112"]
---
time 1761079200
old [description:"Find out what 10 CFR is. Specifically, 10 CFR 50.34 and 10 CFR 55.59. Emergency Operating Procedures?" entry:"1760563307" modified:"1760563307" project:"thesis" status:"pending" uuid:"b0192186-bcbc-4d5c-a156-5e83fdfeda69"]
new [description:"Find out what 10 CFR is. Specifically, 10 CFR 50.34 and 10 CFR 55.59. Emergency Operating Procedures?" entry:"1760563307" modified:"1761079200" project:"Thesis" status:"pending" uuid:"b0192186-bcbc-4d5c-a156-5e83fdfeda69"]
---
time 1761079200
old [description:"Read NUREG 899" entry:"1760708047" modified:"1761079177" priority:"H" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
new [description:"Read NUREG 899" entry:"1760708047" modified:"1761079200" priority:"H" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
---
time 1761079200
old [description:"Combine research statement and goals and outcomes" entry:"1761077089" modified:"1761077089" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"f92493c8-81ec-4e6b-9a6f-d6c038e633b4"]
new [description:"Combine research statement and goals and outcomes" entry:"1761077089" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"f92493c8-81ec-4e6b-9a6f-d6c038e633b4"]
---
time 1761079200
old [description:"SOTA Current Reactor Procedures subsection" entry:"1761077133" modified:"1761077133" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"12538e0e-9337-4a31-9b71-5c718369e5ac"]
new [description:"SOTA Current Reactor Procedures subsection" entry:"1761077133" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"12538e0e-9337-4a31-9b71-5c718369e5ac"]
---
time 1761079200
old [description:"SOTA Human Factors in Nuclear Accidents subsection" entry:"1761077187" modified:"1761077187" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"c9d5bd46-8d01-4d57-9789-e7b4c18300ef"]
new [description:"SOTA Human Factors in Nuclear Accidents subsection" entry:"1761077187" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"c9d5bd46-8d01-4d57-9789-e7b4c18300ef"]
---
time 1761079200
old [description:"SOTA HARDENS, who is Galois?" entry:"1761077205" modified:"1761077205" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"2b5b49d6-1bc9-4a64-a22a-196c0ffb35a1"]
new [description:"SOTA HARDENS, who is Galois?" entry:"1761077205" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"2b5b49d6-1bc9-4a64-a22a-196c0ffb35a1"]
---
time 1761079200
old [description:"RA Finish Temporal Logic - automata section" entry:"1761077237" modified:"1761077237" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"8057e9c3-9a21-4f4e-a232-15be0c92fa7a"]
new [description:"RA Finish Temporal Logic - automata section" entry:"1761077237" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"8057e9c3-9a21-4f4e-a232-15be0c92fa7a"]
---
time 1761079200
old [description:"RA What is reachability, barrier certs" entry:"1761077262" modified:"1761077262" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"95a11f85-7606-4cc1-9efa-4a7ef19c9f36"]
new [description:"RA What is reachability, barrier certs" entry:"1761077262" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"95a11f85-7606-4cc1-9efa-4a7ef19c9f36"]
---
time 1761079200
old [description:"RA Emerson Ovation Subsection" entry:"1761077284" modified:"1761077284" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"5d4627a4-cfb6-4e0e-95ef-d9f557d1a717"]
new [description:"RA Emerson Ovation Subsection" entry:"1761077284" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"5d4627a4-cfb6-4e0e-95ef-d9f557d1a717"]
---
time 1761079200
old [description:"BI Reactor operator shortage, human factors limits" entry:"1761077306" modified:"1761077306" project:"thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"7f7fbf5c-1ae8-4abc-9488-fa66e7b3f958"]
new [description:"BI Reactor operator shortage, human factors limits" entry:"1761077306" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"7f7fbf5c-1ae8-4abc-9488-fa66e7b3f958"]
---
time 1761079200
old [description:"Come up with a toy problem for Research Approach" entry:"1761077394" modified:"1761077394" project:"thesis" status:"pending" tags:"brainstorming" tags_brainstorming:"x" uuid:"2c537727-f404-44d3-9442-7113eb9f2362"]
new [description:"Come up with a toy problem for Research Approach" entry:"1761077394" modified:"1761079200" project:"Thesis" status:"pending" tags:"brainstorming" tags_brainstorming:"x" uuid:"2c537727-f404-44d3-9442-7113eb9f2362"]
---
time 1761079200
old [description:"Triage Lees comments on research approach" entry:"1761078828" modified:"1761078828" project:"thesis" status:"pending" uuid:"d334e98d-df5c-48ba-9c5c-b8a2da9fbd26"]
new [description:"Triage Lees comments on research approach" entry:"1761078828" modified:"1761079200" project:"Thesis" status:"pending" uuid:"d334e98d-df5c-48ba-9c5c-b8a2da9fbd26"]
---
time 1761079200
old [description:"Turn things on whiteboard into tasks" due:"1761019200" end:"1761077413" entry:"1761068926" modified:"1761077413" priority:"H" project:"thesis" status:"completed" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
new [description:"Turn things on whiteboard into tasks" due:"1761019200" end:"1761077413" entry:"1761068926" modified:"1761079200" priority:"H" project:"Thesis" status:"completed" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"]
---
time 1761079200
old [description:"Read Branicky Lyapunov paper" end:"1757627393" entry:"1757615669" modified:"1758125215" project:"thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
new [description:"Read Branicky Lyapunov paper" end:"1757627393" entry:"1757615669" modified:"1761079200" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
---
time 1761159978
new [description:"Follow up w Greg and make when2meet" entry:"1761159978" modified:"1761159978" project:"Internship" status:"pending" uuid:"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"]
---
time 1761159981
old [description:"Follow up w Greg and make when2meet" entry:"1761159978" modified:"1761159978" project:"Internship" status:"pending" uuid:"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"]
new [description:"Follow up w Greg and make when2meet" end:"1761159981" entry:"1761159978" modified:"1761159981" project:"Internship" status:"completed" uuid:"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"]
---
time 1761235584
new [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235584" project:"zk" status:"pending" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"]
---
time 1761235594
new [description:"Mealy Machines" entry:"1761235594" modified:"1761235594" project:"zk" status:"pending" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"]
---
time 1761235602
new [description:"AIGER Circuits" entry:"1761235602" modified:"1761235602" project:"zk" status:"pending" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"]
---
time 1761235610
new [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235610" project:"zk" status:"pending" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"]
---
time 1761235731
old [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1757443210" project:"zk" status:"pending" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
new [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761235731" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
---
time 1761235737
old [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
new [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
---
time 1761235737
old [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235584" project:"zk" status:"pending" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"]
new [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"]
---
time 1761235737
old [description:"Mealy Machines" entry:"1761235594" modified:"1761235594" project:"zk" status:"pending" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"]
new [description:"Mealy Machines" entry:"1761235594" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"]
---
time 1761235737
old [description:"AIGER Circuits" entry:"1761235602" modified:"1761235602" project:"zk" status:"pending" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"]
new [description:"AIGER Circuits" entry:"1761235602" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"]
---
time 1761235737
old [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235610" project:"zk" status:"pending" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"]
new [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"]
---
time 1761236139
new [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" entry:"1761236139" modified:"1761236139" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"]
---
time 1761236202
new [description:"Check When2Meet and schedule meeting" due:"1761278400" entry:"1761236202" modified:"1761236202" project:"Internship" status:"pending" uuid:"bac970fa-0e14-4f40-93d0-287859e8ab0b"]
---
time 1761238901
old [description:"Read NUREG 899" entry:"1760708047" modified:"1761079200" priority:"H" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
new [description:"Read NUREG 899" entry:"1760708047" modified:"1761238901" priority:"H" project:"Thesis" start:"1761238901" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
---
time 1761239926
old [description:"Read NUREG 899" entry:"1760708047" modified:"1761238901" priority:"H" project:"Thesis" start:"1761238901" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
new [description:"Read NUREG 899" end:"1761239926" entry:"1760708047" modified:"1761239926" priority:"H" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"]
---
time 1761239947
new [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761239947" project:"thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
---
time 1761319017
old [description:"Do intial play around with Emerson Ovation system" due:"1760068800" entry:"1759949018" modified:"1759949018" status:"pending" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"]
new [description:"Do intial play around with Emerson Ovation system" due:"1760068800" end:"1761319017" entry:"1759949018" modified:"1761319017" status:"completed" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"]
---
time 1761319183
new [description:"Make one-slide about Ovation Research connection for Emerson CEO visit" due:"1761278400" entry:"1761319183" modified:"1761319183" priority:"H" status:"pending" uuid:"882115bd-e94a-4a5d-a22f-5b142a87d77e"]
---
time 1761319194
old [description:"Make one-slide about Ovation Research connection for Emerson CEO visit" due:"1761278400" entry:"1761319183" modified:"1761319183" priority:"H" status:"pending" uuid:"882115bd-e94a-4a5d-a22f-5b142a87d77e"]
new [description:"Make one-slide about Ovation Research connection for Emerson CEO visit" due:"1761278400" entry:"1761319183" modified:"1761319194" priority:"H" start:"1761319194" status:"pending" uuid:"882115bd-e94a-4a5d-a22f-5b142a87d77e"]
---
time 1761339665
old [description:"Check When2Meet and schedule meeting" due:"1761278400" entry:"1761236202" modified:"1761236202" project:"Internship" status:"pending" uuid:"bac970fa-0e14-4f40-93d0-287859e8ab0b"]
new [description:"Check When2Meet and schedule meeting" due:"1761278400" end:"1761339665" entry:"1761236202" modified:"1761339665" project:"Internship" status:"completed" uuid:"bac970fa-0e14-4f40-93d0-287859e8ab0b"]
---
time 1761339665
old [description:"Make one-slide about Ovation Research connection for Emerson CEO visit" due:"1761278400" entry:"1761319183" modified:"1761319194" priority:"H" start:"1761319194" status:"pending" uuid:"882115bd-e94a-4a5d-a22f-5b142a87d77e"]
new [description:"Make one-slide about Ovation Research connection for Emerson CEO visit" due:"1761278400" end:"1761339665" entry:"1761319183" modified:"1761339665" priority:"H" status:"completed" uuid:"882115bd-e94a-4a5d-a22f-5b142a87d77e"]
---
time 1761576045
old [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761077359" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"]
new [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761576045" project:"ERLM" start:"1761576045" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"]
---
time 1761678691
old [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761576045" project:"ERLM" start:"1761576045" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"]
new [description:"RnC Assumptions Excercise" end:"1761678691" entry:"1761077359" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"]
---
time 1761678691
old [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" entry:"1761236139" modified:"1761236139" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"]
new [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" end:"1761678691" entry:"1761236139" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"]
---
time 1761678727
new [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761678727" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a"]
---
time 1761680588
old [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761239947" project:"thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
new [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761680588" project:"Thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
---
time 1761681087
old [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761678727" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a"]
new [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761681087" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"]
---
time 1761688079
new [description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761688079" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"]
---
time 1761688085
old [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1761079200" project:"Thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" end:"1761688085" entry:"1757516723" modified:"1761688085" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
---
time 1761751727
new [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761751727" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33"]
---
time 1761844509
old [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761681087" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"]
new [description:"descriptoin:Budget" due:"1762146000" entry:"1761678727" modified:"1761844509" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"]
---
time 1761844587
old [description:"descriptoin:Budget" due:"1762146000" entry:"1761678727" modified:"1761844509" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"]
new [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844587" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"]
---
time 1761844632
old [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844587" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"]
new [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844632" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761883200"]
---
time 1761844715
old [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761751727" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33"]
new [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761844715" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33" wait:"1762146000"]
---
time 1761848252
old [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761680588" project:"Thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
new [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761848252" project:"Thesis" start:"1761848252" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
---
time 1761852349
old [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761848252" project:"Thesis" start:"1761848252" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
new [description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852349" project:"Thesis" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
---
time 1761852391
new [description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852391" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"]
---
time 1761852398
new [description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852398" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"]
---
time 1761852415
new [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852415" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"]
---
time 1761852439
new [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852439" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"]
---
time 1761852528
old [description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852391" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"]
new [description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852528" project:"zk.perm" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"]
---
time 1761852541
old [description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852398" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"]
new [description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"]
---
time 1761852541
old [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852415" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"]
new [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"]
---
time 1761852541
old [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852439" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"]
new [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"]
---
time 1761852553
old [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761235731" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
new [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
---
time 1761852553
old [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
new [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
---
time 1761852553
old [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"]
new [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"]
---
time 1761852553
old [description:"Mealy Machines" entry:"1761235594" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"]
new [description:"Mealy Machines" entry:"1761235594" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"]
---
time 1761852553
old [description:"AIGER Circuits" entry:"1761235602" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"]
new [description:"AIGER Circuits" entry:"1761235602" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"]
---
time 1761852553
old [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"]
new [description:"Reactive Synthesis" entry:"1761235610" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"]
---
time 1761852553
old [description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761688079" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"]
new [description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"]
---
time 1761852553
old [description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852349" project:"Thesis" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
new [description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852553" project:"zk" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"]
---
time 1761852553
old [description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1759948084" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
new [description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1761852553" project:"zk" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
---
time 1762182404
new [description:"Review Simeonas comments and implement them\n" entry:"1762182404" modified:"1762182404" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"4f55e685-ed77-4533-9865-2ebe64b80632"]
---
time 1762183944
new [description:"Contact Megan Mae about union outreach" entry:"1762183944" modified:"1762183944" project:"Union" status:"pending" uuid:"2a3e6ebe-f11f-4969-a2e6-6b4876146a23"]
---
time 1762183956
old [description:"Contact Megan Mae about union outreach" entry:"1762183944" modified:"1762183944" project:"Union" status:"pending" uuid:"2a3e6ebe-f11f-4969-a2e6-6b4876146a23"]
new [description:"Contact Megan Mae about union outreach" due:"1762146000" entry:"1762183944" modified:"1762183956" project:"Union" status:"pending" uuid:"2a3e6ebe-f11f-4969-a2e6-6b4876146a23"]
---
time 1762183973
new [description:"Read Andrews Qualifying Exam due:today\n" entry:"1762183973" modified:"1762183973" status:"pending" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
---
time 1762183993
old [description:"Read Andrews Qualifying Exam due:today\n" entry:"1762183973" modified:"1762183973" status:"pending" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
new [description:"Read Andrews Qualifying Exam due:today\n" due:"1762146000" entry:"1762183973" modified:"1762183993" status:"pending" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
---
time 1762189744
new [description:"Write cover letter for INL Application+NEXT" entry:"1762189744" modified:"1762189744" project:"Internship" status:"pending" uuid:"a2deb6f0-887c-4ba9-b090-f06e95c3b998"]
---
time 1762189764
new [dep_a2deb6f0-887c-4ba9-b090-f06e95c3b998:"x" depends:"a2deb6f0-887c-4ba9-b090-f06e95c3b998" description:"Submit INL Application on Taleo" entry:"1762189764" modified:"1762189764" project:"Internship" status:"pending" tags:"NEXT" tags_NEXT:"x" uuid:"571eaf72-995c-4e76-9983-a68799c02946"]
---
time 1762189773
old [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844632" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761883200"]
new [description:"budget" due:"1762146000" end:"1762189773" entry:"1761678727" modified:"1762189773" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761883200"]
---
time 1762280318
old [description:"Read Andrews Qualifying Exam due:today\n" due:"1762146000" entry:"1762183973" modified:"1762183993" status:"pending" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
new [description:"Read Andrews Qualifying Exam due:today\n" due:"1762146000" entry:"1762183973" modified:"1762280318" start:"1762280318" status:"pending" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
---
time 1762280470
old [description:"Contact Megan Mae about union outreach" due:"1762146000" entry:"1762183944" modified:"1762183956" project:"Union" status:"pending" uuid:"2a3e6ebe-f11f-4969-a2e6-6b4876146a23"]
new [description:"Contact Megan Mae about union outreach" due:"1762146000" end:"1762280470" entry:"1762183944" modified:"1762280470" project:"Union" status:"completed" uuid:"2a3e6ebe-f11f-4969-a2e6-6b4876146a23"]
---
time 1762280489
new [description:"Apply for INL Internship" due:"1762232400" entry:"1762280489" modified:"1762280489" project:"Internship" status:"pending" uuid:"95cfe200-a13e-491f-8f11-6106ef66a55d"]
---
time 1762281651
old [description:"Write cover letter for INL Application+NEXT" entry:"1762189744" modified:"1762189744" project:"Internship" status:"pending" uuid:"a2deb6f0-887c-4ba9-b090-f06e95c3b998"]
new [dep_95cfe200-a13e-491f-8f11-6106ef66a55d:"x" depends:"95cfe200-a13e-491f-8f11-6106ef66a55d" description:"Write cover letter for INL Application+NEXT" entry:"1762189744" modified:"1762281651" project:"Internship" status:"pending" uuid:"a2deb6f0-887c-4ba9-b090-f06e95c3b998"]
---
time 1762289787
old [description:"Read Andrews Qualifying Exam due:today\n" due:"1762146000" entry:"1762183973" modified:"1762280318" start:"1762280318" status:"pending" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
new [description:"Read Andrews Qualifying Exam due:today\n" due:"1762146000" end:"1762289787" entry:"1762183973" modified:"1762289787" status:"completed" uuid:"e4b33efb-7e2d-4b93-bf2c-b41850c2e165"]
---
time 1762358812
new [description:"Problem 1" entry:"1762358812" modified:"1762358812" project:"class.NUCE2101.Exam2" status:"pending" uuid:"a2c8dc0b-e889-451a-a8c0-00a3ae9c5efd"]
---
time 1762358826
new [description:"Problem 2" entry:"1762358826" modified:"1762358826" project:"class.NUCE2101.Exam2" status:"pending" uuid:"5c30cc0b-222a-4975-a62b-9de8a78ab813"]
---
time 1762358829
new [description:"Problem 3" entry:"1762358829" modified:"1762358829" project:"class.NUCE2101.Exam2" status:"pending" uuid:"5429f3ab-06f9-4df3-909d-ba5920169000"]
---
time 1762358831
new [description:"Problem 4" entry:"1762358831" modified:"1762358831" project:"class.NUCE2101.Exam2" status:"pending" uuid:"c39c9349-74b7-4a5c-8e75-27d341488c14"]
---
time 1762358836
new [description:"Problem 5" entry:"1762358836" modified:"1762358836" project:"class.NUCE2101.Exam2" status:"pending" uuid:"7bdde787-042d-4b9b-b2de-19e11b40d032"]
---
time 1762358840
new [description:"Problem 6" entry:"1762358840" modified:"1762358840" project:"class.NUCE2101.Exam2" status:"pending" uuid:"fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c"]
---
time 1762358874
new [dep_5429f3ab-06f9-4df3-909d-ba5920169000:"x" dep_5c30cc0b-222a-4975-a62b-9de8a78ab813:"x" dep_7bdde787-042d-4b9b-b2de-19e11b40d032:"x" dep_a2c8dc0b-e889-451a-a8c0-00a3ae9c5efd:"x" dep_c39c9349-74b7-4a5c-8e75-27d341488c14:"x" dep_fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c:"x" depends:"5429f3ab-06f9-4df3-909d-ba5920169000,5c30cc0b-222a-4975-a62b-9de8a78ab813,7bdde787-042d-4b9b-b2de-19e11b40d032,a2c8dc0b-e889-451a-a8c0-00a3ae9c5efd,c39c9349-74b7-4a5c-8e75-27d341488c14,fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c" description:"Submit Exam 2" due:"1762750800" entry:"1762358874" modified:"1762358874" project:"class.NUCE2101.Exam2" status:"pending" uuid:"ab2e56e4-4d9f-4e85-b40d-6f312ac17332"]
---
time 1762472402
old [dep_95cfe200-a13e-491f-8f11-6106ef66a55d:"x" depends:"95cfe200-a13e-491f-8f11-6106ef66a55d" description:"Write cover letter for INL Application+NEXT" entry:"1762189744" modified:"1762281651" project:"Internship" status:"pending" uuid:"a2deb6f0-887c-4ba9-b090-f06e95c3b998"]
new [dep_95cfe200-a13e-491f-8f11-6106ef66a55d:"x" depends:"95cfe200-a13e-491f-8f11-6106ef66a55d" description:"Write cover letter for INL Application+NEXT" end:"1762472402" entry:"1762189744" modified:"1762472402" project:"Internship" status:"completed" uuid:"a2deb6f0-887c-4ba9-b090-f06e95c3b998"]
---
time 1762472420
old [dep_a2deb6f0-887c-4ba9-b090-f06e95c3b998:"x" depends:"a2deb6f0-887c-4ba9-b090-f06e95c3b998" description:"Submit INL Application on Taleo" entry:"1762189764" modified:"1762189764" project:"Internship" status:"pending" tags:"NEXT" tags_NEXT:"x" uuid:"571eaf72-995c-4e76-9983-a68799c02946"]
new [dep_95cfe200-a13e-491f-8f11-6106ef66a55d:"x" depends:"95cfe200-a13e-491f-8f11-6106ef66a55d" description:"Submit INL Application on Taleo" entry:"1762189764" modified:"1762472420" project:"Internship" status:"pending" tags:"NEXT" tags_NEXT:"x" uuid:"571eaf72-995c-4e76-9983-a68799c02946"]
---
time 1762472732
old [description:"Apply for INL Internship" due:"1762232400" entry:"1762280489" modified:"1762280489" project:"Internship" status:"pending" uuid:"95cfe200-a13e-491f-8f11-6106ef66a55d"]
new [description:"Apply for INL Internship" due:"1762750800" entry:"1762280489" modified:"1762472732" project:"Internship" status:"pending" uuid:"95cfe200-a13e-491f-8f11-6106ef66a55d"]
---
time 1762472764
old [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761844715" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33" wait:"1762146000"]
new [description:"Find Schmidt and talk to him about Howie Choset" due:"1762923600" entry:"1761751727" modified:"1762472764" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33" wait:"1762146000"]
---
time 1762546816
old [description:"Apply for INL Internship" due:"1762750800" entry:"1762280489" modified:"1762472732" project:"Internship" status:"pending" uuid:"95cfe200-a13e-491f-8f11-6106ef66a55d"]
new [description:"Apply for INL Internship" due:"1762750800" end:"1762546816" entry:"1762280489" modified:"1762546816" project:"Internship" status:"completed" uuid:"95cfe200-a13e-491f-8f11-6106ef66a55d"]
---
time 1762546859
old [dep_95cfe200-a13e-491f-8f11-6106ef66a55d:"x" depends:"95cfe200-a13e-491f-8f11-6106ef66a55d" description:"Submit INL Application on Taleo" entry:"1762189764" modified:"1762472420" project:"Internship" status:"pending" tags:"NEXT" tags_NEXT:"x" uuid:"571eaf72-995c-4e76-9983-a68799c02946"]
new [dep_95cfe200-a13e-491f-8f11-6106ef66a55d:"x" depends:"95cfe200-a13e-491f-8f11-6106ef66a55d" description:"Submit INL Application on Taleo" end:"1762546859" entry:"1762189764" modified:"1762546859" project:"Internship" status:"completed" tags:"NEXT" tags_NEXT:"x" uuid:"571eaf72-995c-4e76-9983-a68799c02946"]
---
time 1762631758
old [description:"Problem 6" entry:"1762358840" modified:"1762358840" project:"class.NUCE2101.Exam2" status:"pending" uuid:"fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c"]
new [description:"Problem 6" entry:"1762358840" modified:"1762631758" project:"class.NUCE2101.Exam2" start:"1762631758" status:"pending" uuid:"fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c"]
---
time 1762633599
old [description:"Problem 6" entry:"1762358840" modified:"1762631758" project:"class.NUCE2101.Exam2" start:"1762631758" status:"pending" uuid:"fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c"]
new [description:"Problem 6" end:"1762633599" entry:"1762358840" modified:"1762633599" project:"class.NUCE2101.Exam2" status:"completed" uuid:"fcbcec80-81e1-4a7d-9ea8-d8b1c6f9737c"]
---
time 1762633636
old [description:"Problem 3" entry:"1762358829" modified:"1762358829" project:"class.NUCE2101.Exam2" status:"pending" uuid:"5429f3ab-06f9-4df3-909d-ba5920169000"]
new [description:"Problem 3" entry:"1762358829" modified:"1762633636" project:"class.NUCE2101.Exam2" start:"1762633636" status:"pending" uuid:"5429f3ab-06f9-4df3-909d-ba5920169000"]
---
time 1762642256
old [description:"Problem 3" entry:"1762358829" modified:"1762633636" project:"class.NUCE2101.Exam2" start:"1762633636" status:"pending" uuid:"5429f3ab-06f9-4df3-909d-ba5920169000"]
new [description:"Problem 3" end:"1762642256" entry:"1762358829" modified:"1762642256" project:"class.NUCE2101.Exam2" status:"completed" uuid:"5429f3ab-06f9-4df3-909d-ba5920169000"]
---