Objectives
This project aims to develop a novel integrative approach to CPS specification, analysis and simulation. In order to achieve this, the following research objectives have been identified:
- Development of approximate learning techniques for the X-machine formalism and synthesis algorithms for P systems.
- Definition of a formal semantics for X-machines and P systems.
- Investigation of the relationships between kP systems and enzymatic P systems.
- Development of test generation techniques for X-machines that check that the system approximately conforms to the X-machine model.
- Integrative model checking approaches.
- Development of an integrated modelling, simulation, learning, verification and testing toolkit for CPS applications.