| 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 | 790 | 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 | 340 | 2011 |
| SCOTS: A tool for the synthesis of symbolic controllers M Rungger, M Zamani Proceedings of the 19th international conference on hybrid systems …, 2016 | 261 | 2016 |
| 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 | 187 | 2020 |
| 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 | 185 | 2014 |
| Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022 | 159 | 2022 |
| 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 | 147 | 2020 |
| 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 | 128 | 2007 |
| Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015 | 103 | 2015 |
| Backstepping design for incremental stability M Zamani, P Tabuada IEEE Transactions on Automatic Control 56 (9), 2184-2189, 2011 | 102 | 2011 |
| 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 | 98 | 2009 |
| 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 | 79 | 2017 |
| Hybrid particle swarm-based-simulated annealing optimization techniques N Sadati, M Zamani, HRF Mahdavian IECON 2006-32nd Annual Conference on IEEE Industrial Electronics, 644-648, 2006 | 73* | 2006 |
| 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 | 72 | 2007 |
| 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 | 68 | 2016 |
| On approximate opacity of cyber-physical systems X Yin, M Zamani, S Liu IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020 | 67 | 2020 |
| 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 | 64 | 2019 |
| Secure-by-construction synthesis of cyber-physical systems S Liu, A Trivedi, X Yin, M Zamani Annual Reviews in Control 53, 30-50, 2022 | 61 | 2022 |
| 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 | 61 | 2020 |
| Symbolic abstractions of networked control systems M Zamani, M Mazo, M Khaled, A Abate IEEE Transactions on Control of Network Systems 5 (4), 1622-1634, 2017 | 61* | 2017 |
Abolfazl LavaeiAssistant Professor, Newcastle UniversityVerified email at newcastle.ac.uk
