Alessandro Abate - Research Interests

  • Theory (Systems and Control, Verification)

    • General State-Space Stochastic Systems

      • Stochastic Hybrid Systems

      • Automated Formal Verification (over temporal specifications)

      • Abstractions, (Bi)Simulations, Compositions

      • Stochastic Optimal Control (DP)

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

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

  • Applications (main)

    • Systems Biology

    • Cyber-Physical Systems (Power and Energy Networks)

  • Applications (side)

    • Statistical Methods in the Biological & Medical Sciences

    • TCP Schemes for Wireless Nets

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

  • John Fell fund OUP

  • Lucy Halsall fund