[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"]