Interests

  • Dynamical systems and control

  • Uncertain systems with parametric disturbance

  • Formal verification of cyber-physical systems (CPS)

  • Multi-agent systems (MAS)

  • Reachable set computation

  • Convex optimization and linear matrix inequalities

  • Risk management for voltage stability of large scale power systems and reactive power compensation

  • Load modelling of power systems

  • Stability analysis of nonlinear systems and estimate of the domain of attraction

  • Semidefinite programming and sum-of-squares technique

  • Digital signal & image processing

  • Set methods by using zonotopes