From ff668bb7eaf3fd8a819f46fe6075f9e2700d4bf0 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 30 Oct 2024 14:46:27 -0400 Subject: [PATCH] vault backup: 2024-10-30 14:46:27 --- 201 Metadata/My Library.bib | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 5ebba422..77bc852c 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -5545,6 +5545,13 @@ Regulatory Premises.pdf} urldate = {2024-08-08} } +@online{HttpsVbnaaudkWs, + title = {{{https://vbn.aau.dk/ws/portalfiles/portal/140575/fulltext}}}, + url = {https://vbn.aau.dk/ws/portalfiles/portal/140575/fulltext}, + urldate = {2024-10-30}, + file = {/home/danesabo/Zotero/storage/3LAD5CQX/fulltext.pdf} +} + @online{HttpsWwwWhitehouse, title = {{{https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}}}, url = {https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}, @@ -11867,6 +11874,17 @@ Subject\_term: Careers, Politics, Policy}, annotation = {Page Version ID: 1191589904} } +@article{toffner-clausenMuSynthesisMuSynthesis1995, + title = {Mu-{{Synthesis}}: {{Mu-Synthesis}}}, + shorttitle = {Mu-{{Synthesis}}}, + author = {Tøffner-Clausen, S. and Andersen, Palle}, + date = {1995}, + journaltitle = {Recent Results in Robust and Adaptive Control, EURACO Workshop Florence 11-14 September 1995}, + pages = {269--303}, + abstract = {This paper provides an introduction to mu-synthesis.}, + file = {/home/danesabo/Zotero/storage/MCTBWR4Y/fulltext.pdf} +} + @article{tomlinComputationalTechniquesVerification2003, title = {Computational Techniques for the Verification of Hybrid Systems}, author = {Tomlin, C.J. and Mitchell, I. and Bayen, A.M. and Oishi, M.},