This paper illustrates how kernel P systems (kP systems) can be used for modelling and validating an engineering application, in this case a cruise control system of an electric bike. The validity of the system is demonstrated via formal verification, carried out using the kPWorkbench tool. Furthermore, we show how the kernel P system model can be tested using automata and X-machine based techniques.
CITATION STYLE
Lefticaru, R., Bakir, M. E., Konur, S., Stannett, M., & Ipate, F. (2018). Modelling and validating an engineering application in kernel P systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10725 LNCS, pp. 183–195). Springer Verlag. https://doi.org/10.1007/978-3-319-73359-3_12
Mendeley helps you to discover research relevant for your work.