vault backup: 2024-11-08 15:56:02
This commit is contained in:
parent
56a65a0818
commit
8ea3c8896e
@ -600,6 +600,23 @@
|
|||||||
file = {/home/danesabo/Zotero/storage/2DE4Z9S6/display.html}
|
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,
|
@article{arkadovVirtualDigitalNuclear2014,
|
||||||
title = {The Virtual Digital Nuclear Power Plant: {{A}} Modern Tool for Supporting the Lifecycle of {{VVER-based}} Nuclear Power Units},
|
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},
|
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}
|
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,
|
@online{DSPACE,
|
||||||
title = {{{dSPACE}}},
|
title = {{{dSPACE}}},
|
||||||
url = {https://www.dspace.com/en/inc/home.cfm},
|
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}
|
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,
|
@article{gawandSecuringCyberPhysical2017,
|
||||||
title = {Securing a {{Cyber Physical System}} in {{Nuclear Power Plants Using Least Square Approximation}} and {{Computational Geometric Approach}}},
|
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},
|
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}
|
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,
|
@article{lopez-miguelPLCverifStatusFormal2022,
|
||||||
title = {{{PLCverif}}: {{Status}} of a {{Formal Verification Tool}} for {{Programmable Logic Controller}}},
|
title = {{{PLCverif}}: {{Status}} of a {{Formal Verification Tool}} for {{Programmable Logic Controller}}},
|
||||||
shorttitle = {{{PLCverif}}},
|
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}
|
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,
|
@incollection{yuSTLmcRobustSTL2022,
|
||||||
title = {{{STLmc}}: {{Robust STL Model Checking}} of {{Hybrid Systems Using SMT}}},
|
title = {{{STLmc}}: {{Robust STL Model Checking}} of {{Hybrid Systems Using SMT}}},
|
||||||
shorttitle = {{{STLmc}}},
|
shorttitle = {{{STLmc}}},
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user