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