Segui
Majid Zamani
Titolo
Citata da
Citata da
Anno
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
6512009
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
2892011
SCOTS: A tool for the synthesis of symbolic controllers
M Rungger, M Zamani
Proceedings of the 19th international conference on hybrid systems …, 2016
1792016
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
1422014
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
1132007
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
842009
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
M Zamani, A Abate, A Girard
Automatica 55, 183-196, 2015
832015
Backstepping design for incremental stability
M Zamani, P Tabuada
IEEE Transactions on Automatic Control 56 (9), 2184-2189, 2011
792011
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
652020
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
522017
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
512016
Approximately bisimilar symbolic models for randomly switched stochastic systems
M Zamani, A Abate
Systems & Control Letters 69, 38-46, 2014
512014
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
512007
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
482019
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
462020
Backstepping controller synthesis and characterizations of incremental stability
M Zamani, N van de Wouw, R Majumdar
Systems & Control Letters 62 (10), 949-962, 2013
452013
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
432019
Performance-aware scheduler synthesis for control systems
R Majumdar, I Saha, M Zamani
Proceedings of the ninth ACM international conference on Embedded software …, 2011
412011
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
402017
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
392022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20