Огляд кібер-фізичних систем.
Ключові слова:
кібер-фізична система, біосенсор, імуносенсор, математична модель, статична математична модель, диференціальні рівняння.
Анотація
В роботі проведено огляд кібер-фізичних систем. У зв’язку з посиленим розвитком кібер-фізичних систем істотна увага у світі приділяється різним аспектам їх формування й експлуатації, зокрема визначенню та формуванню їх основних характеристик для керівництва розробленням та впровадженням «інтелектуальних» програм у різних сферах, включаючи розумні виробництво, транспортування, енергетику та охорону здоров'я
Посилання
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.
Опубліковано
2020-01-28
Як цитувати
Марценюк, В., СверстюкA., Багрій-ЗаяцьO., ГоркуненкоA., & Остафійчук, Д. (2020). Огляд кібер-фізичних систем . КОМП’ЮТЕРНО-ІНТЕГРОВАНІ ТЕХНОЛОГІЇ: ОСВІТА, НАУКА, ВИРОБНИЦТВО, (35), 152-160. вилучено із https://cit.lntu.edu.ua/index.php/cit/article/view/62
Розділ
Інформатика та обчислювальна техніка
