Alessandro Abate - Research Interests

  • Theory (Verification and Control)

    • Stochastic Dynamical and Control Systems

      • Stochastic Hybrid Systems

      • General State-Space Models

      • Automated Formal Verification (over temporal specifications)

      • Abstractions, (Bi)Simulations, Compositions

      • Stochastic Optimal Control (DP), Correct-by-Design Automated Synthesis (CEGIS)

    • Switched, Hybrid, and Discrete-Event (e.g., MPL) Systems

      • Analysis (e.g., Reachability), Finite Abstractions, Automated Verification, Symbolic Control Synthesis

  • Applications

    • Cyber-Physical Systems (Energy Systems and Networks)

    • Systems Biology



Support is gratefully acknowledged to:

alt text 
  • The European Commission, 7th Framework Program

alt text 
  • NWO, the Netherlands Organization for Scientific Research

alt text 
  • The European Commission, MC Actions

alt text 
  • The French-Dutch Academy of Sciences

  • RTE

  • EDF Research UK

  • John Fell fund OUP

  • Lucy Halsall fund