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

  • Certified Learning, and Learning for Verification

    • Bayesian inference, reinforcement learning, and game theory

• Applications

  • Cyber-Physical Systems (Energy Systems and Networks)

  • Safety Critical Systems (Automotive, Space)

  • Systems Biology

• Software

  • Find it here

• More details on my Research Group page: Oxford Control and Verification (OXCAV)

Research support is gratefully acknowledged to:

RTE

The Alan Turing Institute, London

EDF Research UK

Oxford University Press

• Pitch In fund

• Innovate UK (KTP and HICLASS project)

• NVIDIA, Denso, Toyota, ZF

• the Lucy Halsall fund

The European Commission, 7th Framework Program

NWO, the Netherlands Organization for Scientific Research

The European Commission, MC Actions

The French-Dutch Academy of Sciences