• Contact Info
Publications in VIVO
 

Zamani, Majid Assistant Professor

Positions

Research Areas research areas

Research

research overview

  • 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

Publications

selected publications

Background

International Activities

Other Profiles