Academic Career and Research Areas
The research of Professor Zamani (b. 1983) mainly focuses on the formal verification and control of (stochastic) hybrid systems. These systems are composed of both continuous and discrete dynamics and due to their versatility and generality, methods for the analysis and design of these systems hold great promise in many safety-critical applications. Examples of such applications include automotive, aerospace, transportation systems, chemical processes, critical infrastructure, energy, robotics, healthcare, etc.
Professor Zamani received a Bachelor of Science degree in electrical engineering from Isfahan University of Technology in 2005 and a Master of Science degree in electrical engineering from Sharif University of Technology in 2007. In 2012 he received a PhD degree in electrical engineering and an MA degree in mathematics from the University of California, Los Angeles. From 2012 to 2013 he was a postdoctoral researcher in the Delft Center for Systems and Control at Delft University of Technology. Between December 2013 and May 2014 he was an assistant professor in the Design Engineering Department at Delft University of Technology. Since May 2014 Professor Zamani has been an assistant professor at TUM where he leads the Hybrid Control Systems Group in the Department of Electrical Engineering and Information Technology.
Key Publications (all publications)
Zamani M, Mohajerin Esfahani P, Majumdar R, Abate A, and Lygeros J: “Symbolic control of stochastic systems via approximately bisimilar finite abstractions”. IEEE Transactions on Automatic Control. Special Issue on Control of Cyber-Physical Systems. 2014; 59(12): 3135-3150.Abstract
Zamani M, Abate A: “Approximately bisimilar symbolic models for randomly switched stochastic systems”. Systems & Control Letters. 2014; 69: 38-46.Abstract
Zamani M, van de Wouw N, Majumdar R: “Backstepping controller synthesis and characterisations of incremental stability”. Systems & Control Letters. 2013; 62(10): 949-962.Abstract
Zamani M, Pola G, Mazo Jr. M, Tabuada P: “Symbolic models for nonlinear control systems without stability assumptions”. IEEE Transactions on Automatic Control. 2012; 57(7): 1804-1809.Abstract
Zamani M and Tabuada P: “Backstepping design for incremental stability”. IEEE Transactions on Automatic Control. 2011; 56(9): 2184-2189.Abstract