Advances In Cyber-Physical Systems
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/33988
Browse
8 results
Search Results
Item Numerical Simulation of Cyber-Physical Biosensor Systems on the Basis of Lattice Difference Equations(Видавництво Львівської політехніки, 2019-02-26) Martsenyuk, Vasyl; Kłos-Witkowska, Aleksandra; Sverstiuk, Andriy; Bahrii-Zaiats, Oksana; University of Bielsko-Biala; I. Gorbachevsky Ternopil National Medical UniversityCyber physical systems (CPS) include a lot of high complexity computing such as dynamic analysis and verification of continuous dynamic property, analysis and verification of real-time property, analysis and verification of spatial property, scheduling and fault tolerance. In this paper, some of the research directions that we are taking toward addressing some of the challenges involved in building cyber physical systems have been described. Taking into account the features of the cyber-physical sensor systems, the basic model has been modified. Lattice images in biopixels have been modified according to the laws of discrete dynamics. The developed models take into account the interaction of biopixels with each other by antigen diffusion. The comparative analysis of CPS models on rectangular and hexagonal lattices using differenсе equations has been considered in the work. The results of numerical simulations in the form of phase plane images and lattice images of the probability of antigen to antibody binding in the biopixels of cyber-physical biosensor systems for antibody populations relative to antigen populations have been received in the paper. The comparative analysis of the results of numerical modeling of mathematical models of cyber-physical biosensor systems on rectangular and hexagonal lattices using lattice difference equations with delay has been considered.Item Master of computer engineering program with specialization in Cyber-Physical Systems(Lviv Politechnic Publishing House, 2019-02-26) Melnyk, Anatoliy; Botchkaryov, Alexey; Lviv Polytechnic National UniversityThe problem of designing a master of computer engineering program with a specialization in cyber-physical systems has been considered. The concept of cyber-physical systems has been analyzed from the perspective of generalization and formalization for educational purposes. The need for designing a master program in cyber-physical systems has been justified. Program competencies and learning outcomes have been defined. The structure of the master of computer engineering program with a specialization in cyber-physical systems and the corresponding structural-logical scheme of master's training have been regarded.Item Invariants of noise in cyber-physical systems components(Lviv Politechnic Publishing House, 2017-12-03) Nyemkova, Elena; Lviv Polytechnic National UniversityThe article is devoted to the invariant of internal electrical noise of electronic devices, which are components of cyber-physical systems. Time series of noise signals show chaotic behavior. Invariants are based on the autocorrelation function of dynamic time series. Insignificant differences on the micro-level devices lead to changes in the dynamics of time series. It is shown that the form of the autocorrelation function is unchanged for each electronic device of the cyber-physical system. The dynamic authentication algorithm has been developed, which consists of choosing a range of time series, defining and calculating invariants, making decisions about authentication. The result of the operation of the algorithm can be transferred to the executive mechanism, depending on the practical problems in cyber-physical systems. Also for the pseudorandom sequence of the embedded program generator, the following values are predicted on the basis of invariants. Estimated errors are calculated.Item Cyber-physical system for solving travelling salesman problem(Lviv Politechnic Publishing House, 2017-02-01) Muliarevych, Oleksandr; Lviv Polytechnic National UniversityIn this paper new approaches for solving dynamic Travelling Salesman Problem (TSP) in conditions of partly unknown input data are given.Item Biotechnical components of cyber-physical systems(Lviv Politechnic Publishing House, 2017-02-01) Berezko, Leonid; Sokolov, Serhii; Lviv Polytechnic National UniversityWe synthesized the general structures of biomedical electric impedance biotechnical systems as a part of cyber-physical systems and propose methodological recommendations on the electric impedance equipment development.Item Characteristic express checking of admittance measurement units for cyber-physical systems(Publishing House of Lviv Polytechnic National University, 2016) Yatsuk, Vasyl; Pokhodylo, Yevhen; Bubela, Tetiana; Yatsuk, Yurii; Lviv Polytechnic National UniversityMeasurement of RLC-parameters of objects non-electric nature (for example, biological, agricultural, environmental, etc.) with high metrological characteristics is an essential element for building a cyber-physical systems analytical purposes. The reliability of the measurement results of the equipment can be provided only by periodic metrological control over the exploitation conditions. Traditionally analytical RLC-meters are calibrated by means of standard samples and it leads to significant problems in their metrological assurance and complicates whole procedure. It is suggested to make operating check of admittance measurement units metrological characteristics by use of intelligent devices based on code-controlled measures. Critical analysis of available approaches for measures creation was carried out and an admittance codecontrolled measure scheme based on active simulators was designed. The mathematic model for measuring transfer function, analytical devices calibration process and advantages of the operating check based code-controlled measure was presented too.Item Remote errors correction of multi-channel cyber-physical measuring systems(Publishing House of Lviv Polytechnic National University, 2016) Yatsuk, Vasyl; Mykyjchuk, MykolaThe method of remote auto calibration measurement channels cyber-physical systems in real time using code-controlled measures is described. Additive error components as measurement as well the reference channels is adjusted by switching invert method. It is shown that the resulting measurement error virtually determined by codecontrolled measures error that could it serve as a basis for implementing remote auto calibration and operative check of metrological characteristics of measuring channels cyber-physical systems. The results of the experimental study model code-controlled measures showed good coincidence with the theoretical model.Item Cyber-physical systems multilayer platform and research framework(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, AnatoliyThe issues of cyber-physical systems creation and approaches to their solving are formed in the article. The base principles of the multilayer platform for Cyber- Physical Systems are formed in accordance with achievements and modern conceptions of computer, information and telecommunication technologies application. The structure of the multilayer platform for Cyber-Physical Systems are offered, its applications and functions are described. Future directions for research within the framework of each of six layers of the Cyber-Physical System and within the framework of its general organization are formed. The expected results from its implementation are defined.