Alessandro Abate - Research Interests
Theory (Systems and Control)
General State-Space Stochastic Systems
Stochastic Hybrid Systems
Formal Verification (over PCTL*)
Abstractions, (Bi)Simulations, Compositions
Stochastic Optimal Control (DP)
Switched, Hybrid, and Discrete-Event Systems
Analysis, Control, Finite Abstractions, Verification
Applications (main)
Systems Biology
Statistical Methods in the Biological & Medical Sciences
Applications (side)
Power and Energy Networks
TCP Schemes for Wireless Nets
Software (available upon request)
Formula-based Abstraction of Stochastic Systems (with S.E.Z. Soudjani)
Finite Abstraction of MPL models (with D. Adzkiya)
Support is gratefully acknowledged to:
 |
|
 |
|
 |
|
 |
|