Publications
Preprints
P. Griffioen, B. Zhong, M. Arcak, M. Zamani, and M. Caccamo. Datadriven controlled invariant sets for Gaussian process state space models. Submitted for publication
V. Murali, A. Trivedi, and M. Zamani. CoBüchi barrier certificates for discretetime dynamical systems. Submitted for publication.
D. Ajeleye and M. Zamani. Datadriven construction of finite abstractions for interconnected systems: A compositional approach. Submitted for publication.
S. Liu, X. Yin, D. V. Dimarogonas, and M. Zamani. On approximate opacity of stochastic control systems. Submitted for publication.
A. U. Awan and M. Zamani. Reducedorder Gaussian processes for partially unknown nonlinear control systems. Submitted for publication.
Books
M. Zamani and D. Zufferey (Eds.).
Numerical Software Verification. Volume 11652 of Lecture Notes in Computer Science, Springer International Publishing, 2019.
Journal Papers
B. Zhong, S. Liu, M. Caccamo, and M. Zamani. Securebyconstruction synthesis for control systems. IEEE Transactions on Automatic Control, conditionally accepted, 2024.
F. GalarzaJimenez, V. Murali, and M. Zamani. Compositional verification for largescale systems via closure certificates. IEEE Control Systems Letters, to appear, 2024.
D. Ajeleye and M. Zamani. Datadriven controller synthesis via coBüchi barrier certificates with formal guarantees. IEEE Control Systems Letters, to appear, 2024.
M. Anand, V. Murali, A. Trivedi, and M. Zamani. Verification of hyperproperties for uncertain dynamical systems via barrier certificates. IEEE Transactions on Automatic Control, to appear, 2024.
A. U. Awan and M. Zamani. Formal synthesis of safety controllers for unknown systems using gaussian process transfer learning. IEEE Control Systems Letters, 7, pp. 37413746, 2023.
D. Ajeleye, A. Lavaei, and M. Zamani. Datadriven controller synthesis via finite abstractions with formal guarantees. IEEE Control Systems Letters, 7, pp. 34533458, 2023.
A. Lavaei, M. Perez, M. Kazemi, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani. Modelfree reinforcement learning for formal control of stochastic systems. IEEE Open Journal of Control Systems, 2, pp. 425438, 2023.
A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani. Datadriven verification and synthesis of stochastic systems through barrier certificates. Automatica, 159, 2024.
V. Murali, A. Trivedi, and M. Zamani. Restructuring dynamical systems for inductive verification. IEEE Open Journal of Control Systems, 2, pp. 200207, 2023.
M. Anand, A. Lavaei, and M. Zamani. Compositional synthesis of control barrier certificates for networks of stochastic systems against omegaregular specifications. Nonlinear Analysis: Hybrid Systems, 51, 2024.
A. Nejati and M. Zamani. Datadriven synthesis of safety controllers via multiple control barrier certificates. IEEE Control Systems Letters, 7, pp. 24972502, 2023.
M. S. Tomar and M. Zamani. Towards minimal data rate enforcing regular safety properties: An invariance entropy approach. IEEE Control Systems Letters, 7, pp. 14761481, 2023.
B. Zhong, M. Zamani, and M. Caccamo. Formal synthesis of controllers for uncertain linear systems against ωregular properties: A setbased approach. IEEE Transactions on Automatic Control, 69(1), pp. 214229, 2024.
C. Kawan and M. Zamani. A smallgain theory for infinite networks via infinitedimensional gain operators. SIAM Journal on Control and Optimization, 61(3), pp. 17781804, 2023.
A. U. Awan and M. Zamani. Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach. Systems & Control Letters, 175, 2023.
A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani. Formal verification of unknown discrete and continuoustime systems: A datadriven approach. IEEE Transactions on Automatic Control, 68(5), pp. 30113024, 2023. (Special Issue on Learning for Control)
J. Hou, S. Liu, X. Yin, and M. Zamani. Abstractionbased verification of approximate preopacity for control systems. IEEE Control Systems Letters, 7, pp. 10871092, 2022.
M. Khaled, K. Zhang, and M. Zamani. Outputfeedback symbolic control. IEEE Transactions on Automatic Control, 68(9), pp. 56005607, 2023.
M. S. Tomar, C. Kawan, and M. Zamani. Numerical overapproximation of invariance entropy via finite abstractions. Systems & Control Letters, 170, 2022.
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, 7, pp. 223228, 2022.
A. Salamati and M. Zamani. Safety verification of stochastic systems: A repetitive scenario approach. IEEE Control Systems Letters, 7, pp. 448453, 2022.
V. Murali, A. Trivedi, and M. Zamani. A scenario approach for synthesizing kInductive barrier certificates. IEEE Control Systems Letters, 6, pp. 32473252, 2022.
M. S. Tomar and M. Zamani. Modular computation of restoration entropy for networks of systems: A dissipativity approach. IEEE Control Systems Letters, 6, pp. 32893294, 2022.
A. Lavaei, S. Soudjani, E. Frazzoli, and M. Zamani. Constructing MDP abstractions using data with formal guarantees. IEEE Control Systems Letters, 7, pp. 460465, 2022.
B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo. Automatabased controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Automatica, 147, 2023. (Editors' Choice paper)
A. Lavaei, S. Soudjani, A. Abate, and M. Zamani. Automated verification and synthesis of stochastic hybrid systems: A survey. Automatica, 146, 2022.
A. Nejati, S. Soudjani, and M. Zamani. Compositional construction of control barrier functions for continuoustime stochastic hybrid systems. Automatica, 145, 2022.
M. Anand, A. Lavaei, and M. Zamani. From smallgain theory to compositional construction of barrier certificates for largescale stochastic systems. IEEE Transactions on Automatic Control, 67(10), pp. 56385645, 2022.
S. Liu, A. Trivedi, X. Yin, and M. Zamani. Securebyconstruction synthesis of cyberphysical systems. Annual Reviews in Control, 53, pp. 3050, 2022.
A. Lavaei and M. Zamani. From dissipativity theory to compositional synthesis of largescale stochastic switched systems. IEEE Transactions on Automatic Control, 67(9), pp. 44224437, 2022.
N. Noroozi, A. Mironchenko, C. Kawan, and M. Zamani. A smallgain theorem for set stability of infinite networks: Distributed observation and ISS for timevarying networks. European Journal of Control, 67, 2022.
N. Jahanshahi, A. Lavaei, and M. Zamani. Compositional construction of safety controllers for networks of continuousspace POMDPs. IEEE Transactions on Control of Network Systems, 10(1), pp. 8799, 2023.
A. Nejati and M. Zamani. From dissipativity theory to compositional construction of control barrier certificates. Leibniz Transactions on Embedded Systems, 8(2), pp. 06:1–06:17, 2022.
C. Kawan, A. Mironchenko, and M. Zamani. A Lyapunovbased ISS smallgain theorem for infinite networks of nonlinear systems. IEEE Transactions on Automatic Control, 68(3), pp. 14471462, 2023.
M. Sharifi, A. Swikir, N. Noroozi, and M. Zamani. Compositional construction of abstractions for infinite networks of discretetime switched systems. Nonlinear Analysis: Hybrid Systems, 44, 2022. (Special Issue on Security, Privacy and Safety of CyberPhysical Systems)
N. Noroozi, A. Salamati, M. Zamani. Datadriven safety verification of discretetime networks: A compositional approach. IEEE Control Systems Letters, 6, pp. 22102215, 2021.
B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo. Safevisor architecture for sandboxing (AIbased) unverified controllers in stochastic cyberphysical systems. Nonlinear Analysis: Hybrid Systems, 43, 2021. (Special Issue on Security, Privacy and Safety of CyberPhysical Systems)
A. Mironchenko, N. Noroozi, C. Kawan, and M. Zamani. ISS smallgain criteria for infinite networks with linear gain functions. Systems & Control Letters, 157, 2021.
S. Liu, N. Noroozi, and M. Zamani. Symbolic models for infinite networks of control systems: A compositional approach. Nonlinear Analysis: Hybrid Systems, 43, 2021. (Special Issue on Security, Privacy and Safety of CyberPhysical Systems)
S. Liu, A. Swikir, and M. Zamani. Verification of initialstate opacity for switched systems: A compositional approach. Nonlinear Analysis: Hybrid Systems, 42, 2021.
S. Tasdighi Kalat, S. Liu, M. Zamani. Modular verification of opacity for interconnected control systems via barrier certificates. IEEE Control Systems Letters, 6, pp. 890895, June 2021.
S. Liu and M. Zamani. Compositional synthesis of opacitypreserving finite abstractions for interconnected systems. Automatica, 131, September 2021.
A. Salamati, S. Soudjani, and M. Zamani. Datadriven verification and synthesis under signal temporal logic constraints. Automatica, 131, September 2021.
S. Liu and M. Zamani. Verification of approximate opacity via barrier certificates. IEEE Control Systems Letters, 5(4), pp. 13691374, November 2020.
M. Khaled and M. Zamani. Cloudready acceleration of formal method techniques for cyberphysical systems. IEEE Design & Test, 38(5), pp. 2534, 2020. (Special Issue on Crosslayer Design of CyberPhysical Systems)
A. Saoud, P. Jagtap, M. Zamani, and A. Girard. Compositional abstractionbased synthesis for interconnected systems: An approximate composition approach. IEEE Transactions on Control of Network Systems, 8(2), pp. 702712, 2021.
C. Kawan, A. Mironchenko, A. Swikir, N. Noroozi, and M. Zamani. A Lyapunovbased smallgain theorem for infinite networks. IEEE Transactions on Automatic Control, 66(12), pp. 58305844, 2021. (IEEE CSS George S. Axelby Outstanding Paper Award)
A. Lavaei, S. Soudjani, and M. Zamani. Compositional abstractionbased synthesis of general MDPs via approximate probabilistic relations. Nonlinear Analysis: Hybrid Systems, 39, February 2021.
N. Jahanshahi, P. Jagtap, and M. Zamani. Synthesis of partially observed jumpdiffusion systems via control barrier functions. IEEE Control Systems Letters, 5(1), pp. 253258, June 2020.
A. Swikir, A. Girard, and M. Zamani. Symbolic models for a class of impulsive systems. IEEE Control Systems Letters, 5(1), pp. 247252, 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. 827832, October 2020.
A. Nejati, S. Soudjani, and M. Zamani. Compositional construction of control barrier certificates for largescale stochastic switched systems. IEEE Control Systems Letters, 4(4), pp. 845850, October 2020.
X. Yin, M. Zamani, and S. Liu. On approximate opacity of cyberphysical systems. IEEE Transactions on Automatic Control, 66(4), pp. 16301645, 2021.
M. S. Tomar, M. Rungger and M. Zamani. Invariance feedback entropy of uncertain control systems. IEEE Transactions on Automatic Control, 66(12), pp. 56805695, 2021.
P. Jagtap, F. Abdi, M. Rungger, M. Zamani, and M. Caccamo. Software fault tolerance for cyberphysical systems via full system restart. ACM Transactions on CyberPhysical Systems, 4(4), August 2020.
P. Jagtap, S. Soudjani, and M. Zamani. Formal synthesis of stochastic systems via control barrier certificates. IEEE Transactions on Automatic Control, 66(7), pp. 30973110, 2021.
A. Nejati, S. Soudjani, and M. Zamani. Compositional abstractionbased synthesis for continuoustime stochastic hybrid systems. European Journal of Control, 57, pp. 8294, 2021.
A. Lavaei, S. Soudjani, and M. Zamani. Compositional abstractionbased synthesis for networks of stochastic switched systems. Automatica, 114, April 2020.
A. Lavaei, S. Soudjani, and M. Zamani. Compositional (in)finite abstractions for largescale interconnected stochastic systems. IEEE Transactions on Automatic Control, 65(12), pp. 52805295, 2020.
S. W. Smith, M. Arcak, and M. Zamani. Approximate abstractions of control systems with an application to aggregation. Automatica, 119, 2020.
A. Lavaei, S. Soudjani, and M. Zamani. Compositional synthesis of largescale stochastic systems: A relaxed dissipativity approach. Nonlinear Analysis: Hybrid Systems, 36, May 2020.
A. Swikir and M. Zamani. Compositional synthesis of finite abstractions for networks of systems: A smallgain approach. Automatica, 107, pp. 551  561, September 2019. (Preprint)
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. 433445.
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)
A. Lavaei, S. Soudjani, and M. Zamani. Compositional construction of infinite abstractions for networks of stochastic control systems. Automatica, vol. 107, pp. 125137, 2019. (Preprint)
P. Jagtap and M. Zamani. Symbolic Models For Retarded JumpDiffusion Systems. Automatica, 111, January 2020.
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. 51165123, December 2019.
M. Khaled, M. Rungger, and M. Zamani. Abstractionbased synthesis of networked control systems. Electronic Proceedings in Theoretical Computer Science (EPTCS), 272, pp. 6578, 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. 16221634, December 2018. (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. (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. 10031015, September 2018.
M. Zamani, I. Tkachev, and A. Abate. Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems, 27(2), pp. 341369, June 2017. (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. 28382853, June 2017. (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. 116127, March 2018. (Preprint)
M. Zamani, A. Abate, and A. Girard. Symbolic models for stochastic switched systems: A discretization and a discretizationfree approach. Automatica, 55, pp. 183196, May 2015. (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. 31353150, November 2014. (Special Issue on Control of CyberPhysical Systems)
M. Zamani and A. Abate. Approximately bisimilar symbolic models for randomly switched stochastic systems. Systems & Control Letters, 69, pp. 3846, May 2014.
M. Zamani, N. van de Wouw, and R. Majumdar. Backstepping controller synthesis and characterizations of incremental stability. Systems & Control Letters, 62(10), pp. 949962, August 2013. (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. 18041809, July 2012. ,(Preprint)
M. Zamani and P. Tabuada. Backstepping design for incremental stability. IEEE Transactions on Automatic Control, 56(9), pp. 21842189, 2011. (Preprint)
M. Zamani, M. KarimiGhartemani, 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. 13801387, December 2009.
M. Zamani, N. Sadati, and M. KarimiGhartemani. Design of an H∞ PID controller using particle swarm optimization. International Journal of Control, Automation and Systems (IJCAS), 7(2), pp. 273280, April 2009.
M. Zamani, M. KarimiGhartemani and N. Sadati. FOPID controller design for robust performance using particle swarm optimization. Journal of Fractional Calculus & Applied Analysis (FCAA), 10(2), pp. 169188, 2007.
Book Chapters
M. Khaled and M. Zamani. Automated synthesis of certifiable controllers for cyberphysical systems: A computationaware approach. ComputationAware Algorithmic Design for CyberPhysical Systems, Birkhäuser Cham, 2023.
A. Lavaei, M. Khaled, S. Soudjani, and M. Zamani. AMYTISS: Parallelized automated controller synthesis for largescale stochastic systems. 32nd Conference on Computer Aided Verification (CAV), July 2020. (Best poster/demo award during HSCC'2020)
A. Devonport, M. Khaled, M. Arcak, and M. Zamani. PIRK: Scalable interval reachability analysis for highdimensional nonlinear systems. 32nd Conference on Computer Aided Verification (CAV), July 2020.
B. Zhong, M. Zamani, and M. Caccamo. Sandboxing controllers for stochastic cyberphysical systems. 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science 11750, pp. 247264, August 2019.
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.
M. Khaled, E. Kim, M. Arcak, and M. Zamani. Synthesis of symbolic controllers: A parallelized and sparsityaware approach. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 11428, pp. 265281, 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. 177193, October 2018.
P. Jagtap and M. Zamani. QUEST: A tool for statespace quantizationfree synthesis of symbolic controllers. 14th International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 10503, pp. 309313, September 2017.
M. Zamani, S. Dey, S. Mohamed, P. Dasgupta, and M. Mazo Jr. Scheduling of controllers’ updaterates for residual bandwidth utilization. 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science 9884, pp. 85101, August 2016.
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. 284300, Springer, 2013.
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. 362377, Springer, 2012.
Conference Papers
V. Murali, A. Trivedi, and M. Zamani. Barrier certificates for weighted automatabased specifications. The 63rd IEEE Conference on Decision and Control (CDC), 2024.
W. Dong, B. Zhong, X. Yin, and M. Zamani. Verification of approximate prognosability via barrier certificates. The 63rd IEEE Conference on Decision and Control (CDC), 2024.
M. Anand, R. M. Jungers, M. Zamani, and F. Allgöwer. Pathcomplete barrier functions for safety of switched linear systems. The 63rd IEEE Conference on Decision and Control (CDC), 2024.
B. Zhong, M. Arcak, and M. Zamani. Hierarchical control for cyberphysical systems via general approximate alternating simulation relations. The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024. (Best repeatability prize finalist)
F. GalarzaJimenez, V. Murali, and M. Zamani. Compositional synthesis of controllers via coBüchi barrier certificates. The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024.
B. Zhong, W. Dong, X. Yin, and M. Zamani. Verification of diagnosability for cyberphysical systems via hybrid barrier certificates. The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024.
A. Nadali, A. Trivedi, and M. Zamani. Transfer of safety controllers through learning deep inverse dynamics model. The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024.
M. Anand and M. Zamani. Distributed safety controller synthesis for unknown interconnected systems via graph neural networks. The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024.
R. Gifford, F. GalarzaJimenez, L. Phan, and M. Zamani. Decntr: Optimizing safety and schedulability with multimode control and resource allocation codesign. The 30th IEEE RealTime and Embedded Technology and Applications Symposium (RTAS), 2024.
V. Murali, A. Trivedi, and M. Zamani. Closure certificates. The 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2024. (ACM SIGBED HSCC best paper award finalist)
V. Murali, A. Trivedi, and M. Zamani. Falsification via barrier certificates. American Control Conference, to appear, 2024.
A. Nadali, V. Murali. A. Trivedi, and M. Zamani. Neural closure certificates. The 38th AAAI Conference on Artificial Intelligence, 2024.
A. Nadali, A. Trivedi, and M. Zamani. Transfer learning for barrier certificates. The 62nd IEEE Conference on Decision and Control (CDC), 2023.
B. Zhong, S. Liu, M. Caccamo, and M. Zamani. Towards trustworthy AI: Sandboxing AIbased unverified controllers for safe and secure cyberphysical systems. The 62nd IEEE Conference on Decision and Control (CDC), 2023.
V. Murali , S. Tasdighi Kalat, and M. Zamani. A datadriven approach to approximate opacity verification. The 62nd IEEE Conference on Decision and Control (CDC), 2023.
N. Jahanshahi and M. Zamani. Datadriven synthesis of safety controllers for partiallyobservable systems with unknown models. The 62nd IEEE Conference on Decision and Control (CDC), 2023.
J. Hou, S. Liu, X. Yin, and M. Zamani. Abstractionbased synthesis of controllers for approximate opacity. The 62nd IEEE Conference on Decision and Control (CDC), 2023.
M. Anand and M. Zamani. Formally verified neural network control barrier certificates for unknown systems. The 22nd IFAC World Congress, 2023.
N. Jahanshahi and M. Zamani. Synthesis of controllers for partiallyobservable systems: A datadriven approach. The 22nd IFAC World Congress, 2023.
B. Zhong, S. Liu, M. Caccamo, and M. Zamani. Securebyconstruction controller synthesis via control barrier functions. The 22nd IFAC World Congress, 2023.
B. Zhong, H. Cao, M. Zamani, and M. Caccamo. Towards safe AI: Sandboxing DNNsbased controllers in stochastic games. The 37th AAAI Conference on Artificial Intelligence, 2023.
B. Zhong, M. Zamani, and M. Caccamo. Synthesizing safety controllers for uncertain linear systems: A direct datadriven approach. The 6th IEEE Conference on Control Technology and Applications (CCTA), 2022.
A. Lavaei, P. Mohajerin Esfahani, and M. Zamani. Datadriven stability verification of homogeneous nonlinear systems with unknown dynamics. The 61st IEEE Conference on Decision and Control (CDC), 2022.
S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas, and M. Zamani. Compositional synthesis of signal temporal logic tasks via assumeguarantee contracts. The 61st IEEE Conference on Decision and Control (CDC), 2022.
A. Salamati and M. Zamani. Datadriven safety verification of stochastic systems via barrier certificates: A waitandjudge approach. 4th Annual Learning for Dynamics & Control Conference (L4DC), 2022.
A. Nejati, B. Zhong, M. Caccamo, and M. Zamani. Datadriven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates. 4th Annual Learning for Dynamics & Control Conference (L4DC), 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), 2022.
S. Tasdighi Kalat, S. Liu, and M. Zamani. Verification of approximate infinitestep opacity using barrier certificates. European Control Conference (ECC), 2022
M. S. Tomar and M. Zamani. On a notion of entropy for reachability properties. American Control Conference (ACC), 2022.
B. Zhong, M. Zamani, and M. Caccamo. A setbased approach for synthesizing controllers enforcing omegaregular properties over uncertain linear control systems. American Control Conference (ACC), 2022.
M. Anand, V. Murali, A. Trivedi, and M. Zamani. kInductive Barrier Certificates for Stochastic Systems. The 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2022.
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), December 2021.
M. Anand, V. Murali, A. Trivedi, and M. Zamani. Safety verification of dynamical systems via kinductive barrier certificates. The 60th IEEE Conference on Decision and Control (CDC), December 2021.
A. Mironchenko, N. Noroozi, C. Kawan, and M. Zamani. ISS smallgain criteria for infinite networks with linear gain functions. The 60th IEEE Conference on Decision and Control (CDC), December 2021.
Y. Xie, X. Yin, S. Li, and M. Zamani. Securebyconstruction controller synthesis for stochastic systems under linear temporal logic specifications. The 60th IEEE Conference on Decision and Control (CDC), December 2021. (IEEE TC Discrete Event Systems Outstanding Student Paper Prize)
A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani. Datadriven safety verification of stochastic systems via barrier certificates. 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), July 2021. (Best repeatability prize)
A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani. Datadriven estimation of infinitesimal generators of stochastic systems. 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), July 2021.
M. Khaled and M. Zamani. OmegaThreads: Symbolic controller design for omegaregular objectives. The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2021. (Top two finalist for the best poster/demo award )
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. ARCHCOMP20 Category Report: Stochastic Models. The 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), pp. 76106, September 2020.
S. Liu, Abdalla Swikir, and M. Zamani. Compositional verification of initialstate opacity for switched systems. 59th Conference on Decision and Control, 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, December 2020.
M. Shahamat, J. Askari, A. Swikir, N. Noroozi, and M. Zamani. Construction of continuous abstractions for discretetime timedelay systems. 59th Conference on Decision and Control, 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, December 2020.
S. Yang, X. Yin, S. Li, and M. Zamani. Securebyconstruction optimal path planning for linear temporal logic tasks. 59th Conference on Decision and Control, December 2020.
N. Noroozi, A. Mironchenko, C. Kawan, and M. Zamani. Set stability of infinite networks: ISS smallgain 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, July 2020.
A. Swikir, N. Noroozi, and M. Zamani. Compositional synthesis of symbolic models for infinite networks. 21st IFAC World Congress, July 2020.
A. Salamati, S. Soudjani, and M. Zamani. Datadriven verification under signal temporal logic constraints. 21st IFAC World Congress, July 2020.
M. Anand, A. Lavaei, and M. Zamani. Compositional construction of control barrier certificates for largescale interconnected stochastic systems. 21st IFAC World Congress, July 2020.
A. Nejati and M. Zamani. Compositional construction of finite MDPs for continuoustime stochastic systems: A dissipativity approach. 21st IFAC World Congress, July 2020.
A. Nejati, S. Soudjani, and M. Zamani. Compositional construction of control barrier functions for networks of continuoustime stochastic systems. 21st IFAC World Congress, July 2020.
C. Kawan, A. Mironchenko, A. Swikir, N. Noroozi, and M. Zamani. A spectral smallgain condition for inputtostate stability of infinite networks. 21st IFAC World Congress, July 2020.
M. Al Khatib and M. Zamani. Controller synthesis for interconnected systems using parametric assumeguarantee contracts. American Control Conference (ACC), July 2020.
S. Liu, X. Yin, and M. Zamani. On a notion of approximate opacity for discretetime stochastic control systems. American Control Conference (ACC), July 2020.
A. Lavaei, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani. Formal controller synthesis for unknown continuousspace MDPs via modelfree reinforcement learning. The 11th ACM/IEEE International Conference on CyberPhysical Systems (ICCPS), April 2020.
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.
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.
A. Lavaei and M. Zamani. Compositional Verification of LargeScale Stochastic Systems via Relaxed SmallGain Conditions. The 58th IEEE Conference on Decision and Control (CDC), December 2019.
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.
J. Hou, X. Yin, S. Li, and M. Zamani. Abstractionbased synthesis of opacityenforcing controllers using alternating simulation relations. The 58th IEEE Conference on Decision and Control (CDC), December 2019.
A. Lavaei and M. Zamani. Compositional construction of finite MDPs for largescale stochastic switched systems: A dissipativity approach. The 15th IFAC Symposium on Large Scale Complex Systems: Theory and Applications, vol. 52, no. 3, pp. 3136, 2019. (Best IFAC young author award finalist)
A. Swikir and M. Zamani. Compositional abstractions of interconnected discretetime switched systems. The 18th European Control Conference (ECC), June 2019.
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.
A. Nejati, S. Soudjani, and M. Zamani. Abstractionbased synthesis of continuoustime stochastic control systems. The 18th European Control Conference (ECC), pp. 3212–3217, 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), 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), April 2019.
X. Yin and M. Zamani. Towards approximate opacity of cyberphysical system: WIP abstract. The 10th ACMIEEE International Conference on CyberPhysical Systems (ICCPS)/, pp. 310311, April 2019.
A. Lavaei and M. Zamani. Compositional finite abstractions for largescale stochastic switched systems. The 5th workshop on SymbolicNumeric methods for Reasoning about CPS and IoT (SNR) in conjunction with CyberPhysical Systems and InternetofThings Week (CPSIoT Week), pp. 35, 2019.
S. Liu and M. Zamani. Compositional synthesis of almost maximally permissible safety controllers. American Control Conference (ACC), July 2019.
A. U. Awan and M. Zamani. Compositional abstraction for interconnected systems over Riemannian manifolds: A smallgain approach. The 57th IEEE Conference on Decision and Control (CDC), December 2018.
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.
F. Immler, M. Althoff, X. Chen, C. Fan, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, M. Singh Tomar, and M. Zamani. {ARCHCOMP18} 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. 5370, 2018.
A. Lavaei, S. Soudjani, and M. Zamani. Compositional synthesis of finite abstractions for continuousspace stochastic control systems: A smallgain approach. The 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 51, no. 16, pp. 265270, 2018.
A. Saoud, P. Jagtap, M. Zamani, and A. Girard. Compositional abstractionbased synthesis for cascade discretetime control systems. The 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 51(16), pp. 1318, July 2018.
N. Noroozi, A. Swikir, F. R. Wirth, and M. Zamani. Compositional construction of abstractions via relaxed smallgain conditions Part II: discrete case. European Control Conference (ECC), June 2018.
N. Noroozi, F. R. Wirth, and M. Zamani. Compositional construction of abstractions via relaxed smallgain conditions Part I: continuous case. European Control Conference (ECC), June 2018.
A. U. Awan and M. Zamani. Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies. American Control Conference (ACC), pp. 15861591, June 2018.
S. W. Smith, M. Arcak, and M. Zamani. Hierarchical control via an approximate aggregate manifold. American Control Conference (ACC), pp. 23782383, 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. 6170, 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. 2130, 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. 137146, 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. 3035, January 2018. (Best student paper award finalist)
A. Lavaei, S. Soudjani, R. Majumdar, and M. Zamani. Compositional Abstractions of Interconnected DiscreteTime Stochastic Control Systems. The 56th IEEE Conference on Decision and Control (CDC), pp. 35513556, 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. 39984003, December 2017.
K. Zhang and M. Zamani. Infinitestep opacity of nondeterministic finite transition systems: A bisimulation relation approach. The 56th IEEE Conference on Decision and Control (CDC), pp. 56155619, 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. 35433550, 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. 1637416379, 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. 96829687, July 2017.
M. Rungger and M. Zamani. Invariance feedback entropy of nondeterministic control systems. The 20th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 91100, April 2017.
F. Abdi Taghi Abad, R. Tabish, M. Rungger, M. Zamani, and M. Caccamo. Application and systemlevel software fault tolerance through full system restarts. The 8th ACMIEEE International Conference on CyberPhysical Systems (ICCPS), pp. 197206, 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. 187193, September 2016.
P. Jagtap and M. Zamani. On incremental stability of timedelayed stochastic control systems. The 54th Annual Allerton Conference on Communication, Control, and Computing, pp. 577581, 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. 780785, 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. 74047410, 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. 53675372, December 2016.
O. Holub, M. Zamani, and A. Abate. Efficient HVAC controls: A symbolic approach. European Control Conference (ECC), June 2016, pp. 11591164, 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. 99104, April 2016.
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. 525530, December 2015.
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 CyberPhysical Systems, Networks, and Applications, pp. 3742, August 2015.
M. Zamani and A. Girard. Bisimilar symbolic models for stochastic switched systems: A discretizationfree approach. American Control Conference (ACC), pp. 19231928, July 2015. (Invited paper)
M. Rungger and M. Zamani. Compositional construction of approximate abstractions. The 18th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 6877, April 2015.
W. Chang., A. Proebstl, D. Goswami, M. Zamani, and S. Chakraborty. Battery and agingaware embedded control systems for electric vehicles. IEEE RealTime Systems Symposium (RTSS), pp. 238248, December 2014.
M. Zamani. Compositional approximations of interconnected stochastic hybrid systems. The 53rd IEEE Conference on Decision and Control (CDC), pp. 33953400, December 2014. (Preprint)
M. Zamani, M. Mazo Jr, and A. Abate. Finite abstractions of networked control systems. The 53rd IEEE Conference on Decision and Control, pp. 95100, December 2014. (Invited paper)
M. Zamani and A. Abate. Symbolic models for randomly switched stochastic systems. Proceedings of the American Control Conference (ACC), pp. 22912296, June 2014. (Invited paper)
M. Zamani, I. Tkachev, and A. Abate. Bisimilar symbolic models for stochastic control systems without statespace discretization. The 17th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 4150, April 2014.
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. 39263931, December 2013. (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. 42574262, July 2013. (Invited paper)
M. Zamani and N. van de Wouw. Controller synthesis for incremental stability: Application to symbolic controller synthesis. European Control Conference (ECC), pp. 21982203, July 2013.
R. Majumdar, I. Saha, and M. Zamani. ,Synthesis of minimalerror control software. International Conference on Embedded Software (EMSOFT), pp. 123132, October 2012. (acceptance rate: 24%) (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. 302307, December 2011.
R. Majumdar, I. Saha, and M. Zamani. Performanceaware scheduler synthesis for control systems. International Conference on Embedded Software (EMSOFT), pp. 299308, October 2011.
M. Zamani and P. Tabuada. Towards backstepping design for incremental stability. Proceedings of the 49th IEEE Conference on Decision and Control (CDC), pp. 24262431, December 2010.
M. Zamani, G. Pola, and P. Tabuada. Symbolic models for unstable nonlinear control systems. Proceedings of the American Control Conference (ACC), pp. 10211026, June 2010. (Invited paper)
M. KarimiGhartemani, 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. 244249, October 2007.
M. Zamani, M. KarimiGhartemani and N. Sadati. Design of an H∞optimal FOPID controller using particle swarm optimization. Proceedings of the Chinese Control Conference (CCC), pp. 435440, July 2007.
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. 16, August 2007.
N. Sadati, M. Hajian and M. Zamani. Unit commitment using particle swarmbased simulated annealing optimization approach. Proceedings of the Swarm Intelligence Symposium (SIS), pp. 297302, April 2007.
N. Sadati, M. Zamani and H. Mahdavian. Hybrid particle swarmbased simulated annealing optimization techniques. Proceedings of the IEEE Industrial Electronics Conference (IECON), pp. 644648, November 2006.
Thesis
M. Zamani. Control of cyberphysical 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 CorrectbyConstruction Controllers. European Patent Office, EP3633468A1, WO2020070206A1, 2020.
