1 distributed-systems "Eindhoven University of Technology (TU" PhD positions

PhD on timing-aware distributed supervisory controller synthesis

Eindhoven University of Technology (TU/e); yesterday published | Netherlands | about 16 hours ago

application of the approach is limited by the fact that tools for synthesis cannot always deal with the state space explosion involved in complex systems. The aim of this PhD project is to develop distributed