Project Code: PN-III-P4-ID-PCE-2016-0210
Contract No.: 160/2017
Duration: 12 July 2017 - 31 December 2019
Host Institution: University of Bucharest, Research Institute of the University of Bucharest
Financially supported by the Ministry of Research and Innovation, CNCS - UEFISCDI
This project aims to develop a novel integrative approach to Cyber-Physical Systems (CPS) specification, analysis and simulation.
This will consist of a three layer method:
The theoretical basis (a) of the research proposal envisages: the development of approximate learning techniques for X-machines and P systems that will remove or at least alleviate the well-known state explosion problem associated with testing and verifying complex systems such as CPS; development of appropriate semantics (with spatial capabilities) for X-machines and P systems models; a unifying approach on kP systems and enzymatic P systems.
Level (b) will include the integration of suitable verification methods and testing techniques for CPS, based on state based formalisms (in particular X-machines) and P systems (in particular kP systems and enzymatic numerical P systems).
Furthermore, all modelling, learning, verification and testing methods emerging from the project will be accompanied by powerful simulators and a toolkit that will integrate all these techniques.