Publications

Preprints

  1. C. Kawan, A. Mironchenko, A. Swikir, N. Noroozi, and M. Zamani. A Lyapunov-based small-gain theorem for infinite networks. Submitted for publication.

  2. A. Lavaei, S. Soudjani, and M. Zamani. Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. Submitted for publication.

  3. P. Jagtap, S. Soudjani, and M. Zamani. Formal synthesis of stochastic systems via control barrier certificates. Submitted for publication.

  4. M. Khaled and M. Zamani. Cloud-ready acceleration of formal method techniques for cyber-physical systems. Submitted for publication.

  5. X. Yin and M. Zamani. On approximate opacity of cyber-physical systems. Submitted for publication.

  6. P. Jagtap, F. Abdi, M. Rungger, M. Zamani, and M. Caccamo. Software fault tolerance for cyber-physical systems via full system restart. Submitted for publication.

  7. M. S. Tomar, M. Rungger and M. Zamani. Invariance feedback entropy of uncertain control systems. Submitted for publication.

Books

  1. M. Zamani and D. Zufferey (Eds.). Numerical Software Verification. Volume 11652 of Lecture Notes in Computer Science, Springer International Publishing, 2019.

Journal Papers

  1. A. Nejati, S. Soudjani, and M. Zamani. Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. European Journal of Control, conditionally accepted, 2019.

  2. A. Lavaei, S. Soudjani, and M. Zamani. Compositional abstraction-based synthesis for networks of stochastic switched systems. Automatica, to appear as a regular paper, 2019.

  3. A. Lavaei, S. Soudjani, and M. Zamani. Compositional (in)finite abstractions for large-scale interconnected stochastic systems. IEEE Transactions on Automatic Control, conditionally accepted as a full paper, 2019.

  4. S. W. Smith, M. Arcak, and M. Zamani. Approximate abstractions of control systems with an application to aggregation. Automatica, provisionally accepted as a regular paper, 2019.

  5. A. Lavaei, S. Soudjani, and M. Zamani. Compositional synthesis of large-scale stochastic systems: A relaxed dissipativity approach. Nonlinear Analysis: Hybrid Systems, conditionally accepted, 2019.

  6. A. Swikir and M. Zamani. Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. Automatica, 107, pp. 551 - 561, September 2019. (Preprint)

  7. U. Awan and M. Zamani. From dissipativity theory to compositional abstractions of interconnected stochastic hybrid systems. IEEE Transactions on Control of Network Systems, accepted.

  8. A. Swikir and M. Zamani. Compositional synthesis of symbolic models for networks of switched systems. IEEE Control Systems Letters, 3(4), pp. 1056 - 1061, June 2019. (Preprint)

  9. A. Lavaei, S. Soudjani, and M. Zamani. Compositional construction of infinite abstractions for networks of stochastic control systems. Automatica, vol. 107, pp. 125-137, 2019. (Preprint)

  10. P. Jagtap and M. Zamani. Symbolic Models For Retarded Jump-Diffusion Systems. Automatica, accepted.

  11. K. Zhang, X. Yin, and M. Zamani. Opacity of nondeterministic transition systems: A (bi)simulation relation approach. IEEE Transactions on Automatic Control, accepted.

  12. M. Khaled, M. Rungger, and M. Zamani. Abstraction-based synthesis of networked control systems. Electronic Proceedings in Theoretical Computer Science (EPTCS), 272, pp. 65-78, June 2018.

  13. M. Zamani, M. Mazo Jr, M. Khaled, and A. Abate. Symbolic abstractions of networked control systems. IEEE Transactions on Control of Network Systems, 5(4), pp. 1622-1634, December 2018. (Preprint)

  14. P. Jagtap and M. Zamani. Backstepping design for incremental stability of stochastic hamiltonian systems with jumps. IEEE Transactions on Automatic Control, 63(1), pp. 255 - 261, January 2018. (Preprint)

  15. M. Zamani and M. Arcak. (Link),Compositional abstraction for networks of control systems: A dissipativity approach. IEEE Transactions on Control of Network Systems, 5(3), pp. 1003-1015, September 2018.

  16. M. Zamani, I. Tkachev, and A. Abate. Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems, 27(2), pp. 341-369, June 2017. (Special Issue on Formal Methods in Control) (Preprint)

  17. M. Zamani, M. Rungger, and P. Mohajerin Esfahani. Approximations of stochastic hybrid systems: A compositional approach. IEEE Transactions on Automatic Control, 62(6), pp. 2838-2853, June 2017. (Preprint)

  18. M. Rungger and M. Zamani. Compositional construction of approximate abstractions of interconnected control systems. IEEE Transactions on Control of Network Systems, 5(1), pp. 116-127, March 2018. (Preprint)

  19. 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. (Preprint)

  20. 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) ,(Preprint)

  21. M. Zamani and A. Abate. Approximately bisimilar symbolic models for randomly switched stochastic systems. Systems & Control Letters, 69, pp. 38-46, May 2014.

  22. 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. (Preprint)

  23. 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. ,(Preprint)

  24. M. Zamani and P. Tabuada. Backstepping design for incremental stability. IEEE Transactions on Automatic Control, 56(9), pp. 2184-2189, 2011. (Preprint)

  25. M. Zamani, M. Karimi-Ghartemani, N. Sadati and M. Parniani. Design of a fractional order PID controller for an AVR using particle swarm optimization. Journal of Control Engineering Practice, 17(12), pp. 1380-1387, December 2009.

  26. M. Zamani, N. Sadati, and M. Karimi-Ghartemani. Design of an H∞ PID controller using particle swarm optimization. International Journal of Control, Automation and Systems (IJCAS), 7(2), pp. 273-280, April 2009.

  27. 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.

Book Chapters

  1. B. Zhong, M. Zamani, and M. Caccamo. Sandboxing controllers for stochastic cyber-physical systems. 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science, August 2019.

  2. A. Lavaei, S. Soudjani, and M. Zamani. Approximate probabilistic relations for compositional abstractions of stochastic systems. Numerical Software Verification (NSV), Lecture Notes in Computer Science 11652, pp. 101–109, Springer, 2019.

  3. M. Khaled, E. Kim, M. Arcak, and M. Zamani. Synthesis of symbolic controllers: A parallelized and sparsity-aware approach. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), to appear, April 2019.

  4. P. Jagtap, S. Soudjani, and M. Zamani. Temporal logic verification of stochastic systems using barrier certificates. 16th International Symposium on Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science 11138, pp. 177-193, October 2018.

  5. P. Jagtap and M. Zamani. QUEST: A tool for state-space quantization-free synthesis of symbolic controllers. 14th International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 10503, pp. 309-313, September 2017.

  6. M. Zamani, S. Dey, S. Mohamed, P. Dasgupta, and M. Mazo Jr. Scheduling of controllers’ update-rates for residual bandwidth utilization. 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science 9884, pp. 85-101, August 2016.

  7. 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.

  8. 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.

Conference Papers

  1. A. Lavaei and M. Zamani. Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. The 58th IEEE Conference on Decision and Control (CDC), December 2019, to appear.

  2. M. Anand, P. Jagtap, and M. Zamani. Verification of switched stochastic systems via barrier certificates. The 58th IEEE Conference on Decision and Control (CDC), December 2019, to appear.

  3. J. Hou, X. Yin, S. Li, and M. Zamani. Abstraction-based synthesis of opacity-enforcing controllers using alternating simulation relations. The 58th IEEE Conference on Decision and Control (CDC), December 2019, to appear.

  4. A. Lavaei and M. Zamani. Compositional construction of finite MDPs for large-scale stochastic switched systems: A dissipativity approach. The 15th IFAC Symposium on Large Scale Complex Systems: Theory and Applications, vol. 52, no. 3, pp. 31-36, 2019. (Best IFAC young author award finalist)

  5. A. Swikir and M. Zamani. Compositional abstractions of interconnected discrete-time switched systems. The 18th European Control Conference (ECC), to appear, June 2019.

  6. A. Lavaei, S. Soudjani, and M. Zamani. Compositional synthesis of not necessarily stabilizable stochastic systems via finite abstractions. The 18th European Control Conference (ECC), pp. 2802–2807, 2019.

  7. A. Nejati, S. Soudjani, and M. Zamani. Abstraction-based synthesis of continuous-time stochastic control systems. The 18th European Control Conference (ECC), pp. 3212–3217, 2019.

  8. M. Al Khatib and M. Zamani. Verification and synthesis of interconnected embedded control systems under timing contracts. The 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, April 2019.

  9. M. Khaled and M. Zamani. pFaces: An Acceleration Ecosystem for Symbolic Control. The 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, April 2019.

  10. A. Lavaei and M. Zamani. Compositional finite abstractions for large-scale stochastic switched systems. The 5th workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (SNR) in conjunction with Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week), pp. 3-5, 2019.

  11. S. Liu and M. Zamani. Compositional synthesis of almost maximally permissible safety controllers. American Control Conference (ACC), to appear, July 2019.

  12. A. U. Awan and M. Zamani. Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach. The 57th IEEE Conference on Decision and Control (CDC), December 2018, to appear.

  13. A. U. Awan, S. Coogan, and M. Zamani. Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. The 57th IEEE Conference on Decision and Control (CDC), December 2018, to appear.

  14. F. Immler, M. Althoff, X. Chen, C. Fan, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, M. Singh Tomar, and M. Zamani. {ARCH-COMP18} category report: Continuous and hybrid systems with nonlinear dynamics. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), EPiC Series in Computing, 54, pp. 53-70, 2018.

  15. A. Lavaei, S. Soudjani, and M. Zamani. Compositional synthesis of finite abstractions for continuous-space stochastic control systems: A small-gain approach. The 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 51, no. 16, pp. 265-270, 2018.

  16. A. Saoud, P. Jagtap, M. Zamani, and A. Girard. Compositional abstraction-based synthesis for cascade discrete-time control systems. The 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 51(16), pp. 13-18, July 2018.

  17. N. Noroozi, A. Swikir, F. R. Wirth, and M. Zamani. Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case. European Control Conference (ECC), June 2018, to appear.

  18. N. Noroozi, F. R. Wirth, and M. Zamani. Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case. European Control Conference (ECC), June 2018, to appear.

  19. A. U. Awan and M. Zamani. Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies. American Control Conference (ACC), pp. 1586-1591, June 2018.

  20. S. W. Smith, M. Arcak, and M. Zamani. Hierarchical control via an approximate aggregate manifold. American Control Conference (ACC), pp. 2378-2383, June 2018.

  21. M. Rungger and M. Zamani. Accurate reachability analysis of uncertain nonlinear systems. The 21st International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 61-70, April 2018.

  22. A. Lavaei, S. Soudjani, and M. Zamani. From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. The 21st International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 21-30, 2018.

  23. E. Kim, M. Arcak, and M. Zamani. Constructing Control System Abstractions from Modular Components. The 21st International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 137-146, April 2018.

  24. A. Swikir, A. Girard, and M. Zamani. From dissipativity theory to compositional synthesis of symbolic models. The 4th Indian Control Conference (ICC), pp. 30-35, January 2018. (Best student paper award finalist)

  25. A. Lavaei, S. Soudjani, R. Majumdar, and M. Zamani. Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. The 56th IEEE Conference on Decision and Control (CDC), pp. 3551-3556, 2017.

  26. M. Rungger and M. Zamani. On the Invariance Feedback Entropy of Linear Perturbed Control Systems. The 56th IEEE Conference on Decision and Control (CDC), pp. 3998-4003, December 2017.

  27. K. Zhang and M. Zamani. Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. The 56th IEEE Conference on Decision and Control (CDC), pp. 5615-5619, December 2017.

  28. A. U. Awan and M. Zamani. Compositional abstraction of interconnected control systems under dynamic interconnection topology. The 56th IEEE Conference on Decision and Control (CDC), pp. 3543-3550, December 2017.

  29. A. U. Awan and M. Zamani. Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approach. The 20th World Congress of the International Federation of Automatic Control, pp. 16374-16379, July 2017.

  30. 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.

  31. M. Rungger and M. Zamani. Invariance feedback entropy of non-deterministic control systems. The 20th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 91-100, April 2017.

  32. 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 Systems (ICCPS), pp. 197-206, April 2017.

  33. M. Khaled, M. Rungger, and M. Zamani. Symbolic models of networked control systems: A feedback refinement relation approach. The 54th Annual Allerton Conference on Communication, Control, and Computing, pp. 187-193, September 2016.

  34. P. Jagtap and M. Zamani. On incremental stability of time-delayed stochastic control systems. The 54th Annual Allerton Conference on Communication, Control, and Computing, pp. 577-581, September 2016.

  35. 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.

  36. M. Rungger, G. Reissig, and M. Zamani. Symbolic synthesis with average performance guarantees. The 55th IEEE Conference on Decision and Control (CDC), pp. 7404-7410, December 2016.

  37. P. Jagtap and M. Zamani. Backstepping design for incremental stability of stochastic hamiltonian systems. The 55th IEEE Conference on Decision and Control (CDC), pp. 5367-5372, December 2016.

  38. O. Holub, M. Zamani, and A. Abate. Efficient HVAC controls: A symbolic approach. European Control Conference (ECC), June 2016, pp. 1159-1164, July 2016. (Invited paper)

  39. M. Rungger and M. Zamani. SCOTS: A tool for the synthesis of symbolic controllers. The 19th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 99-104, April 2016.

  40. M. Zamani, M. Rungger, and P. Mohajerin Esfahani. Construction of approximations of stochastic control systems: A compositional approach. The 54th IEEE Conference on Decision and Control (CDC), pp. 525-530, December 2015.

  41. 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.

  42. M. Zamani and A. Girard. Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. American Control Conference (ACC), pp. 1923-1928, July 2015. (Invited paper)

  43. M. Rungger and M. Zamani. Compositional construction of approximate abstractions. The 18th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 68-77, April 2015.

  44. 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 (RTSS), pp. 238-248, December 2014.

  45. M. Zamani. Compositional approximations of interconnected stochastic hybrid systems. The 53rd IEEE Conference on Decision and Control (CDC), pp. 3395-3400, December 2014. (Preprint)

  46. M. Zamani, M. Mazo Jr, and A. Abate. Finite abstractions of networked control systems. The 53rd IEEE Conference on Decision and Control, pp. 95-100, December 2014. (Invited paper)

  47. M. Zamani and A. Abate. Symbolic models for randomly switched stochastic systems. Proceedings of the American Control Conference (ACC), pp. 2291-2296, June 2014. (Invited paper)

  48. 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 (HSCC), pp. 41-50, April 2014.

  49. 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 (CDC), pp. 3926-3931, December 2013. (Invited paper)

  50. M. Zamani, P. Mohajerin Esfahani, A. Abate, and J. Lygeros. Symbolic models for stochastic control systems without stability assumptions. European Control Conference (ECC), pp. 4257-4262, July 2013. (Invited paper)

  51. M. Zamani and N. van de Wouw. Controller synthesis for incremental stability: Application to symbolic controller synthesis. European Control Conference (ECC), pp. 2198-2203, July 2013.

  52. R. Majumdar, I. Saha, and M. Zamani. ,Synthesis of minimal-error control software. International Conference on Embedded Software (EMSOFT), pp. 123-132, October 2012. (acceptance rate: 24%) (Best paper award finalist)

  53. M. Zamani and R. Majumdar. A Lyapunov approach in incremental stability. Proceedings of the 50th IEEE Conference on Decision and Control (CDC), pp. 302-307, December 2011.

  54. 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.

  55. M. Zamani and P. Tabuada. Towards backstepping design for incremental stability. Proceedings of the 49th IEEE Conference on Decision and Control (CDC), pp. 2426-2431, December 2010.

  56. M. Zamani, G. Pola, and P. Tabuada. Symbolic models for unstable nonlinear control systems. Proceedings of the American Control Conference (ACC), pp. 1021-1026, June 2010. (Invited paper)

  57. M. Karimi-Ghartemani, M. Zamani, N. Sadati and M. Parniani. An optimal fractional order controller for an AVR system using particle swarm optimization algorithm. Proceedings of the Large Engineering Systems Conference on Electric Power Engineering (LESCOPE), pp. 244-249, October 2007.

  58. M. Zamani, M. Karimi-Ghartemani and N. Sadati. Design of an H∞-optimal FOPID controller using particle swarm optimization. Proceedings of the Chinese Control Conference (CCC), pp. 435-440, July 2007.

  59. N. Sadati, M. Zamani and P. Mohajerin. Optimum design of fractional order PID controller for MIMO and SISO systems using particle swarm optimization techniques. Proceedings of the International Conference on Mechatronics (ICM), pp. 1-6, August 2007.

  60. N. Sadati, M. Hajian and M. Zamani. Unit commitment using particle swarm-based simulated annealing optimization approach. Proceedings of the Swarm Intelligence Symposium (SIS), pp. 297-302, April 2007.

  61. N. Sadati, M. Zamani and H. Mahdavian. Hybrid particle swarm-based simulated annealing optimization techniques. Proceedings of the IEEE Industrial Electronics Conference (IECON), pp. 644-648, November 2006.

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)