vault backup: 2025-03-31 14:25:26

201 Metadata/My Library.bib

@@ -1557,6 +1557,26 @@ Opportunities and Challenges toward Responsible AI.pdf}
   file = {/home/danesabo/Zotero/storage/LQHDDLSW/Cheminod et al. - 2011 - Formal Vulnerability Analysis of a Security System.pdf}
 }
 
+@article{chenApplicationsCyberPhysicalSystem2017,
+  title = {Applications of {{Cyber-Physical System}}: {{A Literature Review}}},
+  shorttitle = {Applications of {{Cyber-Physical System}}},
+  author = {Chen, Hong},
+  date = {2017-09},
+  journaltitle = {Journal of Industrial Integration and Management},
+  shortjournal = {J. Ind. Intg. Mgmt.},
+  volume = {02},
+  number = {03},
+  pages = {1750012},
+  publisher = {World Scientific Publishing Co.},
+  issn = {2424-8622},
+  doi = {10.1142/S2424862217500129},
+  url = {https://www.worldscientific.com/doi/abs/10.1142/S2424862217500129},
+  urldate = {2025-03-31},
+  abstract = {Cyber-Physical System (CPS), a new generation of digital system, mainly focuses on complex interdependencies and integration between cyberspace and physical world. A CPS is composed of highly-integrated computation, communication, control, and physical elements. CPS is currently of interest in academia, industry, and government. However, a systematic and extensive review of research on CPS is not available. As such, this paper conducts an expanded literature review on applications of CPS by examining existing literatures from 2012 to 2017 in Scopus database. Specifically, 77 papers studying applications of CPS are grouped into 10 categories and reviewed. The contents of the papers in each research category are summarized. The challenges and trends of research on CPS are illustrated as well.},
+  keywords = {applications,Cyber-physical system,review},
+  file = {/home/danesabo/Zotero/storage/NS9QLA3X/Chen - 2017 - Applications of Cyber-Physical System A Literature Review.pdf}
+}
+
 @inproceedings{chenFlowAnalyzerNonlinear2013,
   title = {Flow*: {{An Analyzer}} for {{Non-linear Hybrid Systems}}},
   shorttitle = {Flow*},
@@ -4554,6 +4574,27 @@ for defect classification of TFT–LCD panels.pdf}
   file = {/home/danesabo/Zotero/storage/KQQY8C38/Lee - 2015 - The Past, Present and Future of Cyber-Physical Sys.pdf}
 }
 
+@article{leePresentFutureCyberPhysical2015a,
+  title = {The {{Past}}, {{Present}} and {{Future}} of {{Cyber-Physical Systems}}: {{A Focus}} on {{Models}}},
+  shorttitle = {The {{Past}}, {{Present}} and {{Future}} of {{Cyber-Physical Systems}}},
+  author = {Lee, Edward A.},
+  date = {2015-03},
+  journaltitle = {Sensors},
+  volume = {15},
+  number = {3},
+  pages = {4837--4869},
+  publisher = {Multidisciplinary Digital Publishing Institute},
+  issn = {1424-8220},
+  doi = {10.3390/s150304837},
+  url = {https://www.mdpi.com/1424-8220/15/3/4837},
+  urldate = {2025-03-31},
+  abstract = {This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.},
+  issue = {3},
+  langid = {english},
+  keywords = {clock synchronization,cyber-physical systems,distributed systems,PRET machines,real-time systems,time synchronization},
+  file = {/home/danesabo/Zotero/storage/ZDNEDCIX/Lee - 2015 - The Past, Present and Future of Cyber-Physical Systems A Focus on Models.pdf}
+}
+
 @online{leeQuantifyingGeneralizingCAP2021,
   title = {Quantifying and {{Generalizing}} the {{CAP Theorem}}},
   author = {Lee, Edward A. and Bateni, Soroush and Lin, Shaokai and Lohstroh, Marten and Menard, Christian},
@@ -8069,6 +8110,24 @@ Subject\_term: Careers, Politics, Policy},
   file = {/home/danesabo/Zotero/storage/3YTF9M9I/Yu et al. - 2022 - STLmc Robust STL Model Checking of Hybrid Systems.pdf}
 }
 
+@article{zacchialunStateArtCyberphysical2019,
+  title = {State of the Art of Cyber-Physical Systems Security: {{An}} Automatic Control Perspective},
+  shorttitle = {State of the Art of Cyber-Physical Systems Security},
+  author = {Zacchia Lun, Yuriy and D’Innocenzo, Alessandro and Smarra, Francesco and Malavolta, Ivano and Di Benedetto, Maria Domenica},
+  date = {2019-03-01},
+  journaltitle = {Journal of Systems and Software},
+  shortjournal = {Journal of Systems and Software},
+  volume = {149},
+  pages = {174--216},
+  issn = {0164-1212},
+  doi = {10.1016/j.jss.2018.12.006},
+  url = {https://www.sciencedirect.com/science/article/pii/S0164121218302681},
+  urldate = {2025-03-31},
+  abstract = {Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting consequences of failures, security here is one of the primary concerns. Our systematic mapping study sheds light on how security is actually addressed when dealing with cyber-physical systems from an automatic control perspective. The provided map of 138 selected studies is defined empirically and is based on, for instance, application fields, various system components, related algorithms and models, attacks characteristics and defense strategies. It presents a powerful comparison framework for existing and future research on this hot topic, important for both industry and academia.},
+  keywords = {Cyber-physical systems,Security,Systematic mapping study},
+  file = {/home/danesabo/Zotero/storage/L7RAH6DU/Zacchia Lun et al. - 2019 - State of the art of cyber-physical systems security An automatic control perspective.pdf;/home/danesabo/Zotero/storage/5WXZYJW6/S0164121218302681.html}
+}
+
 @article{zahidSystematicMappingSemiformal2022,
   title = {A Systematic Mapping of Semi-Formal and Formal Methods in Requirements Engineering of Industrial {{Cyber-Physical}} Systems},
   author = {Zahid, Farzana and Tanveer, Awais and Kuo, Matthew M. Y. and Sinha, Roopak},

900s Calendars/Research/2025-03-31 Collect some literature reviews.md

@@ -0,0 +1,8 @@
+---
+title: Collect some literature reviews
+allDay: false
+startTime: 14:15
+endTime: 14:30
+date: 2025-03-31
+completed: null
+---

900s Calendars/Research/2025-03-31 Rust.md

@@ -1,8 +0,0 @@
----
-title: Rust
-allDay: false
-startTime: 15:30
-endTime: 16:00
-date: 2025-03-31
-completed: null
----

900s Calendars/Research/2025-04-01 Rust.md

@@ -0,0 +1,9 @@
+---
+title: Rust
+allDay: false
+startTime: 16:00
+endTime: 16:30
+date: 2025-04-01
+completed: null
+type: single
+---

900s Calendars/Research/Research - README.md

@@ -26,7 +26,7 @@
 - [[2025-03-25 Fix Pyright for Neovim.md]]
 - [[2025-03-28 Manyu defense.md]]
 - [[2025-03-31 ARCADE EndPoint.md]]
-- [[2025-03-31 Rust.md]]
+- [[2025-04-01 Rust]]
 
 ## Summary