Design of a fractional order PID controller for an AVR using particle swarm optimization M Zamani, M Karimi-Ghartemani, N Sadati, M Parniani Control Engineering Practice 17 (12), 1380-1387, 2009 | 718 | 2009 |
Symbolic models for nonlinear control systems without stability assumptions M Zamani, G Pola, M Mazo, P Tabuada IEEE Transactions on Automatic Control 57 (7), 1804-1809, 2011 | 309 | 2011 |
SCOTS: A tool for the synthesis of symbolic controllers M Rungger, M Zamani Proceedings of the 19th international conference on hybrid systems …, 2016 | 214 | 2016 |
Symbolic control of stochastic systems via approximately bisimilar finite abstractions M Zamani, PM Esfahani, R Majumdar, A Abate, J Lygeros IEEE Transactions on Automatic Control 59 (12), 3135-3150, 2014 | 165 | 2014 |
FOPID controller design for robust performance using particle swarm optimization M Zamani, M Karimi-Ghartemani, N Sadati Fractional Calculus and Applied Analysis 10 (2), 169-187, 2007 | 121 | 2007 |
Formal synthesis of stochastic systems via control barrier certificates P Jagtap, S Soudjani, M Zamani IEEE Transactions on Automatic Control 66 (7), 3097-3110, 2020 | 103 | 2020 |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015 | 92 | 2015 |
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes P Jagtap, GJ Pappas, M Zamani 2020 59th IEEE Conference on Decision and Control (CDC), 3699-3704, 2020 | 91 | 2020 |
Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022 | 89 | 2022 |
Design of an H∞ PID controller using particle swarm optimization M Zamani, N Sadati, MK Ghartemani International Journal of Control, Automation and Systems 7 (2), 273-280, 2009 | 89 | 2009 |
Backstepping design for incremental stability M Zamani, P Tabuada IEEE Transactions on Automatic Control 56 (9), 2184-2189, 2011 | 85 | 2011 |
Compositional abstraction for networks of control systems: A dissipativity approach M Zamani, M Arcak IEEE Transactions on Control of Network Systems 5 (3), 1003-1015, 2017 | 65 | 2017 |
An optimal fractional order controller for an AVR system using particle swarm optimization algorithm M Karimi-Ghartemani, M Zamani, N Sadati, M Parniani 2007 Large Engineering Systems Conference on Power Engineering, 244-249, 2007 | 63 | 2007 |
Opacity of nondeterministic transition systems: A (bi) simulation relation approach K Zhang, X Yin, M Zamani IEEE Transactions on Automatic Control 64 (12), 5116-5123, 2019 | 56 | 2019 |
Compositional construction of approximate abstractions of interconnected control systems M Rungger, M Zamani IEEE Transactions on Control of Network Systems 5 (1), 116-127, 2016 | 56 | 2016 |
Approximately bisimilar symbolic models for randomly switched stochastic systems M Zamani, A Abate Systems & Control Letters 69, 38-46, 2014 | 55 | 2014 |
Compositional construction of infinite abstractions for networks of stochastic control systems A Lavaei, S Soudjani, M Zamani Automatica 107, 125-137, 2019 | 54 | 2019 |
Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 52 | 2020 |
On approximate opacity of cyber-physical systems X Yin, M Zamani, S Liu IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020 | 50 | 2020 |
Application and system-level software fault tolerance through full system restarts F Abdi, R Tabish, M Rungger, M Zamani, M Caccamo Proceedings of the 8th International Conference on Cyber-Physical Systems …, 2017 | 49 | 2017 |