# Publications

## Preprints:

A. Awan and M. Zamani.

**Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach**. Submitted for publication.A. Lavaei, M. Perez, M. Kazemi, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani.

**Model-Free Reinforcement Learning for Formal Control of Stochastic Systems**. Submitted for publication.A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani.

**Formal verification of unknown discrete- and continuous-time systems: A data-driven approach**. Submitted for publication.C. Kawan and M. Zamani.

**A small-gain theory for infinite networks via infinite-dimensional gain operators**. Submitted for publication. (Preprint)M. Anand, V. Murali, A. Trivedi, and M. Zamani.

**Verification of hyperproperties for uncertain dynamical systems via barrier certificates**. Submitted for publication. (Preprint)B. Zhong, M. Zamani, and M. Caccamo.

**Formal synthesis of controllers for uncertain linear systems against ω-regular properties: A set-based approach**. Submitted for publication. (Preprint)M. Anand, A. Lavaei, and M. Zamani.

**Compositional synthesis of control barrier certificates for networks of stochastic systems against omega-regular specifications**. Submitted for publication. (Preprint)

## Books:

M. Zamani and D. Zufferey (Eds.).

**Numerical Software Verification**. Volume 11652 of Lecture Notes in Computer Science, Springer International Publishing, 2019.

## Journal papers:

J. Hou, S. Liu, X. Yin, and M. Zamani.

**Abstraction-based verification of approximate pre-opacity for control systems**.*IEEE Control Systems Letters*, to appear.M. Khaled, K. Zhang, and Majid Zamani.

**A framework for output-feedback symbolic control**.*IEEE Transactions on Automatic Control*, to appear as a technical note. (Preprint)M. S. Tomar, C. Kawan, and M. Zamani.

**Numerical over-approximation of invariance entropy via finite abstractions.***Systems & Control Letters*, to appear. (Preprint)A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani.

**Estimation of infinitesimal generators for unknown stochastic hybrid systems via sampling: A formal approach**.*IEEE Control Systems Letters*, to appear.A. Salamati and M. Zamani.

**Safety verification of stochastic systems: A repetitive scenario approach**.*IEEE Control Systems Letters*, to appear.V. Murali, A. Trivedi, and M. Zamani.

**A scenario approach for synthesizing k-Inductive barrier certificates**.*IEEE Control Systems Letters*, to appear.M. S. Tomar and M. Zamani.

**Modular computation of restoration entropy for networks of systems: A dissipativity approach**.*IEEE Control Systems Letters*, to appear.A. Lavaei, S. Soudjani, E. Frazzoli, and M. Zamani.

**Constructing MDP abstractions using data with formal guarantees**.*IEEE Control Systems Letters*, to appear.A. Lavaei, S. Soudjani, A. Abate, and M. Zamani.

**Automated verification and synthesis of stochastic hybrid systems: A survey**.*Automatica*, to appear. (Preprint)A. Nejati, S. Soudjani, and M. Zamani.

**Compositional construction of control barrier functions for continuous-time stochastic hybrid systems**.*Automatica*, to appear. (Preprint)B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo.

**Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations**.*Automatica*, to appear as a regular paper. (Preprint)M. Anand, A. Lavaei, and M. Zamani.

**From small-gain theory to compositional construction of barrier certificates for large-scale stochastic systems**.*IEEE Transactions on Automatic Control*, to appear as a technical note. (Preprint)S. Liu, A. Trivedi, X. Yin, and M. Zamani.

**Secure-by-construction synthesis of cyber-physical systems**.*Annual Reviews in Control*, to appear. (Preprint)A. Lavaei and M. Zamani.

**From dissipativity theory to compositional synthesis of large-scale stochastic switched systems**.*IEEE Transactions on Automatic Control*, to appear as a full paper.N. Noroozi, A. Mironchenko, C. Kawan, and M. Zamani.

**A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks**.*European Journal of Control*, to appear.N. Jahanshahi, A. Lavaei, and M. Zamani.

**Compositional construction of safety controllers for networks of continuous-space POMDPs**.*IEEE Transactions on Control of Network Systems*, to appear. (Preprint)A. Nejati and M. Zamani.

**From dissipativity theory to compositional construction of control barrier certificates**.*Leibniz Transactions on Embedded Systems*, to appear.C. Kawan, A. Mironchenko, and M. Zamani.

**A Lyapunov-based ISS small-gain theorem for infinite networks of nonlinear systems**.*IEEE Transactions on Automatic Control*, to appear as a full paper.M. Sharifi, A. Swikir, N. Noroozi, and M. Zamani.

**Compositional construction of abstractions for infinite networks of discrete-time switched systems**.*Nonlinear Analysis: Hybrid Systems,*to appear. (Preprint)N. Noroozi, A. Salamati, M. Zamani.

**Data-driven safety verification of discrete-time networks: A compositional approach**.*IEEE Control Systems Letters*, to appear.B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo.

**Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems**.*Nonlinear Analysis: Hybrid Systems,*to appear. (Preprint)A. Mironchenko, N. Noroozi, C. Kawan, and M. Zamani.

**ISS small-gain criteria for infinite networks with linear gain functions**.*Systems & Control Letters*, to appear. (Preprint)S. Liu, N. Noroozi, and M. Zamani.

**Symbolic models for infinite networks of control systems: A compositional approach**.*Nonlinear Analysis: Hybrid Systems,*to appear. (Preprint)S. Liu, A. Swikir, and M. Zamani.

**Verification of initial-state opacity for switched systems: A compositional approach**.*Nonlinear Analysis: Hybrid Systems,*to appear. (Preprint)S. Tasdighi Kalat, S. Liu, M. Zamani.

**Modular verification of opacity for interconnected control systems via barrier certificates**.*IEEE Control Systems Letters*, to appear.S. Liu and M. Zamani.

**Compositional synthesis of opacity-preserving finite abstractions for interconnected systems**.*Automatica*, to appear. (Preprint)A. Salamati, S. Soudjani, and M. Zamani.

**Data-driven verification and synthesis under signal temporal logic constraints**.*Automatica*, to appear.S. Liu and M. Zamani.

**Verification of approximate opacity via barrier certificates**.*IEEE Control Systems Letters*, to appear.M. Khaled and M. Zamani.

**Cloud-ready acceleration of formal method techniques for cyber-physical systems**.*IEEE Design & Test (***Special Issue on Cross-layer Design of Cyber-Physical Systems***)*, to appear.A. Saoud, P. Jagtap, M. Zamani, and A. Girard.

**Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach**.*IEEE Transactions on Control of Network Systems*, to appear. (Preprint)C. Kawan, A. Mironchenko, A. Swikir, N. Noroozi, M. Zamani.

**A Lyapunov-based small-gain theorem for infinite networks**.*IEEE Transactions on Automatic Control*, to appear as a full paper. (Preprint)A. Lavaei, S. Soudjani, and M. Zamani.

**Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations**.*Nonlinear Analysis: Hybrid Systems,*to appear. (Preprint)N. Jahanshahi, P. Jagtap, and M. Zamani.

**Synthesis of partially observed jump-diffusion systems via control barrier functions**.*IEEE Control Systems Letters*, 5(1), pp. 253-258, June 2020.A. Swikir, A. Girard, and M. Zamani.

**Symbolic models for a class of impulsive systems**.*IEEE Control Systems Letters*, 5(1), pp. 247-252, June 2020.M. S. Tomar and M. Zamani.

**Compositional quantification of invariance feedback entropy for networks of uncertain control systems**.*IEEE Control Systems Letters*, 4(4), pp. 827-832, October 2020.A. Nejati, S. Soudjani, and M. Zamani.

**Compositional construction of control barrier certificates for large-scale stochastic switched systems**.*IEEE Control Systems Letters*, 4(4), pp. 845-850, October 2020.X. Yin, M. Zamani, and S. Liu.

**On approximate opacity of cyber-physical systems**.*IEEE Transactions on Automatic Control*, to appear as a full paper, DOI: 10.1109/TAC.2020.2998733. (Preprint)M. S. Tomar, M. Rungger and M. Zamani.

**Invariance feedback entropy of uncertain control systems**.*IEEE Transactions on Automatic Control*, Conditionally accepted as a full paper. (Preprint)P. Jagtap, F. Abdi, M. Rungger, M. Zamani, and M. Caccamo.

**Software fault tolerance for cyber-physical systems via full system restart.***ACM Transactions on Cyber-Physical Systems*, 4(4). August 2020. (Preprint)P. Jagtap, S. Soudjani, and M. Zamani.

**Formal synthesis of stochastic systems via control barrier certificates**.*IEEE Transactions on Automatic Control*, to appear as a full paper, DOI: 10.1109/TAC.2020.3013916. (Preprint)A. Nejati, S. Soudjani, and M. Zamani.

**Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems**.*European Journal of Control*, DOI: https://doi.org/10.1016/j.ejcon.2020.04.001.A. Lavaei, S. Soudjani, and M. Zamani.

**Compositional abstraction-based synthesis for networks of stochastic switched systems**.*Automatica*, 114, April 2020.A. Lavaei, S. Soudjani, and M. Zamani.

**Compositional (in)finite abstractions for large-scale interconnected stochastic systems**.*IEEE Transactions on Automatic Control*, to appear as a full paper, DOI: 10.1109/TAC.2020.2975812. (Preprint)S. W. Smith, M. Arcak, and M. Zamani.

**Approximate abstractions of control systems with an application to aggregation**.*Automatica*, 119, DOI: https://doi.org/10.1016/j.ejcon.2020.04.001. (Preprint)A. Lavaei, S. Soudjani, and M. Zamani.

**Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach**.*Nonlinear Analysis: Hybrid Systems*, 36, May 2020. (Preprint)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)A. U. Awan and M. Zamani.

**From dissipativity theory to compositional abstractions of interconnected stochastic hybrid systems**.*IEEE Transactions on Control of Network Systems,*7(1), pp. 433-445. (Preprint)A. Swikir and M. Zamani.

**Compositional synthesis of symbolic models for networks of switched systems**.*IEEE Control Systems Letters,*3(4), pp. 1056-1061, October 2019. (Preprint)A. Lavaei, S. Soudjani, and M. Zamani.

**Compositional construction of infinite abstractions for networks of stochastic control systems**.*Automatica*, 107, pp. 125-137, September 2019. (Preprint)P. Jagtap and M. Zamani.

**Symbolic models for retarded jump–diffusion systems**.*Automatica*, 111, January 2020. (Preprint)K. Zhang, X. Yin, and M. Zamani.

**Opacity of nondeterministic transition systems: A (bi)simulation relation approach**.*IEEE Transactions on Automatic Control*, 64(12), pp. 5116-5123, December 2019. (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:

A. Lavaei, M. Khaled, S. Soudjani, and M. Zamani.

**AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems**.*32nd Conference on Computer Aided Verification (CAV),*to appear, July 2020. ()**Best poster/demo award during HSCC'2020**A. Devonport, M. Khaled, M. Arcak, and M. Zamani.

**PIRK: Scalable interval reachability analysis for high-dimensional nonlinear systems**.*32nd Conference on Computer Aided Verification (CAV),*to appear, July 2020.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:

B. Zhong, H. Cao, M. Zamani, and M. Caccamo.

**Towards safe AI: Sandboxing DNNs-based controllers in stochastic games**.*The 37th AAAI Conference on Artificial Intelligence*, to appear, 2023.B. Zhong, M. Zamani, and M. Caccamo.

**Synthesizing safety controllers for uncertain linear systems: A direct data-driven approach**.*The 6th IEEE Conference on Control Technology and Applications (CCTA)*, to appear, 2022.A. Lavaei, P. Mohajerin Esfahani, and M. Zamani.

**Data-driven stability verification of homogeneous nonlinear systems with unknown dynamics**.*The 61st IEEE Conference on Decision and Control (CDC)*, to appear. 2022.S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas, and M. Zamani.

**Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts**.*The 6**1st**IEEE Conference on Decision and Control (CDC)*, to appear. 2022.A. Salamati and M. Zamani.

**Data-driven safety verification of stochastic systems via barrier certificates: A wait-and-judge approach**.*4th Annual Learning for Dynamics & Control Conference (L4DC)*, to appear, 2022.A. Nejati, B. Zhong, M. Caccamo, and M. Zamani.

**Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates**.*4th Annual Learning for Dynamics & Control Conference (L4DC)*, to appear, 2022.R. Wajid, A. U. Awan, and M. Zamani.

**Formal synthesis of safety controllers for unknown stochastic control systems using gaussian process learning**.*4th Annual Learning for Dynamics & Control Conference (L4DC)*, to appear, 2022.S. Tasdighi Kalat, S. Liu, and M. Zamani.

**Verification of approximate infinite-step opacity using barrier certificates**.*European Control Conference (ECC)*, to appear, 2022.M. S. Tomar and M. Zamani.

**On a notion of entropy for reachability properties**.*American Control Conference (ACC)*, to appear, 2022.B. Zhong, M. Zamani, and M. Caccamo.

**A set-based approach for synthesizing controllers enforcing omega-regular properties over uncertain linear control systems**.*American Control Conference (ACC)*, to appear, 2022.M. Anand, V. Murali, A. Trivedi, and M. Zamani.

**k-Inductive Barrier Certificates for Stochastic Systems**.*The 2**5th**ACM International Conference on Hybrid Systems: Computation and Control (HSCC)*, May 2022, to appear.C. Kawan amd A. Mironchenko and M. Zamani.

**Construction of ISS Lyapunov functions for infinite networks of ISS systems**.*The 60th IEEE Conference on Decision and Control (CDC)*, to appear. 2021.M. Anand, V. Murali, A. Trivedi, and M. Zamani.

**Safety verification of dynamical systems via k-inductive barrier certificates**.*The 60th IEEE Conference on Decision and Control (CDC)*, to appear. 2021.A. Mironchenko, N. Noroozi, C. Kawan, and M. Zamani.

**A small-gain approach to ISS of infinite networks with homogeneous gain operators**.*The 60th IEEE Conference on Decision and Control (CDC)*, to appear. 2021.Y. Xie, X. Yin, S. Li, and M. Zamani.

**Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications**.*The 60th IEEE Conference on Decision and Control (CDC)*, to appear. 2021.A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani.

**Data-driven safety verification of stochastic systems via barrier certificates**.*The 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)*, July 2021, to appear. ()**Best repeatability prize at ADHS'2021**A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani.

**Data-driven estimation of infinitesimal generators of stochastic systems**.*The 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)*, July 2021, to appear.M. Khaled and M. Zamani.

**OmegaThreads: Symbolic controller design for omega-regular objectives**.*The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)*, May 2021. (**Top two finalist for the****b****est poster/demo award during HSCC'202**)**1**A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, M. Khaled, A. Lavaei, C. Pilch, A. Remke, and S. Schupp, F. Shmarov, S. Soudjani, A. Vinod, B. Wooding, M. Zamani, and P. Zuliani.

**ARCH-COMP20 Category Report: Stochastic Models**.*The 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)*, pp. 76-106, September 2020.S. Liu, Abdalla Swikir, and M. Zamani.

**Verification of initial-state opacity for switched systems: A compositional approach**.*59th Conference on Decision and Control*, to appear, December 2020.M. Sharifi, A. Swikir, N. Noroozi, and M. Zamani.

**Compositional construction of abstractions for infinite networks of switched systems**.*59th Conference on Decision and Control*, to appear, December 2020.M. Shahamat, J. Askari, A. Swikir, N. Noroozi, and M. Zamani.

**Construction of continuous abstractions for discrete-time time-delay systems**.*59th Conference on Decision and Control*, to appear, December 2020.P. Jagtap, G. J. Pappas, and M. Zamani.

**Control barrier functions for unknown nonlinear systems using gaussian processes**.*59th Conference on Decision and Control*, to appear, December 2020.S. Yang, X. Yin, S. Li, and M. Zamani.

**Secure-by-construction optimal path planning for linear temporal logic tasks**.*59th Conference on Decision and Control*, to appear, December 2020.N. Noroozi, A. Mironchenko, C. Kawan, and M. Zamani.

**Set stability of infinite networks: ISS small-gain theory and its applications.***24th International Symposium on Mathematical Theory of Networks and Systems*, August 2021.N. Jahanshahi, P. Jagtap, and M. Zamani.

**Synthesis of stochastic systems with partial information via control barrier functions**.*21st IFAC World Congress*, to appear, July 2020.A. Swikir, N. Noroozi, and M. Zamani.

**Compositional synthesis of symbolic models for infinite networks**.*21st IFAC World Congress*, to appear, July 2020.A. Salamati, S. Soudjani, and M. Zamani.

**Data-driven verification under signal temporal logic constraints**.*21st IFAC World Congress*, to appear, July 2020.M. Anand, A. Lavaei, and M. Zamani.

**Compositional construction of control barrier certificates for large-scale interconnected stochastic systems**.*21st IFAC World Congress*, to appear, July 2020.Nejati and M. Zamani.

**Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach**.*21st IFAC World Congress*, to appear, July 2020.A. Nejati, S. Soudjani, and M. Zamani.

**Compositional construction of control barrier functions for networks of continuous-time stochastic systems**.*21st IFAC World Congress*, to appear, July 2020.C. Kawan, A. Mironchenko, A. Swikir, N. Noroozi, and M. Zamani.

**A spectral small-gain condition for input-to-state stability of infinite networks**.*21st IFAC World Congress*, to appear, July 2020.M. Al Khatib and M. Zamani.

**Controller synthesis for interconnected systems using parametric assume-guarantee contracts**.*American Control Conference (ACC)*, to appear, July 2020.S. Liu, X. Yin, and M. Zamani.

**On a notion of approximate opacity for discrete-time stochastic control systems**.*American Control Conference (ACC)*, to appear, July 2020.A. Lavaei, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani.

**Formal controller synthesis for unknown continuous-space MDPs via model-free reinforcement learning**.*The 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)*, April 2020, to appear. (Preprint)P. Jagtap, A. Swikir, and M. Zamani.

**Compositional construction of control barrier functions for interconnected control systems**.*The 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)*, April 2020, to appear.P. Ashok, M. Jackermeier, P. Jagtap, J. Kretinsky, M. Weininger, and M. Zamani.

**dtControl: Decision tree learning algorithms for controller representation**.*The 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)*, April 2020, to appear.A. Lavaei and M. Zamani.

**Compositional verification of large-scale stochastic systems**. The*58th IEEE Conference on Decision and Control (CDC)*, December 2019, to appear.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.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.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.X. Yin and M. Zamani.

**Towards approximate opacity of cyber-physical system: WIP abstract**. T*he 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)*, pp. 310-311, 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. S. 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:

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)

## Patents:

M. Khaled and M. Zamani.

**Distributed Automated Synthesis Of Correct-by-Construction Controllers**. European Patent Office, EP3633468A1, WO2020070206A1, 2020. (Link)