danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/.task/pending.data
Dane Sabo a5ce3afcd4 Auto sync: 2025-10-21 16:44:58 (7 files changed) 
M  .task/backlog.data

M  .task/completed.data

M  .task/pending.data

M  .task/undo.data

M  .taskrc

A  Writing/ERLM/Discrete

A  "Zettelkasten/Fleeting Notes/Internship-spots.md"
2025-10-21 16:44:58 -04:00

54 lines
11 KiB
Plaintext
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

[description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1757443210" project:"zk" status:"pending" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
[description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
[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"]
[description:"Look around for summer internships with national labs" entry:"1757449731" modified:"1757449731" status:"pending" uuid:"d3f3dc53-4feb-4b7e-8de5-86ebf3c535d5"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[description:"Do intial play around with Emerson Ovation system" due:"1760068800" entry:"1759949018" modified:"1759949018" status:"pending" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"]
[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"]
[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"]
[description:"Add questions to interview sheet" entry:"1761068895" modified:"1761068895" project:"Chair-Search" status:"pending" uuid:"9abe2970-5ed8-4e01-9d7a-62381578439e"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[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"]
[description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761077359" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"]
[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"]
[description:"Triage Lees comments on research approach" entry:"1761078828" modified:"1761079200" project:"Thesis" status:"pending" uuid:"d334e98d-df5c-48ba-9c5c-b8a2da9fbd26"]
[description:"Find Oklo recruiter" entry:"1761078940" modified:"1761078940" status:"pending" uuid:"25581dec-d1ad-407e-86d0-ec08de7a6e46"]
[description:"Find Anduril recruiter" entry:"1761079067" modified:"1761079067" status:"pending" uuid:"0f49f6e0-f48f-4a1d-a7d3-d0091942094b"]
[description:"Look for CIA internships" entry:"1761079075" modified:"1761079075" status:"pending" uuid:"9da15ed9-5fe5-4eff-a25f-0423509e3107"]
[description:"Look for Lockheed Martin internships \/ find recruiter" entry:"1761079090" modified:"1761079090" status:"pending" uuid:"7055238c-049a-4bc2-abef-211d9e8c5a9b"]
[description:"Look for Applied Physics Lab internships" entry:"1761079106" modified:"1761079106" status:"pending" uuid:"00deb973-dae6-4828-a433-b0394edfaf5b"]
[description:"Look for any Loonwerks internships." entry:"1761079118" modified:"1761079118" status:"pending" uuid:"532d308c-b754-4861-a2f2-5395ccb13bf8"]
Reference in New Issue View Git Blame Copy Permalink