Alessandro Abate - Research Interests

  • Theory (Systems and Control)

    • General State-Space Stochastic Systems

      • Stochastic Hybrid Systems

      • Formal Verification (over probabilistic temporal specifications)

      • Abstractions, (Bi)Simulations, Compositions

      • Stochastic Optimal Control (DP)

    • Switched, Hybrid, and Discrete-Event Systems

      • Analysis, Control, Finite Abstractions, Automated Verification

  • Applications (main)

    • Systems Biology

    • Statistical Methods in the Biological & Medical Sciences

  • Applications (side)

    • Power and Energy Networks

    • TCP Schemes for Wireless Nets

  • Software

    • Formula-based Abstraction of Stochastic Systems (with S.E.Z. Soudjani, available upon request)

    • Finite Abstraction of MPL models (VeriSiMPL, with D. Adzkiya), link

    • Basic computation of probabilistic reachability (not maintained), link

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, Research Executive Agency

alt text 
  • The French-Dutch Academy of Sciences