danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/.task/pending.data
Dane Sabo df8f28fce3 Auto sync: 2025-11-08 22:46:02 (10023 files changed) 
M  .sessions/nvim_config.vim

M  .task/backlog.data

M  .task/completed.data

M  .task/pending.data

M  .task/undo.data

A  Class_Work/nuce2101/exam2/2101_Exam_2_2025.pdf

A  "Class_Work/nuce2101/exam2/Fundamental Kinetics Ideas_Rev_17.pdf"

A  "Class_Work/nuce2101/exam2/Simplified Parallel Coupled Reactors Rev 8.pdf"
2025-11-08 22:46:02 -05:00

66 lines
14 KiB
Plaintext
Raw Permalink 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:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"]
[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"]
[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:"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:"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:"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:"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"]
[description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"]
[description:"Mealy Machines" entry:"1761235594" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"]
[description:"AIGER Circuits" entry:"1761235602" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"]
[description:"Reactive Synthesis" entry:"1761235610" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"]
[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"]
[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"]
[description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852528" project:"zk.perm" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"]
[description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"]
[description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"]
[description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"]
[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"]
[description:"Problem 1" entry:"1762358812" modified:"1762358812" project:"class.NUCE2101.Exam2" status:"pending" uuid:"a2c8dc0b-e889-451a-a8c0-00a3ae9c5efd"]
[description:"Problem 2" entry:"1762358826" modified:"1762358826" project:"class.NUCE2101.Exam2" status:"pending" uuid:"5c30cc0b-222a-4975-a62b-9de8a78ab813"]
[description:"Problem 4" entry:"1762358831" modified:"1762358831" project:"class.NUCE2101.Exam2" status:"pending" uuid:"c39c9349-74b7-4a5c-8e75-27d341488c14"]
[description:"Problem 5" entry:"1762358836" modified:"1762358836" project:"class.NUCE2101.Exam2" status:"pending" uuid:"7bdde787-042d-4b9b-b2de-19e11b40d032"]
[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"]
Reference in New Issue View Git Blame Copy Permalink