دنبال کردن
Majid Zamani
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
7642009
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‏
3212011
SCOTS: A tool for the synthesis of symbolic controllers‏
M Rungger, M Zamani‏
Proceedings of the 19th international conference on hybrid systems …, 2016‏
2362016
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‏
1732014
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‏
1362020
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‏
1252007
Automated verification and synthesis of stochastic hybrid systems: A survey‏
A Lavaei, S Soudjani, A Abate, M Zamani‏
Automatica 146, 110617, 2022‏
1192022
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‏
1102020
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach‏
M Zamani, A Abate, A Girard‏
Automatica 55, 183-196, 2015‏
992015
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‏
962009
Backstepping design for incremental stability‏
M Zamani, P Tabuada‏
IEEE Transactions on Automatic Control 56 (9), 2184-2189, 2011‏
922011
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‏
732007
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‏
712017
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‏
632016
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‏
592019
On approximate opacity of cyber-physical systems‏
X Yin, M Zamani, S Liu‏
IEEE Transactions on Automatic Control 66 (4), 1630-1645, 2020‏
582020
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‏
552019
Temporal logic verification of stochastic systems using barrier certificates‏
P Jagtap, S Soudjani, M Zamani‏
International Symposium on Automated Technology for Verification and …, 2018‏
542018
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20