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:

The European Commission, 7th Framework Program

NWO, the Netherlands Organization for Scientific Research

The European Commission, Research Executive Agency

The French-Dutch Academy of Sciences