Systems and Control Theory
Stochastic Hybrid Systems
Probabilistic Reachability
Optimal Control
Verification
Switched and Hybrid Systems
Dynamical Analysis, Stability, Stabilization
Applications
Systems Biology
Statistical Methods in the Biological & Medical Sciences
TCP Schemes for Wireless Nets