# Publications

## Preprints:

Preprints:

- A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations**. Submitted for publication. (Preprint) - P. Jagtap, S. Soudjani, and M. Zamani.
**Formal synthesis of stochastic systems via control barrier certificates**. Submitted for publication. (Preprint) - M. Khaled and M. Zamani.
**Cloud-ready acceleration of formal method techniques for cyber-physical systems**. Submitted for publication. - X. Yin and M. Zamani.
**On approximate opacity of cyber-physical systems**. Submitted for publication. (Preprint) - A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional abstraction-based synthesis for networks of stochastic switched systems**. Submitted for publication. - 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. (Preprint) - S. W. Smith, M. Arcak, and M. Zamani.
**Approximate abstractions of control systems with an application to aggregation**. Submitted for publication. (Preprint) - A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional (in)finite abstractions for large-scale interconnected stochastic systems**. Submitted for publication. (Preprint) - M. Rungger and M. Zamani.
**Invariance feedback entropy of uncertain control systems**. Submitted for publication. (Preprint)

## Journal papers:

Journal papers:

- A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional synthesis of large-scale stochastic systems: A relaxed dissipativity approach**.*Nonlinear Analysis: Hybrid Systems*, provisionally accepted. (Preprint) - A. Swikir and M. Zamani.
**Compositional synthesis of finite abstractions for networks of systems: A small-gain approach**.*Automatica*, accepted as a full paper. (Preprint) - A. U. Awan and M. Zamani.
**From dissipativity theory to compositional abstractions of interconnected stochastic hybrid systems**.*IEEE Transactions on Control of Network Systems,*accepted. (Preprint) - A. Swikir and M. Zamani.
**Compositional synthesis of symbolic models for networks of switched systems**.*IEEE Control Systems Letters,*accepted. (Preprint) - A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional construction of infinite abstractions for networks of stochastic control systems**.*Automatica*, accepted as a full paper. (Preprint) - P. Jagtap and M. Zamani.
**Automated synthesis of infinite dimensional stochastic hybrid systems**.*Automatica*, provisionally accepted. (Preprint) - K. Zhang, X. Yin, and M. Zamani.
**Opacity of nondeterministic transition systems: A (bi)simulation relation approach**.*IEEE Transactions on Automatic Control*, accepted. (Preprint) - M. Khaled, M. Rungger, and M. Zamani.
**SENSE: Abstraction-based synthesis of networked control systems**.*Electronic Proceedings in Theoretical Computer Science (EPTCS)*, 272, pp. 65-78, June 2018. - 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. (Link, Preprint) - 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. (Link, Preprint) - M. Zamani and M. Arcak.
**Compositional abstraction for networks of control systems: A dissipativity approach**.*IEEE Transactions on Control of Network Systems*, 5(3), pp. 1003-1015, September 2018. (Link, Preprint) - 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. () (Link, Preprint)**Special Issue on Formal Methods in Control** - 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. (Link, Preprint) - 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. (Link, Preprint) - 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. (Link, Preprint) - 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.) (Link, Preprint)**Special Issue on Control of Cyber-Physical Systems** - M. Zamani and A. Abate.
**Approximately bisimilar symbolic models for randomly switched stochastic systems**.*Systems & Control Letters*, 69, pp. 38-46, May 2014. (Link) - 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. (Link, Preprint) - 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) - M. Zamani and P. Tabuada.
**Backstepping design for incremental stability**.*IEEE Transactions on Automatic Control*, 56(9), pp. 2184-2189, 2011. (Link, Preprint) - 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. (Link) - 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. (Link) - 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:

Book Chapters:

- 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. - A. Lavaei, S. Soudjani, and M. Zamani.
**Approximate probabilistic relations for compositional abstractions of stochastic systems**.*12th International Workshop on Numerical Software Verification (NSV)*, July 2019. - 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. - 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. (Link) - 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. (Link) - 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. (Link) - 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) - 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:

Conference Papers:

- A. Lavaei and M. Zamani.
**Compositional construction of finite MDPs for large-scale stochastic switched systems: A dissipativity approach**.*15th IFAC Symposium on Large Scale Complex Systems: Theory and Applications,*to appear, May 2019. ()**Best IFAC young author award finalist** - A. Swikir and M. Zamani.
**Compositional abstractions of interconnected discrete-time switched systems**.*European Control Conference (ECC)*, to appear, June 2019. - A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional synthesis of not necessarily stabilizable stochastic systems via finite abstractions**.*European Control Conference (ECC)*, to appear, June 2019. - A. Nejati, S. Soudjani, and M. Zamani.
**Abstraction-based synthesis of continuous-time stochastic control systems.***European Control Conference (ECC)*, to appear, June 2019. - 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. - 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. - 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)*, to appear, April 2019. - S. Liu and M. Zamani.
**Compositional synthesis of almost maximally permissible safety controllers**.*American Control Conference (ACC)*, to appear, July 2019. - 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. - 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. - 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. - A. Lavaei, S. Soudjani, and M. Zamani.
**Compositional synthesis of finite abstractions for continuous-space stochastic control systems: A small-gain approach**.*IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)*, 51(16), pp. 265-270, July 2018. - A. Saoud, P. Jagtap, M. Zamani, and A. Girard.
**Compositional abstraction-based synthesis for cascade discrete-time control systems**.*IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)*, 51(16), pp. 13-18, July 2018. - 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. - 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. - 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. - S. W. Smith, M. Arcak, and M. Zamani.
**Hierarchical control via an approximate aggregate manifold**.*American Control Conference (ACC)*, pp. 2378-2383, June 2018. - 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. - 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, April 2018. - 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. - 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** - A. Lavaei, S. Esmaeil Zadeh 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, December 2017. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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) - 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. (Link) - 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. (Link) - 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) - 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. (Link) (Invited paper) - 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. (Link) - 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. (Link) - M. Zamani.
**Compositional approximations of interconnected stochastic hybrid systems**.*The 53rd IEEE Conference on Decision and Control (CDC),*pp. 3395-3400, December 2014. (Link, Preprint) - 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. (Link) (Invited paper) - M. Zamani and A. Abate.
**Symbolic models for randomly switched stochastic systems**.*Proceedings of the American Control Conference (ACC)*, pp. 2291-2296, June 2014. (Link) (Invited paper) - 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. (Link) - 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. (Link) (Invited paper) - 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. (Link) (Invited paper) - 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. (Link) - 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%)**() (Link, Preprint)**Best paper award finalist** - 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. (Link) - 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) - 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. (Link) - 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. (Link) (Invited paper) - 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. (Link) - 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. (Link) - 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. (Link) - 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. (Link) - 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. (Link)

## Thesis:

Thesis:

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