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.
- Permissive Templates for Strategy Adaptation
- Assume/Guarantee Contracts for Distributed Supervisory Control
- Taming Fairness Assumptions in Two-Player Games
- Context-Triggered Abstraction-Based Control Design
- Symbolic Output-Feedback Control for Infinite-State Systems
- Bridging the Gap between Supervisory Control & Reactive Synthesis
- Discretization-based Abstraction of Non-linear Control Systems