Publisher
Ternopil Ivan Puluj National Technical University
Reference18 articles.
1. 1. Lee E. A. Cyber physical systems: Design challenges. Center for Hybrid and Embedded Software Systems / EECS University of California, Berkeley, CA 94720, USA, Tech. Rep. UCB/EECS-2008-8, Jan. 2008. Р. 10.
2. 2. Lee J., Bagheri B., Kao H.-A. A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufacturing Letters. Vol. 3. 2015. Pp. 18-23.
3. 3. Kim K.-D., Kumar P. R. Cyber-physical systems: A perspective at the centennial. Proceedings of the IEEE. Vol. 100. No. Special Centennial Issue. May 2012. Pp. 1287-1308.
4. 4. Platzer A. Differential dynamic logic for hybrid systems. Journal of Automated Reasoning. Vol. 41. No. 2. 2008. Pp. 143-189.
5. 5. Martsenyuk V. P., Klos-Witkowska A., Sverstiuk A. S. Study of classification of immunosensors from viewpoint of medical tasks. Medical informatics and engineering. 2018. № 1 (41). P. 13-19.