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.