Preprints:
  1. M. Khaled, M. Rungger, and M. Zamani. SENSE: Towards formal synthesis of networked control systemsSubmitted for publication.
  2. M. Rungger and M. Zamani. Invariance feedback entropy of uncertain control systemsSubmitted for publication. (Preprint)
  3. P. Jagtap and M. Zamani. Automated synthesis of infinite dimensional stochastic hybrid systems. Submitted for publication. (Preprint)
Journal papers:
  1. M. Zamani, M. Mazo Jr, M. Khaled, and A. Abate. Symbolic abstractions of networked control systemsIEEE Transactions on Control of Network Systems(forthcoming). (LinkPreprint)
  2. P. Jagtap and M. Zamani. Backstepping design for incremental stability of stochastic hamiltonian systems with jumpsIEEE Transactions on Automatic Control, (forthcoming). (LinkPreprint)
  3. M. Zamani and M. Arcak. Compositional abstraction for networks of control systems: A dissipativity approachIEEE Transactions on Control of Network Systems(forthcoming) (LinkPreprint)
  4. M. Zamani, I. Tkachev, and A. Abate. Towards scalable synthesis of stochastic control systemsDiscrete Event Dynamic Systems, 27(2), pp. 341-369, June 2017. (Special Issue on Formal Methods in Control) (LinkPreprint)
  5. M. Zamani, M. Rungger, and P. Mohajerin Esfahani. Approximations of stochastic hybrid systems: A compositional approachIEEE Transactions on Automatic Control, 62(6), pp. 2838-2853, June 2017. (LinkPreprint)
  6. M. Rungger and M. Zamani. Compositional construction of approximate abstractions of interconnected control systemsIEEE Transactions on Control of Network Systems, (forthcoming) (LinkPreprint)
  7. M. Zamani, A. Abate, and A. Girard. Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Automatica, 55, pp. 183-196, May 2015. (LinkPreprint)
  8. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros. Symbolic control of stochastic systems via approximately bisimilar finite abstractions. IEEE Transactions on Automatic Control, 59(12), pp. 3135-3150, November 2014. (Special Issue on Control of Cyber-Physical Systems) (LinkPreprint)
  9. M. Zamani and A. Abate. Approximately bisimilar symbolic models for randomly switched stochastic systemsSystems & Control Letters, 69, pp. 38-46, May 2014. (Link)
  10. M. Zamani, N. van de Wouw, and R. Majumdar. Backstepping controller synthesis and characterizations of incremental stability. Systems & Control Letters, 62(10), pp. 949-962, August 2013. (LinkPreprint)
  11. M. Zamani, G. Pola, M. Mazo Jr and P. Tabuada. Symbolic models for nonlinear control systems without stability assumptions. IEEE Transactions on Automatic Control, 57(7), pp. 1804-1809, July 2012. (Link, Preprint
  12. M. Zamani and P. Tabuada. Backstepping design for incremental stability. IEEE Transactions on Automatic Control, 56(9), pp. 2184-2189, 2011. (Link, Preprint)
  13. M. Zamani, M. Karimi-Ghartemani, N. Sadati and M. Parniani. Design of a fractional order PID controller for an AVR using particle swarm optimizationJournal of Control Engineering Practice, 17(12), pp. 1380-1387, December 2009. (Link)
  14. M. Zamani, N. Sadati, and M. Karimi-Ghartemani. Design of an H PID controller using particle swarm optimizationInternational Journal of Control, Automation and Systems (IJCAS), 7(2), pp. 273-280, April 2009. (Link)
  15. M. Zamani, M. Karimi-Ghartemani and N. Sadati. FOPID controller design for robust performance using particle swarm optimization. Journal of Fractional Calculus & Applied Analysis (FCAA), 10(2), pp. 169-188, 2007. (Link)
Book Chapters:
  1. P. Jagtap and M. Zamani. QUEST: A tool for state-space quantization-free synthesis of symbolic controllers14th International Conference on Quantitative Evaluation of SysTems (QEST), to appear, September 2017.
  2. M. Zamani, S. Dey, S. Mohamed, P. Dasgupta, and M. Mazo Jr. Scheduling of controllers' update-rates for residual bandwidth utilization14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science 9884, pp. 85-101, August 2016. (Link)
  3. M. Zamani and A. Abate. Symbolic control of stochastic switched systems via finite abstractions. 10th Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 8054, pp. 284-300, Springer, 2013. (Link)
  4. R. Majumdar and M. Zamani. Approximately bisimilar symbolic models for digital control systems. 24th Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 7358, pp. 362-377, Springer, 2012. (Link)
Conference Papers:
  1. A. Lavaei, S. Esmaeil Zadeh Soudjani, R. Majumdar, and M. Zamani. Compositional Abstractions of Interconnected Discrete-Time Stochastic Control SystemsThe 56th IEEE Conference on Decision and Control, December 2017, to appear.
  2. M. Rungger and M. Zamani. On the Invariance Feedback Entropy of Linear Perturbed Control SystemsThe 56th IEEE Conference on Decision and Control, December 2017, to appear.
  3. K. Zhang and M. Zamani. Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approachThe 56th IEEE Conference on Decision and Control, December 2017, to appear.
  4. A. U. Awan and M. Zamani. Compositional abstraction of interconnected control systems under dynamic interconnection topologyThe 56th IEEE Conference on Decision and Control, December 2017, to appear.
  5. A. U. Awan and M. Zamani. Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approachThe 20th World Congress of the International Federation of Automatic Control, pp. 16374-16379, July 2017.
  6. K. Zhang and M. Zamani. Detectability of nondeterministic finite transition systems. The 20th World Congress of the International Federation of Automatic Control, pp. 9682-9687, July 2017.
  7. M. Rungger and M. Zamani. Invariance feedback entropy of non-deterministic control systems. The 20th International Conference on Hybrid Systems: Computation and Control, April 2017, pp. 91-100, April 2017.
  8. F. Abdi Taghi Abad, R. Tabish, M. Rungger, M. Zamani, and M. Caccamo. Application and system-level software fault tolerance through full system restarts. The 8th ACM/IEEE International Conference on Cyber-Physical SystemsApril 2017, pp. 197-206, April 2017.
  9. M. Khaled, M. Rungger, and M. Zamani. Symbolic models of networked control systems: A feedback refinement relation approachThe 54th Annual Allerton Conference on Communication, Control, and Computing, pp. 187-193, September 2016. 
  10. P. Jagtap and M. Zamani. On incremental stability of time-delayed stochastic control systemsThe 54th Annual Allerton Conference on Communication, Control, and Computing, pp. 577-581, September 2016. 
  11. A. U. Awan and M. Zamani. “On a notion of estimation entropy for stochastic hybrid systems. The 54th Annual Allerton Conference on Communication, Control, and Computing, pp. 780-785, September 2016. 
  12. M. Rungger, G. Reissig, and M. Zamani. Symbolic synthesis with average performance guaranteesThe 55th IEEE Conference on Decision and Control, pp. 7404-7410, December 2016.
  13. P. Jagtap and M. Zamani. Backstepping design for incremental stability of stochastic hamiltonian systemsThe 55th IEEE Conference on Decision and Control, pp. 5367-5372, December 2016. 
  14. O. Holub, M. Zamani, and A. Abate. Efficient HVAC controls: A symbolic approachEuropean Control Conference, June 2016, pp. 1159-1164, July 2016. (Invited paper)
  15. M. Rungger and M. Zamani. SCOTS: A tool for the synthesis of symbolic controllers. The 19th International Conference on Hybrid Systems: Computation and Control, pp. 99-104, April 2016. (Link)
  16. M. Zamani, M. Rungger, and P. Mohajerin Esfahani. Construction of approximations of stochastic control systems: A compositional approachThe 54th IEEE Conference on Decision and Control, pp. 525-530, December 2015. (Link)
  17. W. Chang., A. Proebstl, D. Goswami, M. Zamani, and S. Chakraborty. Reliable CPS design for mitigating semiconductor and battery aging in electric vehicles. The 3rd International Conference on Cyber-Physical Systems, Networks, and Applications, pp. 37-42, August 2015. (Link)
  18. M. Zamani and A. Girard. Bisimilar symbolic models for stochastic switched systems: A discretization-free approachAmerican Control Conference, pp. 1923-1928, July 2015. (Link(Invited paper)
  19. M. Rungger and M. Zamani. Compositional construction of approximate abstractions. The 18th International Conference on Hybrid Systems: Computation and Control, pp. 68-77, April 2015. (Link)
  20. W. Chang., A. Proebstl, D. Goswami, M. Zamani, and S. Chakraborty. Battery- and aging-aware embedded control systems for electric vehicles. IEEE Real-Time Systems Symposium, pp. 238-248, December 2014. (Link)
  21. M. Zamani. Compositional approximations of interconnected stochastic hybrid systemsThe 53rd IEEE Conference on Decision and Control, pp. 3395-3400, December 2014. (LinkPreprint)
  22. M. Zamani, M. Mazo Jr, and A. Abate. Finite abstractions of networked control systemsThe 53rd IEEE Conference on Decision and Control, pp. 95-100December 2014. (Link) (Invited paper)
  23. M. Zamani and A. Abate. Symbolic models for randomly switched stochastic systemsProceedings of the American Control Conferencepp. 2291-2296, June 2014. (Link) (Invited paper)
  24. M. Zamani, I. Tkachev, and A. Abate. Bisimilar symbolic models for stochastic control systems without state-space discretization. The 17th International Conference on Hybrid Systems: Computation and Control, pp. 41-50, April 2014. (Link)
  25. M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros. Bisimilar finite abstractions of stochastic control systems. Proceedings of the 52nd IEEE Conference on Decision and Control, pp. 3926-3931, December 2013. (Link) (Invited paper)
  26. M. Zamani, P. Mohajerin Esfahani, A. Abate, and J. Lygeros. Symbolic models for stochastic control systems without stability assumptionsEuropean Control Conference, pp. 4257-4262, July 2013. (Link) (Invited paper)
  27. M. Zamani and N. van de Wouw. Controller synthesis for incremental stability: Application to symbolic controller synthesis. European Control Conference, pp. 2198-2203, July 2013. (Link)
  28. R. Majumdar, I. Saha, and M. Zamani. Synthesis of minimal-error control software. International Conference on Embedded Software (EMSOFT), pp. 123-132, October 2012. (Best paper nomination) (LinkPreprint
  29. M. Zamani and R. Majumdar. A Lyapunov approach in incremental stability. Proceedings of the 50th IEEE Conference on Decision and Control, pp. 302-307, December 2011. (Link)
  30. R. Majumdar, I. Saha, and M. Zamani. Performance-aware scheduler synthesis for control systems. International Conference on Embedded Software (EMSOFT), pp. 299-308, October 2011. (Link)
  31. M. Zamani and P. Tabuada. Towards backstepping design for incremental stability. Proceedings of the 49th IEEE Conference on Decision and Control, pp. 2426-2431, December 2010. (Link
  32. M. Zamani, G. Pola, and P. Tabuada. Symbolic models for unstable nonlinear control systemsProceedings of the American Control Conference, pp. 1021-1026, June 2010. (Link) (Invited paper)
  33. M. Karimi-Ghartemani, M. Zamani, N. Sadati and M. Parniani. An optimal fractional order controller for an AVR system using particle swarm optimization algorithmProceedings of the Large Engineering Systems Conference on Electric Power Engineering (LESCOPE), pp. 244-249, October 2007. (Link)
  34. M. Zamani, M. Karimi-Ghartemani and N. Sadati. Design of an H-optimal FOPID controller using particle swarm optimizationProceedings of the Chinese Control Conference (CCC), pp. 435-440, July 2007. (Link)
  35. N. Sadati, M. Zamani and P. Mohajerin. Optimum design of fractional order PID controller for MIMO and SISO systems using particle swarm optimization techniquesProceedings of the International Conference on Mechatronics (ICM), pp. 1-6, August 2007. (Link)
  36. N. Sadati, M. Hajian and M. Zamani. Unit commitment using particle swarm-based simulated annealing optimization approachProceedings of the Swarm Intelligence Symposium (SIS), pp. 297-302, April 2007. (Link)
  37. N. Sadati, M. Zamani and H. Mahdavian. Hybrid particle swarm-based simulated annealing optimization techniquesProceedings of the IEEE Industrial Electronics Conference (IECON), pp. 644-648, Nov
    ember 2006. (Link)
Thesis:
  1. M. Zamani. Control of cyber-physical systems using incremental properties of physical systems. Ph.D. Thesis, University of California at Los Angeles, July 2012. (PDF)