Our research is driven by the goal to significantly expand the applicability of fully automated logical control software synthesis tools to reliable cyber physical system design. Our work is a truly interdisciplinary effort at the intersection of control engineering and computer science. It intervenes logical control, dynamical systems theory, software verification and reactive software synthesis. We build scalable, efficient and highly automated algorithms for CPS design, which address the challenge of reliably orchestrating continuous physical components and discrete decision making units within the automation systems of the future.

Current Projects:

Past Projects: