Abstract | ||
---|---|---|
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. |
Year | Venue | Field |
---|---|---|
2017 | Int. Conf. on Membrane Computing | Kernel (linear algebra),Cruise control,Computer science,Automaton,Membrane computing,Computer engineering,Formal verification,P system |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
12 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Raluca Lefticaru | 1 | 188 | 17.69 |
Mehmet E. Bakir | 2 | 12 | 3.77 |
Savas Konur | 3 | 131 | 13.40 |
Mike Stannett | 4 | 83 | 19.67 |
Florentin Ipate | 5 | 419 | 43.20 |