Research

• Formal verification and synthesis of hybrid systems
• Symbolic control of stochastic hybrid systems
• Automated synthesis of networked control systems
• Platform-aware synthesis of control systems
• Information-based control
• Analysis of and synthesis for incremental stability