Cyber-physical systems review.
Keywords:
cyber-physical system, biosensor, immunosensor, mathematical model, static mathematical model, differential equations.
Abstract
The paper reviews the cyber-physical systems. Taking into account the enhanced development of cyber-physical systems, the world is focused on various aspects of their formation and exploitation, in particular the definition and formation of their main characteristics for the management of the development and implementation of "intellectual" programs in various fields, including intelligent production, transportation, energy and health care.
References
Meissner H. Implications of cyber-physical production systems on integrated process planning and scheduling [Text] / H. Meissner, J. Aurich // Procedia Manufacturing. – 2019. – Vol. 28. – P. 167-173.
Lee J. A cyber-physical systems architecture for industry 4.0-based manufacturing systems [Text] / J. Lee, B. Bagheri, H.-A. Kao // Manufacturing Letters. – 2015. – Vol. 3. – P. 18–23.
Thiede S. Implementing cyber-physical production systems in learning factories [Text] / S. Thiede, M. Juraschek, C. Herrmann // Procedia CIRP. – 2016. – Vol. 54. – P. 7-12.
Platzer A. Differential dynamic logic for hybrid systems [Text] / A. Platzer // Journal of Automated Reasoning. – 2018. – Vol. 41, № 2. – P. 143–189.
Platzer A. Logical foundations of cyber-physical systems [Text] / A. Platzer. – Berlin: Springer, 2018. – 639 p.
Kłos-Witkowska A. The phenomenon of fluorescence in immunosensors [Text] / A. Kłos-Witkowska // Acta Biochimica Polonica. – 2016 – Vol. 63, № 2. – P. 215–221.
Martsenyuk V. P. Study of classification of immunosensors from viewpoint of medical tasks [Text] / V. P. Martsenyuk, A. Klos-Witkowska, A. S.Sverstiuk // Medical informatics and engineering. – 2018. – № 1(41). – P.13-19.
Martsenyuk V.P. On principles, methods and areas of medical and biological application of optical immunosensors [Text] / V. P. Martsenyuk, A. Klos-Witkowska, A. S. Sverstiuk, T. V. Bihunyak // Medical informatics and engineering. – 2018. – № 2 (42). – P. 28-36.
Микийчук М. М., Стадник Б. І., Яцишин С. П., Луцик Я. Т. (2017). Розумні вимірювальні засоби для кіберфізичних систем. Bимірювальна техніка та метрологія. – № 77. – С. 3–17.
Ван Чунжі Кіберфізичні системи та їх програмне забезпечення / Ван Чунжі, Яцишин С. П., Лиса О. В., Мідик А-В. В.// Вимірювальна техніка та метрологія. - № 79 (1).- 2018 р. - С.34-38.
Paper-based immunosensors: current trends in the types and applied detection techniques / G. Zhu, X. Yin, D. Jin, B. Zhang, Y. Gu, Y. An // Trends in Analytical Chemistry. – 2019. – Vol. 111. – P. 100-117.
Jiang X. Electrochemical impedance biosensor with electrode pixels for precise counting of CD4+ cells: A microchip for quantitative diagnosis of HIV infection status of AIDS patients [Text] / X. Jiang, M. Spencer // Biosensors and Bioelectronics. – 2010. – Vol. 25, Issue 7. – P. 1622-1628.
Characterization of Cyber-Physical Sensor Systems [Text] / [C. Berger, A. Hees, S. Braunreuther, G. Reinhart] // Procedia CIRP. – 2016. – Vol. 41. – P. 638-643.
Стрихалюк Б.М. Кіберфізичні технології моніторингу стану кардіологічних пацієнтів в системі телемедицини / Б.М. Стрихалюк, Р.С. Колодій, М.В. Секела // Штучний інтелект. – 2016. – С. 144-150.
Shabut Antesar M. An intelligent mobile-enabled expert system for tuberculosis disease diagnosis in real time / Antesar M. Shabut, Marzia Hoque Tania, Khin T. Lwin та ін.// Expert Systems With Applications. – 2018. – С. 65-77.
Ashish Choudhari, Harini Ramaprasad, Tamal Paul / Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
M. S. Branicky. Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4):475–482, 1998.
H. Ye, A. N. Michel, and L. Hou. Stability analysis of systems with impulse effects. IEEE Transactions on Automatic Control, 43(12):1719– 1723, 1998.
H. Ye, A. N. Michel, and L. Hou. Stability theory for hybrid dynamical systems. IEEE Transactions on Automatic Control, 43(4):461–474, 1998.
T. Paul, J. Kimball, M. Zawodniok, T. Roth, and B. McMillin. Invariants as a unified knowledge model for cyber-physical systems. In Service- Oriented Computing and Applications (SOCA), 2011 IEEE International Conference on, pages 1 –8, dec. 2011.
T. Paul. Unified Knowledge Model for Stability Analysis in Cyber Physical Systems. Missouri University of Science and Technology, 2012.
Shi Tianjin , Wu Xu, Guan Jizhen, Chen Yangzhou “The analysis of traffic control cyber physical systems” .” 13th COTA International Conference of Transportation Professionals (CICTP-2013)” pgno 2487- 2496.
Hahanov V. Cyber physical system – smart cloud traffic control [Text] / V. Hahanov, Wajeb Gharibi, L.S. Abramova, S. Chumachenko, E. Litvinova, A. Hahanova, V. Rustinov, V. Miz, A. Zhalilo, A. Ziarmand // Proc. of the IEEE Design & Test Symposium. – 2014. – Kiev, Ukraine. – P. 49-66. (Входить до міжнародних наукометричних баз Scopus, IEEE Xplore).
Chi-Un Lei, Kaiyu Wan, Ka Lok Man,” Developing a Smart Learning Environment in Universities Via Cyber-Physical Systems” Information Technology and Quantitative Management (ITQM2013), vol 17 pgno583-585.
http://citeseerx.ist.psu.edu/viewdoc/download
Workshop on Cyber Physical Systems: Applications and Challenges http://www.iith.ac.in/cpsworkshop/home March 2013.
Lee J. A cyber-physical systems architecture for industry 4.0-based manufacturing systems [Text] / J. Lee, B. Bagheri, H.-A. Kao // Manufacturing Letters. – 2015. – Vol. 3. – P. 18–23.
Thiede S. Implementing cyber-physical production systems in learning factories [Text] / S. Thiede, M. Juraschek, C. Herrmann // Procedia CIRP. – 2016. – Vol. 54. – P. 7-12.
Platzer A. Differential dynamic logic for hybrid systems [Text] / A. Platzer // Journal of Automated Reasoning. – 2018. – Vol. 41, № 2. – P. 143–189.
Platzer A. Logical foundations of cyber-physical systems [Text] / A. Platzer. – Berlin: Springer, 2018. – 639 p.
Kłos-Witkowska A. The phenomenon of fluorescence in immunosensors [Text] / A. Kłos-Witkowska // Acta Biochimica Polonica. – 2016 – Vol. 63, № 2. – P. 215–221.
Martsenyuk V. P. Study of classification of immunosensors from viewpoint of medical tasks [Text] / V. P. Martsenyuk, A. Klos-Witkowska, A. S.Sverstiuk // Medical informatics and engineering. – 2018. – № 1(41). – P.13-19.
Martsenyuk V.P. On principles, methods and areas of medical and biological application of optical immunosensors [Text] / V. P. Martsenyuk, A. Klos-Witkowska, A. S. Sverstiuk, T. V. Bihunyak // Medical informatics and engineering. – 2018. – № 2 (42). – P. 28-36.
Микийчук М. М., Стадник Б. І., Яцишин С. П., Луцик Я. Т. (2017). Розумні вимірювальні засоби для кіберфізичних систем. Bимірювальна техніка та метрологія. – № 77. – С. 3–17.
Ван Чунжі Кіберфізичні системи та їх програмне забезпечення / Ван Чунжі, Яцишин С. П., Лиса О. В., Мідик А-В. В.// Вимірювальна техніка та метрологія. - № 79 (1).- 2018 р. - С.34-38.
Paper-based immunosensors: current trends in the types and applied detection techniques / G. Zhu, X. Yin, D. Jin, B. Zhang, Y. Gu, Y. An // Trends in Analytical Chemistry. – 2019. – Vol. 111. – P. 100-117.
Jiang X. Electrochemical impedance biosensor with electrode pixels for precise counting of CD4+ cells: A microchip for quantitative diagnosis of HIV infection status of AIDS patients [Text] / X. Jiang, M. Spencer // Biosensors and Bioelectronics. – 2010. – Vol. 25, Issue 7. – P. 1622-1628.
Characterization of Cyber-Physical Sensor Systems [Text] / [C. Berger, A. Hees, S. Braunreuther, G. Reinhart] // Procedia CIRP. – 2016. – Vol. 41. – P. 638-643.
Стрихалюк Б.М. Кіберфізичні технології моніторингу стану кардіологічних пацієнтів в системі телемедицини / Б.М. Стрихалюк, Р.С. Колодій, М.В. Секела // Штучний інтелект. – 2016. – С. 144-150.
Shabut Antesar M. An intelligent mobile-enabled expert system for tuberculosis disease diagnosis in real time / Antesar M. Shabut, Marzia Hoque Tania, Khin T. Lwin та ін.// Expert Systems With Applications. – 2018. – С. 65-77.
Ashish Choudhari, Harini Ramaprasad, Tamal Paul / Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
M. S. Branicky. Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4):475–482, 1998.
H. Ye, A. N. Michel, and L. Hou. Stability analysis of systems with impulse effects. IEEE Transactions on Automatic Control, 43(12):1719– 1723, 1998.
H. Ye, A. N. Michel, and L. Hou. Stability theory for hybrid dynamical systems. IEEE Transactions on Automatic Control, 43(4):461–474, 1998.
T. Paul, J. Kimball, M. Zawodniok, T. Roth, and B. McMillin. Invariants as a unified knowledge model for cyber-physical systems. In Service- Oriented Computing and Applications (SOCA), 2011 IEEE International Conference on, pages 1 –8, dec. 2011.
T. Paul. Unified Knowledge Model for Stability Analysis in Cyber Physical Systems. Missouri University of Science and Technology, 2012.
Shi Tianjin , Wu Xu, Guan Jizhen, Chen Yangzhou “The analysis of traffic control cyber physical systems” .” 13th COTA International Conference of Transportation Professionals (CICTP-2013)” pgno 2487- 2496.
Hahanov V. Cyber physical system – smart cloud traffic control [Text] / V. Hahanov, Wajeb Gharibi, L.S. Abramova, S. Chumachenko, E. Litvinova, A. Hahanova, V. Rustinov, V. Miz, A. Zhalilo, A. Ziarmand // Proc. of the IEEE Design & Test Symposium. – 2014. – Kiev, Ukraine. – P. 49-66. (Входить до міжнародних наукометричних баз Scopus, IEEE Xplore).
Chi-Un Lei, Kaiyu Wan, Ka Lok Man,” Developing a Smart Learning Environment in Universities Via Cyber-Physical Systems” Information Technology and Quantitative Management (ITQM2013), vol 17 pgno583-585.
http://citeseerx.ist.psu.edu/viewdoc/download
Workshop on Cyber Physical Systems: Applications and Challenges http://www.iith.ac.in/cpsworkshop/home March 2013.
Abstract views: 103 PDF Downloads: 128
Published
2020-01-28
How to Cite
Martsenyuk, V., SverstiukА., Bagriy-Zayats О., HorkunenkoА., & Ostafiychuk, D. (2020). Cyber-physical systems review. COMPUTER-INTEGRATED TECHNOLOGIES: EDUCATION, SCIENCE, PRODUCTION, (35), 152-160. Retrieved from https://cit.lntu.edu.ua/index.php/cit/article/view/62
Section
Computer science and computer engineering
