Registration Number
0223U001426,
0118U001110
, R & D reports
Title
Develop theoretical foundations of cyberphysical systems based on insertion modeling
popup.stage_title
Head
Letychevskyi Oleksandr O.,
Registration Date
28-01-2023
Organization
V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine
popup.description2
Keywords - CYBERPHYSICAL SYSTEMS, HYBRID SYSTEMS, INSERTION MODELING, ALGEBRAIC PROGRAMMING, ALGEBRA OF BEHAVIOR, DIFFERENTIAL INVARIANT
The object of research is models, methods and technologies focused on the analysis of properties and modeling of cyber-physical systems.
The goal of the project is to create formal methods for modeling and studying the properties of hybrid systems combining continuous and discrete components.
The existing theory of insertional modeling has been expanded by adding a continuous component to the modeling process for solving more practical problems (physics, chemistry, biology) with the involvement of the latest own developments in the field of symbolic computing. At the same time, the task of determining the insertion semantics for hybrid systems was implemented.
A comparison of insertion modeling methods, which allow introducing a multi-level system of interactions, with existing models of hybrid automata and hybrid transition systems is made.
A scientific prototype of an extended insertion modeling system was created, to the input of which it was possible to submit a hybrid model in the extended specifications of the algebra of behaviors and apply the methods of modeling .
The following hybrid models were created in the research:
- thermal interactions based on heat conduction equations in a multi-agent system;
- quantum interactions at the level of electrons and orbitals of atoms;
- proton therapy, used in the treatment of oncological diseases.
The main areas of application and areas of application: solving scientific problems in the fields of physics, chemistry and biology; verification and testing of models of systems in the military, energy sphere and production of electronic devices.
Prognostic proposals for the development of the object - expansion of the methodology and tools for effective search of differential invariants, expansion of the spectrum of possible models and generalization of technology for multilevel models.
Product Description
popup.authors
Volkov Vladyslav A.
Kolchyn Oleksandr V
Letychevskyi Oleksandr O.
Lyaskalo Lesya Ye
Morokhovets Maryna K
Potiyenko Stepan V
Skobeliev Volodymyr
popup.nrat_date
2023-01-28
