title: ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS
abstract: Context. Current trends in the performance and complexity of system requirements require fundamentally new approaches to design, in which cybernetic and physical components are integrated at different stages. Cyber-physical systems are systems that provide close interaction between physical and cybernetic components, integration of computing, physical processes and networks. In such systems, software and physical subsystems operate in different temporal and spatial dimensions, interacting in dif
journal: Radio Electronics Computer Science Control