“Cyber-physical systems. Biology models”

The project has been started together with the Glushkov Institute of Cybernetic in 2017. The main goal of the project is to provide the analysis, reachability of properties and symbolic simulation of biology models. It anticipates developing of formal methods based on the hybrid modeling (composition of discrete and continuous behavior). The theory of semi-group modeling in the scope of behavior algebra proposed by academician A.Letichevsky (senior) is used in the research. This project is in the initial stage and it is anticipated to develop the row of the examples of models of membrane transport, gene regulations and biochemical analysis.

© 2018 LitSoft Enterprise R&D. All Rights Reserved. Designed By JoomLead