diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index efb04b02b..cb3cb6d88 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -2144,6 +2144,20 @@ Opportunities and Challenges toward Responsible AI.pdf} file = {/home/danesabo/Zotero/storage/CDGP72KV/CH2_Sampled_Data_Analysis_Unfilled(1).pptx;/home/danesabo/Zotero/storage/GJGSRZXQ/CH2_Sampled_Data_Analysis_Unfilled.pdf} } +@article{CH3ZTransformDifference, + title = {{{CH3 The}} Z-{{Transform}} and the {{Difference Equation}}}, + journaltitle = {DIGITAL CONTROL SYSTEMS}, + langid = {english}, + file = {/home/danesabo/Zotero/storage/YVUXYFW8/Chapter 3 The z-Transform and the Difference Equation.pdf} +} + +@online{CH4System_Representation_S2020pdf2254, + title = {{{CH4 System}}\_{{Representation}}\_{{S2020}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}}, + url = {https://canvas.pitt.edu/courses/301794/files/19520682?module_item_id=5521302}, + urldate = {2025-01-23}, + file = {/home/danesabo/Zotero/storage/V4AZ95G2/Chap4_System_Representation_S2020.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf} +} + @incollection{championKindModelChecker2016, title = {The {{Kind}} 2 {{Model Checker}}}, booktitle = {Computer {{Aided Verification}}}, @@ -2179,6 +2193,12 @@ Opportunities and Challenges toward Responsible AI.pdf} file = {/home/danesabo/Zotero/storage/B654ZQJB/Reasoning about Bayesian Network Classifiers} } +@online{Chap4_System_Representation_S2020pdf2254MEa, + title = {Chap4\_{{System}}\_{{Representation}}\_{{S2020}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}}, + url = {https://canvas.pitt.edu/courses/301794/files/19520682?module_item_id=5521302}, + urldate = {2025-01-23} +} + @article{chappellatElementaryProofsClassical1990, title = {Elementary Proofs of Some Classical Stability Criteria}, author = {Chappellat, H. and Mansour, M. and Bhattacharyya, S.P.}, @@ -2196,13 +2216,6 @@ Opportunities and Challenges toward Responsible AI.pdf} file = {/home/danesabo/Zotero/storage/72C8YKGT/Chappellat et al. - 1990 - Elementary proofs of some classical stability crit.pdf;/home/danesabo/Zotero/storage/YLLB6JD5/57067.html} } -@article{Chapter3ZTransform, - title = {Chapter 3 {{The}} Z-{{Transform}} and the {{Difference Equation}}}, - journaltitle = {DIGITAL CONTROL SYSTEMS}, - langid = {english}, - file = {/home/danesabo/Zotero/storage/YVUXYFW8/Chapter 3 The z-Transform and the Difference Equation.pdf} -} - @online{charalambousNewEraSoftware2023, title = {A {{New Era}} in {{Software Security}}: {{Towards Self-Healing Software}} via {{Large Language Models}} and {{Formal Verification}}}, shorttitle = {A {{New Era}} in {{Software Security}}},