Zamani's research interests includes verification and control of cyber-physical systems, hybrid systems, embedded control software synthesis, networked control systems, and incremental properties of nonlinear control systems.
keywords
Formal synthesis of (stochastic) hybrid systems, Compositional analysis and synthesis of interconnected systems, Formal methods approaches to robotic applications and autonomous systems, Information-based control, Automated synthesis of networked control systems, Incremental stability of (stochastic) control systems
Finite Abstractions of Networked Control Systems.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
95-100.
2014
A Lyapunov approach in incremental stability.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
302-307.
2011