| 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 | 609 | 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 | 278 | 2011 |
| SCOTS: A tool for the synthesis of symbolic controllers M Rungger, M Zamani Proceedings of the 19th international conference on hybrid systems …, 2016 | 169 | 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 | 139 | 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 | 108 | 2007 |
| 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 | 86 | 2009 |
| Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015 | 82 | 2015 |
| Backstepping design for incremental stability M Zamani, P Tabuada IEEE Transactions on Automatic Control 56 (9), 2184-2189, 2011 | 74 | 2011 |
| 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 | 53 | 2020 |
| 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 | 52 | 2016 |
| Approximately bisimilar symbolic models for randomly switched stochastic systems M Zamani, A Abate Systems & Control Letters 69, 38-46, 2014 | 51 | 2014 |
| 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 | 51 | 2007 |
| 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 | 50 | 2017 |
| Backstepping controller synthesis and characterizations of incremental stability M Zamani, N van de Wouw, R Majumdar Systems & Control Letters 62 (10), 949-962, 2013 | 43 | 2013 |
| Compositional construction of infinite abstractions for networks of stochastic control systems A Lavaei, S Soudjani, M Zamani Automatica 107, 125-137, 2019 | 42 | 2019 |
| Performance-aware scheduler synthesis for control systems R Majumdar, I Saha, M Zamani 2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011 | 41 | 2011 |
| Application and system-level software fault tolerance through full system restarts F Abdi, R Tabish, M Rungger, M Zamani, M Caccamo 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017 | 39 | 2017 |
| 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 | 37 | 2019 |
| Compositional construction of approximate abstractions M Rungger, M Zamani Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 37 | 2015 |
| From dissipativity theory to compositional construction of finite Markov decision processes A Lavaei, S Soudjani, M Zamani Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 36 | 2018 |
Abolfazl LavaeiAssistant Professor, Newcastle Universitynewcastle.ac.uk의 이메일 확인됨
