From 71fbdec7d802a91c847f634a57e5fec501f47f48 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 29 Jul 2025 15:09:12 -0400 Subject: [PATCH] vault backup: 2025-07-29 15:09:12 --- .../NNFM Ontology.canvas | 22 +++++++++--------- ...ance_Reinforcement_Learning_for_Control.md | 2 +- .../CH4System_Representation_S2020pdf2254.md | 0 .../IntroductionDiffusionModels2022.md | 0 .../.archive/Kry10TechnicalOverview.md | 0 ...ata_Analysis_Reading_Chapter_2pdf2254ME.md | 0 ...2046_The_z_transform_Chapter_3pdf2254ME.md | 0 .../Literature Notes}/.archive/My Library.bib | 0 .../.archive/aModeladoNucleoAnalisis2023.md | 0 .../.archive/atsumiModifiedBodePlots2012.md | 0 .../.archive/biggsJuryMonolithicOS2018.md | 0 .../doyleFeedbackControlTheory2009.md | 0 .../.archive/doyleGuaranteedMarginsLQG1978.md | 0 .../emamiNeuralNetworkbasedFlight2022.md | 0 .../farzanRobustControlSynthesis2020.md | 0 .../.archive/fisherHACMSProgramUsing2017a.md | 0 .../fromherzVerifiedEfficientEmbedding2019.md | 0 .../gengSimplifiedReactorModel2024.md | 0 .../jacksonMARVELReactivityControl2023.md | 0 .../kleinFormallyVerifiedSoftware2018.md | 0 .../.archive/lozadaHARDENSFinalReport.md | 0 ...thewsCoupledMultiphysicsSimulations2021.md | 0 .../matusuRegionsRobustRelative2023.md | 0 ...dwareintheLoopSimulationsHistorical2022.md | 0 ...l-dicksteinDeepUnsupervisedLearning2015.md | 0 .../stauffHighFidelityMultiphysicsModeling.md | 0 ...ebruntonControlBootcampIntroduction2017.md | 0 ...vebruntonControlBootcampLimitations2017.md | 0 ...vebruntonControlBootcampSensitivity2017.md | 0 .../.archive/sunSoKAttacksIndustrial2021.md | 0 .../testoniReviewNuclearMicroreactors2021.md | 0 ...Vehicle Based on Support Vector Machine.md | 0 ...mal Methods applied to Machine Learning.md | 0 ...wise Linear Neural Network Verification.md | 0 ...ication of neural-network-based control.md | 2 +- ...ification of Artificial Neural Networks.md | 0 ...control framework for advanced reactors.md | 2 +- ...ctor operations - A revised perspective.md | 2 +- ...tate estimation and trajectory tracking.md | 0 ...A systematic review and research agenda.md | 2 +- ...lex evidence - audit of primary sources.md | 0 ...esis - Challenges and Future Directions.md | 0 ...Networks with Mixed Integer Programming.md | 2 +- ...ification of Avionics Software Products.md | 0 ...ise Linear Feed-Forward Neural Networks.md | 0 ...rmal requirements elicitation with FRET.md | 2 +- ...l network controlled autonomous systems.md | 2 +- .../Literature Notes}/Literature Note.md | 0 ...ht control systems - Present and future.md | 0 .../Nonlinear Identification and Control.md | 0 ...mal Methods applied to Machine Learning.md | 0 ...ication of neural-network-based control.md | 0 ...control framework for advanced reactors.md | 0 ...actor operations- A revised perspective.md | 0 ...A systematic review and research agenda.md | 0 ...hesis- Challenges and Future Directions.md | 0 ...Networks with Mixed Integer Programming.md | 0 ...rmal requirements elicitation with FRET.md | 0 ...l network controlled autonomous systems.md | 0 .../Hardware In The Loop Papers.md | 0 ...surance of Machine Learning Controllers.md | 0 ...lver for Verifying Deep Neural Networks.md | 0 ...l twins and centralized offsite control.md | 0 ... Assurance Using Reinforcement Learning.md | 0 ...fe Reinforcement Learning via Shielding.md | 0 ...ber-Physical Systems- A Focus on Models.md | 0 ...surance of Machine Learning Controllers.md | 2 +- ...nges for Remote Microreactor Operations.md | 0 ...eeds for Remote Microreactor Operations.md | 0 ...is for Deep Feedforward Neural Networks.md | 0 ...eural Networks with Provable Guarantees.md | 0 ...lver for Verifying Deep Neural Networks.md | 0 ...l twins and centralized offsite control.md | 2 +- ... Assurance Using Reinforcement Learning.md | 2 +- ...a Shielding under Partial Observability.md | 0 ...fe Reinforcement Learning via Shielding.md | 2 +- ...er-Physical Systems - A Focus on Models.md | 0 .../image-4-x57-y442.png | Bin 78 files changed, 23 insertions(+), 23 deletions(-) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/CH4System_Representation_S2020pdf2254.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/IntroductionDiffusionModels2022.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/Kry10TechnicalOverview.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/My Library.bib (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/aModeladoNucleoAnalisis2023.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/atsumiModifiedBodePlots2012.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/biggsJuryMonolithicOS2018.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/doyleFeedbackControlTheory2009.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/doyleGuaranteedMarginsLQG1978.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/emamiNeuralNetworkbasedFlight2022.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/farzanRobustControlSynthesis2020.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/fisherHACMSProgramUsing2017a.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/fromherzVerifiedEfficientEmbedding2019.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/gengSimplifiedReactorModel2024.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/jacksonMARVELReactivityControl2023.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/kleinFormallyVerifiedSoftware2018.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/lozadaHARDENSFinalReport.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/matthewsCoupledMultiphysicsSimulations2021.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/matusuRegionsRobustRelative2023.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/stauffHighFidelityMultiphysicsModeling.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/stevebruntonControlBootcampIntroduction2017.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/stevebruntonControlBootcampLimitations2017.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/stevebruntonControlBootcampSensitivity2017.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/sunSoKAttacksIndustrial2021.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/.archive/testoniReviewNuclearMicroreactors2021.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/A Review of Formal Methods applied to Machine Learning.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/A Unified View of Piecewise Linear Neural Network Verification.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/A systematic classification of neural-network-based control.md (96%) rename {Literature Notes => Zettelkasten/Literature Notes}/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/An autonomous control framework for advanced reactors.md (99%) rename {Literature Notes => Zettelkasten/Literature Notes}/Automation levels for nuclear reactor operations - A revised perspective.md (97%) rename {Literature Notes => Zettelkasten/Literature Notes}/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md (97%) rename {Literature Notes => Zettelkasten/Literature Notes}/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md (97%) rename {Literature Notes => Zettelkasten/Literature Notes}/Formal Verification of Avionics Software Products.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Formal requirements elicitation with FRET.md (89%) rename {Literature Notes => Zettelkasten/Literature Notes}/Formal verification of neural network controlled autonomous systems.md (98%) rename {Literature Notes => Zettelkasten/Literature Notes}/Literature Note.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Neural network-based flight control systems - Present and future.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Nonlinear Identification and Control.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/A Review of Formal Methods applied to Machine Learning.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/A systematic classification of neural-network-based control.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/An autonomous control framework for advanced reactors.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Automation levels for nuclear reactor operations- A revised perspective.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Formal requirements elicitation with FRET.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Formal verification of neural network controlled autonomous systems.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Hardware In The Loop Papers.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Runtime Safety Assurance Using Reinforcement Learning.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/Safe Reinforcement Learning via Shielding.md (100%) rename {Notes on Papers => Zettelkasten/Literature Notes/Notes on Papers}/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md (98%) rename {Literature Notes => Zettelkasten/Literature Notes}/Opportunities and Challenges for Remote Microreactor Operations.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Output Range Analysis for Deep Feedforward Neural Networks.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md (97%) rename {Literature Notes => Zettelkasten/Literature Notes}/Runtime Safety Assurance Using Reinforcement Learning.md (99%) rename {Literature Notes => Zettelkasten/Literature Notes}/Safe Reinforcement Learning via Shielding under Partial Observability.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/Safe Reinforcement Learning via Shielding.md (96%) rename {Literature Notes => Zettelkasten/Literature Notes}/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md (100%) rename {Literature Notes => Zettelkasten/Literature Notes}/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png (100%) diff --git a/Neural Network Formal Methods/NNFM Ontology.canvas b/Neural Network Formal Methods/NNFM Ontology.canvas index 06de51cd9..36b10e44d 100644 --- a/Neural Network Formal Methods/NNFM Ontology.canvas +++ b/Neural Network Formal Methods/NNFM Ontology.canvas @@ -5,7 +5,7 @@ {"id":"17ab7dbc641481be","type":"text","text":"2021","x":-1000,"y":180,"width":250,"height":60}, {"id":"053be4b4e5459efa","type":"text","text":"2023","x":-1000,"y":-160,"width":250,"height":60}, {"id":"ce4a2c0bf9224f9d","type":"text","text":"2019","x":-1000,"y":500,"width":250,"height":60}, - {"id":"684196d797ac66e3","type":"file","file":"Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md","x":-720,"y":-420,"width":480,"height":400,"color":"3"}, + {"id":"684196d797ac66e3","type":"file","file":"Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md","x":-720,"y":-420,"width":480,"height":400,"color":"3"}, {"id":"35eebdf6214c8c88","type":"text","text":"# Machine Learning","x":-1855,"y":100,"width":440,"height":80}, {"id":"f9208a6e4a7ef241","type":"text","text":"## Linear Temporal Logic","x":-1415,"y":-257,"width":346,"height":74}, {"id":"bcc9c2b5dc701338","type":"text","text":"# Formal Methods","x":-1885,"y":-420,"width":440,"height":80}, @@ -16,20 +16,20 @@ {"id":"42d4be73c13f91cb","type":"text","text":"1st Pass","x":-1635,"y":-615,"width":140,"height":60,"color":"3"}, {"id":"a2800119b02cdda0","type":"text","text":"2nd Pass","x":-1467,"y":-615,"width":145,"height":60,"color":"4"}, {"id":"1c13a0968706a8b0","type":"text","text":"Brilliant / Important","x":-1808,"y":-695,"width":243,"height":60,"color":"5"}, - {"id":"53a95b3f2101d32c","type":"file","file":"Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md","x":-720,"y":1260,"width":480,"height":300,"color":"3"}, + {"id":"53a95b3f2101d32c","type":"file","file":"Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md","x":-720,"y":1260,"width":480,"height":300,"color":"3"}, {"id":"ac067a0584359781","type":"text","text":"## Cyber-Physical Systems","x":-1515,"y":670,"width":297,"height":80}, {"id":"bbe4a58a5af748eb","type":"text","text":"OLDER","x":-1000,"y":1600,"width":250,"height":60}, {"id":"b081d5b64b515d56","type":"text","text":"2017","x":-1000,"y":890,"width":250,"height":60}, {"id":"2e49adbdc97ce1c2","type":"text","text":"2015","x":-1000,"y":1260,"width":250,"height":60}, - {"id":"6b62b3a19b06fc0a","type":"file","file":"Literature Notes/A Review of Formal Methods applied to Machine Learning.md","x":-200,"y":240,"width":520,"height":370,"color":"3"}, - {"id":"bac68ab8fa2c1c9b","type":"file","file":"Literature Notes/Formal verification of neural network controlled autonomous systems.md","x":-720,"y":530,"width":485,"height":360,"color":"3"}, - {"id":"7ad1df279923e7f4","type":"file","file":"Literature Notes/A systematic classification of neural-network-based control.md","x":-720,"y":1660,"width":480,"height":400,"color":"1"}, - {"id":"b16d77e25162b164","type":"file","file":"Literature Notes/Nonlinear Identification and Control.md","x":-200,"y":1660,"width":400,"height":400,"color":"1"}, - {"id":"dae189dd0beeb46d","type":"file","file":"Literature Notes/Neural network-based flight control systems - Present and future.md","x":-720,"y":100,"width":480,"height":360,"color":"1"}, - {"id":"8af915dccc8e1757","type":"file","file":"Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md","x":240,"y":1660,"width":400,"height":400,"color":"1"}, - {"id":"034773fb85df43e9","type":"file","file":"Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md","x":-200,"y":-183,"width":520,"height":363,"color":"1"}, - {"id":"1b0680305c662125","type":"file","file":"Literature Notes/Safe Reinforcement Learning via Shielding.md","x":-200,"y":670,"width":520,"height":330,"color":"3"}, - {"id":"0655d596e2c1bd88","type":"file","file":"Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md","x":-1242,"y":100,"width":400,"height":400,"color":"3"} + {"id":"6b62b3a19b06fc0a","type":"file","file":"Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md","x":-200,"y":240,"width":520,"height":370,"color":"3"}, + {"id":"bac68ab8fa2c1c9b","type":"file","file":"Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md","x":-720,"y":530,"width":485,"height":360,"color":"3"}, + {"id":"7ad1df279923e7f4","type":"file","file":"Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md","x":-720,"y":1660,"width":480,"height":400,"color":"1"}, + {"id":"b16d77e25162b164","type":"file","file":"Zettelkasten/Literature Notes/Nonlinear Identification and Control.md","x":-200,"y":1660,"width":400,"height":400,"color":"1"}, + {"id":"dae189dd0beeb46d","type":"file","file":"Zettelkasten/Literature Notes/Neural network-based flight control systems - Present and future.md","x":-720,"y":100,"width":480,"height":360,"color":"1"}, + {"id":"8af915dccc8e1757","type":"file","file":"Zettelkasten/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md","x":240,"y":1660,"width":400,"height":400,"color":"1"}, + {"id":"034773fb85df43e9","type":"file","file":"Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md","x":-200,"y":-183,"width":520,"height":363,"color":"1"}, + {"id":"1b0680305c662125","type":"file","file":"Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md","x":-200,"y":670,"width":520,"height":330,"color":"3"}, + {"id":"0655d596e2c1bd88","type":"file","file":"Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md","x":-1242,"y":100,"width":400,"height":400,"color":"3"} ], "edges":[ {"id":"766a32fa431c6398","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"bac68ab8fa2c1c9b","toSide":"top","color":"2"}, diff --git a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md index 863e57d0e..5cd687559 100644 --- a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md +++ b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md @@ -11,7 +11,7 @@ When was it written: ### What's good about it, what's bad about it? ### What does this review cover? What does it miss? -## [[Literature Notes/A Review of Formal Methods applied to Machine Learning|A Review of Formal Methods applied to Machine Learning]] +## [[Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning|A Review of Formal Methods applied to Machine Learning]] Written by Caterina Urban and Antoine Mine at Universite PSL. Written April 22, 2021 diff --git a/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md b/Zettelkasten/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md similarity index 100% rename from Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md rename to Zettelkasten/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md diff --git a/Literature Notes/.archive/IntroductionDiffusionModels2022.md b/Zettelkasten/Literature Notes/.archive/IntroductionDiffusionModels2022.md similarity index 100% rename from Literature Notes/.archive/IntroductionDiffusionModels2022.md rename to Zettelkasten/Literature Notes/.archive/IntroductionDiffusionModels2022.md diff --git a/Literature Notes/.archive/Kry10TechnicalOverview.md b/Zettelkasten/Literature Notes/.archive/Kry10TechnicalOverview.md similarity index 100% rename from Literature Notes/.archive/Kry10TechnicalOverview.md rename to Zettelkasten/Literature Notes/.archive/Kry10TechnicalOverview.md diff --git a/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md b/Zettelkasten/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md similarity index 100% rename from Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md rename to Zettelkasten/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md diff --git a/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md b/Zettelkasten/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md similarity index 100% rename from Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md rename to Zettelkasten/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md diff --git a/Literature Notes/.archive/My Library.bib b/Zettelkasten/Literature Notes/.archive/My Library.bib similarity index 100% rename from Literature Notes/.archive/My Library.bib rename to Zettelkasten/Literature Notes/.archive/My Library.bib diff --git a/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md b/Zettelkasten/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md similarity index 100% rename from Literature Notes/.archive/aModeladoNucleoAnalisis2023.md rename to Zettelkasten/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md diff --git a/Literature Notes/.archive/atsumiModifiedBodePlots2012.md b/Zettelkasten/Literature Notes/.archive/atsumiModifiedBodePlots2012.md similarity index 100% rename from Literature Notes/.archive/atsumiModifiedBodePlots2012.md rename to Zettelkasten/Literature Notes/.archive/atsumiModifiedBodePlots2012.md diff --git a/Literature Notes/.archive/biggsJuryMonolithicOS2018.md b/Zettelkasten/Literature Notes/.archive/biggsJuryMonolithicOS2018.md similarity index 100% rename from Literature Notes/.archive/biggsJuryMonolithicOS2018.md rename to Zettelkasten/Literature Notes/.archive/biggsJuryMonolithicOS2018.md diff --git a/Literature Notes/.archive/doyleFeedbackControlTheory2009.md b/Zettelkasten/Literature Notes/.archive/doyleFeedbackControlTheory2009.md similarity index 100% rename from Literature Notes/.archive/doyleFeedbackControlTheory2009.md rename to Zettelkasten/Literature Notes/.archive/doyleFeedbackControlTheory2009.md diff --git a/Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md b/Zettelkasten/Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md similarity index 100% rename from Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md rename to Zettelkasten/Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md diff --git a/Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md b/Zettelkasten/Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md similarity index 100% rename from Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md rename to Zettelkasten/Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md diff --git a/Literature Notes/.archive/farzanRobustControlSynthesis2020.md b/Zettelkasten/Literature Notes/.archive/farzanRobustControlSynthesis2020.md similarity index 100% rename from Literature Notes/.archive/farzanRobustControlSynthesis2020.md rename to Zettelkasten/Literature Notes/.archive/farzanRobustControlSynthesis2020.md diff --git a/Literature Notes/.archive/fisherHACMSProgramUsing2017a.md b/Zettelkasten/Literature Notes/.archive/fisherHACMSProgramUsing2017a.md similarity index 100% rename from Literature Notes/.archive/fisherHACMSProgramUsing2017a.md rename to Zettelkasten/Literature Notes/.archive/fisherHACMSProgramUsing2017a.md diff --git a/Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md b/Zettelkasten/Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md similarity index 100% rename from Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md rename to Zettelkasten/Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md diff --git a/Literature Notes/.archive/gengSimplifiedReactorModel2024.md b/Zettelkasten/Literature Notes/.archive/gengSimplifiedReactorModel2024.md similarity index 100% rename from Literature Notes/.archive/gengSimplifiedReactorModel2024.md rename to Zettelkasten/Literature Notes/.archive/gengSimplifiedReactorModel2024.md diff --git a/Literature Notes/.archive/jacksonMARVELReactivityControl2023.md b/Zettelkasten/Literature Notes/.archive/jacksonMARVELReactivityControl2023.md similarity index 100% rename from Literature Notes/.archive/jacksonMARVELReactivityControl2023.md rename to Zettelkasten/Literature Notes/.archive/jacksonMARVELReactivityControl2023.md diff --git a/Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md b/Zettelkasten/Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md similarity index 100% rename from Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md rename to Zettelkasten/Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md diff --git a/Literature Notes/.archive/lozadaHARDENSFinalReport.md b/Zettelkasten/Literature Notes/.archive/lozadaHARDENSFinalReport.md similarity index 100% rename from Literature Notes/.archive/lozadaHARDENSFinalReport.md rename to Zettelkasten/Literature Notes/.archive/lozadaHARDENSFinalReport.md diff --git a/Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md b/Zettelkasten/Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md similarity index 100% rename from Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md rename to Zettelkasten/Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md diff --git a/Literature Notes/.archive/matusuRegionsRobustRelative2023.md b/Zettelkasten/Literature Notes/.archive/matusuRegionsRobustRelative2023.md similarity index 100% rename from Literature Notes/.archive/matusuRegionsRobustRelative2023.md rename to Zettelkasten/Literature Notes/.archive/matusuRegionsRobustRelative2023.md diff --git a/Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md b/Zettelkasten/Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md similarity index 100% rename from Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md rename to Zettelkasten/Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md diff --git a/Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md b/Zettelkasten/Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md similarity index 100% rename from Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md rename to Zettelkasten/Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md diff --git a/Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md b/Zettelkasten/Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md similarity index 100% rename from Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md rename to Zettelkasten/Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md diff --git a/Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md b/Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md similarity index 100% rename from Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md rename to Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md diff --git a/Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md b/Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md similarity index 100% rename from Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md rename to Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md diff --git a/Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md b/Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md similarity index 100% rename from Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md rename to Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md diff --git a/Literature Notes/.archive/sunSoKAttacksIndustrial2021.md b/Zettelkasten/Literature Notes/.archive/sunSoKAttacksIndustrial2021.md similarity index 100% rename from Literature Notes/.archive/sunSoKAttacksIndustrial2021.md rename to Zettelkasten/Literature Notes/.archive/sunSoKAttacksIndustrial2021.md diff --git a/Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md b/Zettelkasten/Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md similarity index 100% rename from Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md rename to Zettelkasten/Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md diff --git a/Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md b/Zettelkasten/Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md similarity index 100% rename from Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md rename to Zettelkasten/Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md diff --git a/Literature Notes/A Review of Formal Methods applied to Machine Learning.md b/Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md similarity index 100% rename from Literature Notes/A Review of Formal Methods applied to Machine Learning.md rename to Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md diff --git a/Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md b/Zettelkasten/Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md similarity index 100% rename from Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md rename to Zettelkasten/Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md diff --git a/Literature Notes/A systematic classification of neural-network-based control.md b/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md similarity index 96% rename from Literature Notes/A systematic classification of neural-network-based control.md rename to Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md index 1a970a0cb..0fd129f23 100644 --- a/Literature Notes/A systematic classification of neural-network-based control.md +++ b/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md @@ -30,7 +30,7 @@ Published: 1997-04 # Annotations ## Notes -![[Notes on Papers/A systematic classification of neural-network-based control.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md b/Zettelkasten/Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md similarity index 100% rename from Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md rename to Zettelkasten/Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md diff --git a/Literature Notes/An autonomous control framework for advanced reactors.md b/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md similarity index 99% rename from Literature Notes/An autonomous control framework for advanced reactors.md rename to Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md index 2c123e983..ccaa97a69 100644 --- a/Literature Notes/An autonomous control framework for advanced reactors.md +++ b/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md @@ -34,7 +34,7 @@ Published: 2017-08 # Annotations ## Notes -![[Notes on Papers/An autonomous control framework for advanced reactors.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md b/Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md similarity index 97% rename from Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md rename to Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md index 46ac6a620..08d5fbc76 100644 --- a/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md +++ b/Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md @@ -36,7 +36,7 @@ Published: 2023-03 # Annotations ## Notes -![[Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md]] +![[Automation levels for nuclear reactor operations- A revised perspective]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md b/Zettelkasten/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md similarity index 100% rename from Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md rename to Zettelkasten/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md diff --git a/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md b/Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md similarity index 97% rename from Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md rename to Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md index 989fd2dfa..87439db7b 100644 --- a/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md +++ b/Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md @@ -30,7 +30,7 @@ Published: 2020-02 # Annotations ## Notes -![[Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md]] +![[Economics and finance of Small Modular Reactors- A systematic review and research agenda]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md b/Zettelkasten/Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md similarity index 100% rename from Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md rename to Zettelkasten/Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md diff --git a/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md b/Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md similarity index 100% rename from Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md rename to Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md diff --git a/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md b/Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md similarity index 97% rename from Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md rename to Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md index 99d6d9ca1..62bb38033 100644 --- a/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md +++ b/Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md @@ -31,7 +31,7 @@ Published: 2019-02 # Annotations ## Notes -![[Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Formal Verification of Avionics Software Products.md b/Zettelkasten/Literature Notes/Formal Verification of Avionics Software Products.md similarity index 100% rename from Literature Notes/Formal Verification of Avionics Software Products.md rename to Zettelkasten/Literature Notes/Formal Verification of Avionics Software Products.md diff --git a/Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md b/Zettelkasten/Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md similarity index 100% rename from Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md rename to Zettelkasten/Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md diff --git a/Literature Notes/Formal requirements elicitation with FRET.md b/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md similarity index 89% rename from Literature Notes/Formal requirements elicitation with FRET.md rename to Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md index 141d54158..0e1381a7a 100644 --- a/Literature Notes/Formal requirements elicitation with FRET.md +++ b/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md @@ -33,7 +33,7 @@ Published: 2020-01 # Annotations ## Notes -![[Notes on Papers/Formal requirements elicitation with FRET.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Formal verification of neural network controlled autonomous systems.md b/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md similarity index 98% rename from Literature Notes/Formal verification of neural network controlled autonomous systems.md rename to Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md index 1018bf7ef..375a2e66e 100644 --- a/Literature Notes/Formal verification of neural network controlled autonomous systems.md +++ b/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md @@ -35,7 +35,7 @@ Published: 2019-04 # Annotations ## Notes -![[Notes on Papers/Formal verification of neural network controlled autonomous systems]] +![[Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Literature Notes/Literature Note.md b/Zettelkasten/Literature Notes/Literature Note.md similarity index 100% rename from Literature Notes/Literature Note.md rename to Zettelkasten/Literature Notes/Literature Note.md diff --git a/Literature Notes/Neural network-based flight control systems - Present and future.md b/Zettelkasten/Literature Notes/Neural network-based flight control systems - Present and future.md similarity index 100% rename from Literature Notes/Neural network-based flight control systems - Present and future.md rename to Zettelkasten/Literature Notes/Neural network-based flight control systems - Present and future.md diff --git a/Literature Notes/Nonlinear Identification and Control.md b/Zettelkasten/Literature Notes/Nonlinear Identification and Control.md similarity index 100% rename from Literature Notes/Nonlinear Identification and Control.md rename to Zettelkasten/Literature Notes/Nonlinear Identification and Control.md diff --git a/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md b/Zettelkasten/Literature Notes/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md similarity index 100% rename from Notes on Papers/A Review of Formal Methods applied to Machine Learning.md rename to Zettelkasten/Literature Notes/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md diff --git a/Notes on Papers/A systematic classification of neural-network-based control.md b/Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control.md similarity index 100% rename from Notes on Papers/A systematic classification of neural-network-based control.md rename to Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control.md diff --git a/Notes on Papers/An autonomous control framework for advanced reactors.md b/Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors.md similarity index 100% rename from Notes on Papers/An autonomous control framework for advanced reactors.md rename to Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors.md diff --git a/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md b/Zettelkasten/Literature Notes/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md similarity index 100% rename from Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md rename to Zettelkasten/Literature Notes/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md diff --git a/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md b/Zettelkasten/Literature Notes/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md similarity index 100% rename from Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md rename to Zettelkasten/Literature Notes/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md diff --git a/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md b/Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md similarity index 100% rename from Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md rename to Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md diff --git a/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md b/Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md similarity index 100% rename from Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md rename to Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md diff --git a/Notes on Papers/Formal requirements elicitation with FRET.md b/Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET.md similarity index 100% rename from Notes on Papers/Formal requirements elicitation with FRET.md rename to Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET.md diff --git a/Notes on Papers/Formal verification of neural network controlled autonomous systems.md b/Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems.md similarity index 100% rename from Notes on Papers/Formal verification of neural network controlled autonomous systems.md rename to Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems.md diff --git a/Notes on Papers/Hardware In The Loop Papers.md b/Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers.md similarity index 100% rename from Notes on Papers/Hardware In The Loop Papers.md rename to Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers.md diff --git a/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md b/Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md similarity index 100% rename from Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md rename to Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md diff --git a/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md b/Zettelkasten/Literature Notes/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md similarity index 100% rename from Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md rename to Zettelkasten/Literature Notes/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md diff --git a/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md b/Zettelkasten/Literature Notes/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md similarity index 100% rename from Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md rename to Zettelkasten/Literature Notes/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md diff --git a/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md b/Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md similarity index 100% rename from Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md rename to Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md diff --git a/Notes on Papers/Safe Reinforcement Learning via Shielding.md b/Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding.md similarity index 100% rename from Notes on Papers/Safe Reinforcement Learning via Shielding.md rename to Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding.md diff --git a/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md b/Zettelkasten/Literature Notes/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md similarity index 100% rename from Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md rename to Zettelkasten/Literature Notes/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md diff --git a/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md b/Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md similarity index 98% rename from Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md rename to Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md index 3a1fbdd45..1f3e587b2 100644 --- a/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md +++ b/Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md @@ -35,7 +35,7 @@ Published: 2022-03 # Annotations ## Notes -![[Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers]] +![[Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers]] ## Highlights From Zotero >[!done] Important diff --git a/Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md b/Zettelkasten/Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md similarity index 100% rename from Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md rename to Zettelkasten/Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md diff --git a/Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md b/Zettelkasten/Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md similarity index 100% rename from Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md rename to Zettelkasten/Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md diff --git a/Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md b/Zettelkasten/Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md similarity index 100% rename from Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md rename to Zettelkasten/Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md diff --git a/Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md b/Zettelkasten/Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md similarity index 100% rename from Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md rename to Zettelkasten/Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md diff --git a/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md b/Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md similarity index 100% rename from Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md rename to Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md diff --git a/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md b/Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md similarity index 97% rename from Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md rename to Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md index 90a0dc697..f171b4c33 100644 --- a/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md +++ b/Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md @@ -34,7 +34,7 @@ Published: 2023-12 # Annotations ## Notes -![[Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md]] +![[Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control]] ## Highlights From Zotero >[!warning] Dubious diff --git a/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md b/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md similarity index 99% rename from Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md rename to Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md index 0b14d2d06..7de7e2732 100644 --- a/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md +++ b/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md @@ -31,7 +31,7 @@ Published: 2020-10 # Annotations ## Notes -![[Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md similarity index 100% rename from Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md rename to Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md diff --git a/Literature Notes/Safe Reinforcement Learning via Shielding.md b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md similarity index 96% rename from Literature Notes/Safe Reinforcement Learning via Shielding.md rename to Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md index a0bcc892e..5e29162cf 100644 --- a/Literature Notes/Safe Reinforcement Learning via Shielding.md +++ b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md @@ -39,7 +39,7 @@ Published: 2018-04 # Annotations ## Notes -![[Notes on Papers/Safe Reinforcement Learning via Shielding]] +![[Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding]] ## Highlights From Zotero diff --git a/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md b/Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md similarity index 100% rename from Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md rename to Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md diff --git a/Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png b/Zettelkasten/Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png similarity index 100% rename from Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png rename to Zettelkasten/Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png