From 8ea3c8896eb69f80e994be38e2958071f4dafc5f Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Fri, 8 Nov 2024 15:56:02 -0500 Subject: [PATCH] vault backup: 2024-11-08 15:56:02 --- 201 Metadata/My Library.bib | 84 +++++++++++++++++++++++++++++++++++++ 1 file changed, 84 insertions(+) diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 7b53602cc..764c81fdc 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -600,6 +600,23 @@ file = {/home/danesabo/Zotero/storage/2DE4Z9S6/display.html} } +@article{ardaozdemirTransferFunctionEstimation2017, + title = {Transfer {{Function Estimation}} in {{System Identification Toolbox}} via {{Vector Fitting}}}, + author = {Arda Ozdemir, Ahmet and Gumussoy, Suat}, + date = {2017-07}, + journaltitle = {IFAC-PapersOnLine}, + shortjournal = {IFAC-PapersOnLine}, + volume = {50}, + number = {1}, + pages = {6232--6237}, + issn = {24058963}, + doi = {10.1016/j.ifacol.2017.08.1026}, + url = {https://linkinghub.elsevier.com/retrieve/pii/S2405896317315045}, + urldate = {2024-11-08}, + langid = {english}, + file = {/home/danesabo/Zotero/storage/ZXNWPZHZ/Arda Ozdemir and Gumussoy - 2017 - Transfer Function Estimation in System Identification Toolbox via Vector Fitting.pdf} +} + @article{arkadovVirtualDigitalNuclear2014, title = {The Virtual Digital Nuclear Power Plant: {{A}} Modern Tool for Supporting the Lifecycle of {{VVER-based}} Nuclear Power Units}, shorttitle = {The Virtual Digital Nuclear Power Plant}, @@ -3321,6 +3338,23 @@ NTRS Research Center: Langley Research Center (LaRC)}, file = {/home/danesabo/Zotero/storage/V3FNANF6/Dreier et al. - 2019 - Formally and practically verifying flow properties.pdf} } +@article{drmacQuadratureBasedVectorFitting2015, + title = {Quadrature-{{Based Vector Fitting}} for {{Discretized}} \$\textbackslash mathcal\{\vphantom\}{{H}}\vphantom\{\}\_2\$ {{Approximation}}}, + author = {Drmač, Z. and Gugercin, S. and Beattie, C.}, + date = {2015-01}, + journaltitle = {SIAM Journal on Scientific Computing}, + shortjournal = {SIAM J. Sci. Comput.}, + volume = {37}, + number = {2}, + pages = {A625-A652}, + issn = {1064-8275, 1095-7197}, + doi = {10.1137/140961511}, + url = {http://epubs.siam.org/doi/10.1137/140961511}, + urldate = {2024-11-08}, + langid = {english}, + file = {/home/danesabo/Zotero/storage/996A8M9S/Drmač et al. - 2015 - Quadrature-Based Vector Fitting for Discretized $mathcal H _2$ Approximation.pdf} +} + @online{DSPACE, title = {{{dSPACE}}}, url = {https://www.dspace.com/en/inc/home.cfm}, @@ -4487,6 +4521,23 @@ Artificial Intelligence Program.pdf} file = {/home/danesabo/Zotero/storage/T8QH76S6/Garcia et al. - U.S.A. REGULATORY EFFORTS FOR CYBER SECURITY OF AD.pdf} } +@article{garnierContinuoustimeModelIdentification2003, + title = {Continuous-Time Model Identification from Sampled Data: {{Implementation}} Issues and Performance Evaluation}, + shorttitle = {Continuous-Time Model Identification from Sampled Data}, + author = {Garnier, H. and Mensler, M. and Richard, A.}, + date = {2003-01}, + journaltitle = {International Journal of Control}, + shortjournal = {International Journal of Control}, + volume = {76}, + number = {13}, + pages = {1337--1357}, + issn = {0020-7179, 1366-5820}, + doi = {10.1080/0020717031000149636}, + url = {http://www.tandfonline.com/doi/abs/10.1080/0020717031000149636}, + urldate = {2024-11-08}, + langid = {english} +} + @article{gawandSecuringCyberPhysical2017, title = {Securing a {{Cyber Physical System}} in {{Nuclear Power Plants Using Least Square Approximation}} and {{Computational Geometric Approach}}}, author = {Gawand, Hemangi Laxman and Bhattacharjee, A.K. and Roy, Kallol}, @@ -7243,6 +7294,23 @@ for defect classification of TFT–LCD panels.pdf} file = {/home/danesabo/Zotero/storage/9XUH6A6I/Liu et al. - 2022 - Secure-by-Construction Synthesis of Cyber-Physical.pdf} } +@article{ljungExperimentsIdentificationContinuous2009, + title = {Experiments with {{Identification}} of {{Continuous Time Models}}}, + author = {Ljung, Lennart}, + date = {2009}, + journaltitle = {IFAC Proceedings Volumes}, + shortjournal = {IFAC Proceedings Volumes}, + volume = {42}, + number = {10}, + pages = {1175--1180}, + issn = {14746670}, + doi = {10.3182/20090706-3-FR-2004.00195}, + url = {https://linkinghub.elsevier.com/retrieve/pii/S1474667016388097}, + urldate = {2024-11-08}, + langid = {english}, + file = {/home/danesabo/Zotero/storage/43ICC6ET/Ljung - 2009 - Experiments with Identification of Continuous Time Models.pdf} +} + @article{lopez-miguelPLCverifStatusFormal2022, title = {{{PLCverif}}: {{Status}} of a {{Formal Verification Tool}} for {{Programmable Logic Controller}}}, shorttitle = {{{PLCverif}}}, @@ -13103,6 +13171,22 @@ Subject\_term: Careers, Politics, Policy}, file = {/home/danesabo/Zotero/storage/6BVGTXCF/Yin and Li - 2020 - Recent advances on formal methods for safety and s.pdf} } +@article{youngRefinedInstrumentalVariable1980, + title = {Refined Instrumental Variable Methods of Recursive Time-Series Analysis {{Part III}}. {{Extensions}}}, + author = {Young, Peter and Jakeman, Anthony}, + date = {1980-04}, + journaltitle = {International Journal of Control}, + shortjournal = {International Journal of Control}, + volume = {31}, + number = {4}, + pages = {741--764}, + issn = {0020-7179, 1366-5820}, + doi = {10.1080/00207178008961080}, + url = {http://www.tandfonline.com/doi/abs/10.1080/00207178008961080}, + urldate = {2024-11-08}, + langid = {english} +} + @incollection{yuSTLmcRobustSTL2022, title = {{{STLmc}}: {{Robust STL Model Checking}} of {{Hybrid Systems Using SMT}}}, shorttitle = {{{STLmc}}},