Follow
Majid Zamani
Title
Cited by
Cited by
Year
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
7432009
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
3222011
SCOTS: A tool for the synthesis of symbolic controllers
M Rungger, M Zamani
Proceedings of the 19th international conference on hybrid systems …, 2016
2322016
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
1692014
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
1272020
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
1242007
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
1062022
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
1062020
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
M Zamani, A Abate, A Girard
Automatica 55, 183-196, 2015
982015
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
952009
Backstepping design for incremental stability
M Zamani, P Tabuada
IEEE Transactions on Automatic Control 56 (9), 2184-2189, 2011
892011
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
692007
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
682017
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
602016
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
582019
On approximate opacity of cyber-physical systems
X Yin, M Zamani, S Liu
IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020
572020
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
572020
Approximately bisimilar symbolic models for randomly switched stochastic systems
M Zamani, A Abate
Systems & Control Letters 69, 38-46, 2014
572014
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
542019
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
512018
The system can't perform the operation now. Try again later.
Articles 1–20