Mathematical Methods for Embedded Systems


My current research interest is focussed on the development of new mathematical methods for the analysis of embedded systems behaviour.
Important concepts that play a role in this are:

- Axiomatic reasoning about execution intervals (and their prefix order);
- Event-based modeling and simulation (Matlab SimEvents);
- Dataflow graphs and max-plus algebra;

I would like to study these topics on a rather abstract level, but as a source of inspiration I also like to apply them in particular to problems in the field of cyber-physical systems and the Internet of Things (and Vehicles). I currently supervise three PhD students, who work on this together with me.
- rCPS project on data-intensive sensing (Jingyue Cao);
- Awesome project on evolution of software components (Nan Yang);
- RWS project on gathering of mobility data (Jeroen Redegeld);

New projects that are coming up are mainly focused on the performance analysis of Ethernet TSN, an extension of the Ethernet standard aimed at the needs of the Automotive domain

Previously, I have been involved in the following projects.

MANY: Supervision of Alok Lele
COBRA: Supervision of Alok Lele
SenSafety: Supervision of Milosh Stolikj
MULTIFORM: Supervisor of Harsh Beohar
Process Algebras for Hybrid Systems: Comparison and Development: Supervisor of Uzma Khadim
IRIS: Project Leader for TU/e
AIMES 2 (STW EWI.4877) : as a researcher
Analysis and synthesis of embedded systems with discrete and continuous control (STW/PROGRESS EES.5173): as a PhD-student