×
Compute Distance To:
Author ID: zamani.majid Recent zbMATH articles by "Zamani, Majid"
Published as: Zamani, Majid; Zamani, M.
Documents Indexed: 60 Publications since 2007
Co-Authors: 44 Co-Authors with 57 Joint Publications
876 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 302 times in 150 Documents Cited by Year
Symbolic models for nonlinear control systems without stability assumptions. Zbl 1369.93002
Zamani, Majid; Pola, Giordano; Mazo, Manuel jun.; Tabuada, Paulo
40
2012
FOPID controller design for robust performance using particle swarm optimization. Zbl 1141.93351
Zamani, Majid; Karimi-Ghartemani, Masoud; Sadati, Nasser
28
2007
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
22
2014
SCOTS: a tool for the synthesis of symbolic controllers. Zbl 1364.93267
Rungger, Matthias; Zamani, Majid
18
2016
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Zbl 1377.93156
Zamani, Majid; Abate, Alessandro; Girard, Antoine
15
2015
Backstepping design for incremental stability. Zbl 1368.93214
Zamani, Majid; Tabuada, Paulo
15
2011
Approximately bisimilar symbolic models for randomly switched stochastic systems. Zbl 1288.93098
Zamani, Majid; Abate, Alessandro
14
2014
Compositional construction of infinite abstractions for networks of stochastic control systems. Zbl 1429.93139
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
11
2019
Backstepping design for incremental stability of stochastic Hamiltonian systems with jumps. Zbl 1390.93831
Jagtap, Pushpak; Zamani, Majid
11
2018
Compositional construction of approximate abstractions. Zbl 1364.93286
Rungger, Matthias; Zamani, Majid
10
2015
Compositional abstraction for networks of control systems: a dissipativity approach. Zbl 07044967
Zamani, Majid; Arcak, Murat
10
2018
Opacity of nondeterministic transition systems: a (bi)simulation relation approach. Zbl 1482.93403
Zhang, Kuize; Yin, Xiang; Zamani, Majid
7
2019
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach. Zbl 1429.93143
Swikir, Abdalla; Zamani, Majid
6
2019
From dissipativity theory to compositional construction of finite Markov decision processes. Zbl 1422.90067
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
6
2018
Constructing control system abstractions from modular components. Zbl 1417.93056
Kim, Eric S.; Arcak, Murat; Zamani, Majid
6
2018
Approximations of stochastic hybrid systems: a compositional approach. Zbl 1369.60045
Zamani, Majid; Rungger, Matthias; Esfahani, Peyman Mohajerin
6
2017
On approximate opacity of cyber-physical systems. Zbl 07352214
Yin, Xiang; Zamani, Majid; Liu, Siyuan
5
2021
Compositional construction of approximate abstractions of interconnected control systems. Zbl 1507.93095
Rungger, Matthias; Zamani, Majid
5
2018
Invariance feedback entropy of nondeterministic control systems. Zbl 1369.93580
Rungger, Matthias; Zamani, Majid
5
2017
Compositional abstraction-based synthesis for networks of stochastic switched systems. Zbl 1441.93322
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
5
2020
A Lyapunov-based small-gain theorem for infinite networks. Zbl 07480597
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
5
2021
Bisimilar symbolic models for stochastic control systems without state-space discretization. Zbl 1362.93147
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
4
2014
Compositional (in)finite abstractions for large-scale interconnected stochastic systems. Zbl 07320099
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
4
2020
AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. Zbl 1481.93037
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
4
2020
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
4
2013
Towards scalable synthesis of stochastic control systems. Zbl 1379.93087
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
3
2017
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Zbl 1455.93190
Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid
3
2021
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. Zbl 1478.93665
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
3
2021
ISS small-gain criteria for infinite networks with linear gain functions. Zbl 1480.93357
Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph; Zamani, Majid
3
2021
Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach. Zbl 1441.93293
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
3
2020
pFaces: an acceleration ecosystem for symbolic control. Zbl 07120161
Khaled, Mahmoud; Zamani, Majid
3
2019
Formal synthesis of stochastic systems via control barrier certificates. Zbl 1467.93293
Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
3
2021
Free vibration analysis of moderately thick trapezoidal symmetrically laminated plates with various combinations of boundary conditions. Zbl 1348.74220
Zamani, M.; Fallah, A.; Aghdam, M. M.
2
2012
dtControl: decision tree learning algorithms for controller representation. Zbl 07300871
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
2
2020
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Zbl 1478.93018
Liu, Siyuan; Zamani, Majid
2
2021
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Zbl 1478.93672
Salamati, Ali; Soudjani, Sadegh; Zamani, Majid
2
2021
Accurate reachability analysis of uncertain nonlinear systems. Zbl 1417.93062
Rungger, Matthias; Zamani, Majid
2
2018
Nanofluid flow in micro-annular tubes at constant wall temperature considering the non-uniform distribution of nanoparticles. Zbl 1408.76544
Zamani, M.; Malvandi, A.; Moshizi, S. A.; Hosseini, S. J.
1
2017
dtControl: decision tree learning algorithms for controller representation. Zbl 07300858
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
1
2020
From dissipativity theory to compositional abstractions of interconnected stochastic hybrid systems. Zbl 07255303
Awan, Asad Ullah; Zamani, Majid
1
2020
Approximate abstractions of control systems with an application to aggregation. Zbl 1451.93048
Smith, Stanley W.; Arcak, Murat; Zamani, Majid
1
2020
Symbolic abstractions of networked control systems. Zbl 07045020
Zamani, Majid; Mazo, Manuel; Khaled, Mahmoud; Abate, Alessandro
1
2018
Sandboxing controllers for stochastic cyber-physical systems. Zbl 1441.93298
Zhong, Bingzhuo; Zamani, Majid; Caccamo, Marco
1
2019
Symbolic models for retarded jump-diffusion systems. Zbl 1430.93200
Jagtap, Pushpak; Zamani, Majid
1
2020
Automated verification and synthesis of stochastic hybrid systems: a survey. Zbl 1504.93389
Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid
1
2022
Automated verification and synthesis of stochastic hybrid systems: a survey. Zbl 1504.93389
Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid
1
2022
On approximate opacity of cyber-physical systems. Zbl 07352214
Yin, Xiang; Zamani, Majid; Liu, Siyuan
5
2021
A Lyapunov-based small-gain theorem for infinite networks. Zbl 07480597
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
5
2021
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Zbl 1455.93190
Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid
3
2021
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. Zbl 1478.93665
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
3
2021
ISS small-gain criteria for infinite networks with linear gain functions. Zbl 1480.93357
Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph; Zamani, Majid
3
2021
Formal synthesis of stochastic systems via control barrier certificates. Zbl 1467.93293
Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
3
2021
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Zbl 1478.93018
Liu, Siyuan; Zamani, Majid
2
2021
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Zbl 1478.93672
Salamati, Ali; Soudjani, Sadegh; Zamani, Majid
2
2021
Compositional abstraction-based synthesis for networks of stochastic switched systems. Zbl 1441.93322
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
5
2020
Compositional (in)finite abstractions for large-scale interconnected stochastic systems. Zbl 07320099
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
4
2020
AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. Zbl 1481.93037
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
4
2020
Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach. Zbl 1441.93293
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
3
2020
dtControl: decision tree learning algorithms for controller representation. Zbl 07300871
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
2
2020
dtControl: decision tree learning algorithms for controller representation. Zbl 07300858
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid
1
2020
From dissipativity theory to compositional abstractions of interconnected stochastic hybrid systems. Zbl 07255303
Awan, Asad Ullah; Zamani, Majid
1
2020
Approximate abstractions of control systems with an application to aggregation. Zbl 1451.93048
Smith, Stanley W.; Arcak, Murat; Zamani, Majid
1
2020
Symbolic models for retarded jump-diffusion systems. Zbl 1430.93200
Jagtap, Pushpak; Zamani, Majid
1
2020
Compositional construction of infinite abstractions for networks of stochastic control systems. Zbl 1429.93139
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
11
2019
Opacity of nondeterministic transition systems: a (bi)simulation relation approach. Zbl 1482.93403
Zhang, Kuize; Yin, Xiang; Zamani, Majid
7
2019
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach. Zbl 1429.93143
Swikir, Abdalla; Zamani, Majid
6
2019
pFaces: an acceleration ecosystem for symbolic control. Zbl 07120161
Khaled, Mahmoud; Zamani, Majid
3
2019
Sandboxing controllers for stochastic cyber-physical systems. Zbl 1441.93298
Zhong, Bingzhuo; Zamani, Majid; Caccamo, Marco
1
2019
Backstepping design for incremental stability of stochastic Hamiltonian systems with jumps. Zbl 1390.93831
Jagtap, Pushpak; Zamani, Majid
11
2018
Compositional abstraction for networks of control systems: a dissipativity approach. Zbl 07044967
Zamani, Majid; Arcak, Murat
10
2018
From dissipativity theory to compositional construction of finite Markov decision processes. Zbl 1422.90067
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
6
2018
Constructing control system abstractions from modular components. Zbl 1417.93056
Kim, Eric S.; Arcak, Murat; Zamani, Majid
6
2018
Compositional construction of approximate abstractions of interconnected control systems. Zbl 1507.93095
Rungger, Matthias; Zamani, Majid
5
2018
Accurate reachability analysis of uncertain nonlinear systems. Zbl 1417.93062
Rungger, Matthias; Zamani, Majid
2
2018
Symbolic abstractions of networked control systems. Zbl 07045020
Zamani, Majid; Mazo, Manuel; Khaled, Mahmoud; Abate, Alessandro
1
2018
Approximations of stochastic hybrid systems: a compositional approach. Zbl 1369.60045
Zamani, Majid; Rungger, Matthias; Esfahani, Peyman Mohajerin
6
2017
Invariance feedback entropy of nondeterministic control systems. Zbl 1369.93580
Rungger, Matthias; Zamani, Majid
5
2017
Towards scalable synthesis of stochastic control systems. Zbl 1379.93087
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
3
2017
Nanofluid flow in micro-annular tubes at constant wall temperature considering the non-uniform distribution of nanoparticles. Zbl 1408.76544
Zamani, M.; Malvandi, A.; Moshizi, S. A.; Hosseini, S. J.
1
2017
SCOTS: a tool for the synthesis of symbolic controllers. Zbl 1364.93267
Rungger, Matthias; Zamani, Majid
18
2016
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Zbl 1377.93156
Zamani, Majid; Abate, Alessandro; Girard, Antoine
15
2015
Compositional construction of approximate abstractions. Zbl 1364.93286
Rungger, Matthias; Zamani, Majid
10
2015
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
22
2014
Approximately bisimilar symbolic models for randomly switched stochastic systems. Zbl 1288.93098
Zamani, Majid; Abate, Alessandro
14
2014
Bisimilar symbolic models for stochastic control systems without state-space discretization. Zbl 1362.93147
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
4
2014
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
4
2013
Symbolic models for nonlinear control systems without stability assumptions. Zbl 1369.93002
Zamani, Majid; Pola, Giordano; Mazo, Manuel jun.; Tabuada, Paulo
40
2012
Free vibration analysis of moderately thick trapezoidal symmetrically laminated plates with various combinations of boundary conditions. Zbl 1348.74220
Zamani, M.; Fallah, A.; Aghdam, M. M.
2
2012
Backstepping design for incremental stability. Zbl 1368.93214
Zamani, Majid; Tabuada, Paulo
15
2011
FOPID controller design for robust performance using particle swarm optimization. Zbl 1141.93351
Zamani, Majid; Karimi-Ghartemani, Masoud; Sadati, Nasser
28
2007
all top 5

Cited by 284 Authors

22 Zamani, Majid
8 Girard, Antoine
7 Abate, Alessandro
7 Lavaei, Abolfazl
7 Soudjani, Sadegh
6 Dimarogonas, Dimos V.
5 Do, Khac Duc
5 Ren, Yuanhong
5 Wang, Weiqun
4 Boskos, Dimitris
4 Kar, Indra Narayan
4 Lafortune, Stéphane
4 Liu, Jun
4 Ozay, Necmiye
4 Saoud, Adnane
4 Shen, Mingxuan
3 Arcak, Murat
3 Di Benedetto, Maria Domenica
3 Fribourg, Laurent
3 Kawan, Christoph
3 Liu, Siyuan
3 Noroozi, Navid
3 Pola, Giordano
3 Rayguru, Madan Mohan
3 Swikir, Abdalla
3 van de Wouw, Nathan
3 Zhou, Weisong
2 Althoff, Matthias
2 Apaza-Perez, W. Alejandro
2 Babolian, Esmaeil
2 Bhrawy, Ali Hassan
2 Caccamo, Marco
2 Chen, Yangquan
2 Combastel, Christophe
2 Coogan, Samuel
2 Dehghan Takht Fooladi, Mehdi
2 Effati, Sohrab
2 Ezz-Eldien, Samer S.
2 Farahi, Mohammad Hadi
2 Haesaert, Sofie
2 Kamyad, Ali Vahidian
2 Le Coënt, Adrien
2 Li, Yinan
2 Li, Zhiwu
2 Majumdar, Rupak
2 Mironchenko, Andrii
2 Mophou, Gisèle Massengo
2 Nejati, Ameneh
2 Ordokhani, Yadollah
2 Pang, Hongbo
2 Pappas, George J.
2 Rabiei, Kobra
2 Rakhshan, Seyed Ali
2 Rungger, Matthias
2 Safaie, Elahe
2 Sanfelice, Ricardo G.
2 Schürmann, Bastian
2 Tabuada, Paulo
2 Tricaud, Christophe
2 Wang, Yixiang
2 Wintenberg, Andrew
2 Yin, Xiang
2 Yousefi, Sohrab Ali
2 Zeid, Samaneh Soradi
2 Zhong, Bingzhuo
2 Zolghadri, Ali
1 Abdul Aziz, Mohd Ismail
1 Alavi, Seyyed Ali
1 Alexandre dit Sandretto, Julien
1 Ames, Aaron D.
1 Băleanu, Dumitru I.
1 Balkan, Ayça
1 Baneshi, Z.
1 Barcelos, Raphael Julio
1 Basilio, João Carlos
1 Baumann, Michael Heinrich
1 Bersani, Marcello Maria
1 Biemond, J. J. Benjamin
1 Blischke, Matthew
1 Bloem, Roderick
1 Borri, Alessandro
1 Bresolin, Davide
1 Bullo, Francesco
1 Cannon, Mark
1 Cao, Hongpeng
1 Chan, Jeffrey
1 Chapoutot, Alexandre
1 Chen, Mingshuai
1 Chen, Ruijuan
1 Chen, Zengqiang
1 Chu, Tianguang
1 Cleaveland, Matthew
1 Collins, Peter J.
1 Colombo, Alessandro G.
1 Cowlagi, Raghvendra V.
1 Dallal, Eric
1 Damak, Hanen
1 Damarla, Seshu Kumar
1 Darehmiraki, Majid
1 De Santis, Elena
...and 184 more Authors
all top 5

Cited in 46 Serials

40 Automatica
18 Nonlinear Analysis. Hybrid Systems
10 Journal of the Franklin Institute
8 International Journal of Control
7 Systems & Control Letters
5 Discrete Event Dynamic Systems
5 European Journal of Control
4 Computers & Mathematics with Applications
3 SIAM Journal on Control and Optimization
3 International Journal of Robust and Nonlinear Control
2 Acta Informatica
2 Journal of Optimization Theory and Applications
2 Journal of Vibration and Control
2 Nonlinear Dynamics
2 Computational Methods for Differential Equations
1 Artificial Intelligence
1 Physica A
1 Chaos, Solitons and Fractals
1 Calcolo
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Circuits, Systems, and Signal Processing
1 Information and Computation
1 Formal Aspects of Computing
1 Journal of Dynamics and Differential Equations
1 Formal Methods in System Design
1 Computational and Applied Mathematics
1 Fractals
1 Complexity
1 Mathematical Problems in Engineering
1 Positivity
1 Fractional Calculus & Applied Analysis
1 Communications in Nonlinear Science and Numerical Simulation
1 International Journal of Applied Mathematics and Computer Science
1 Iranian Journal of Science and Technology. Transaction A: Science
1 Journal of Machine Learning Research (JMLR)
1 Mediterranean Journal of Mathematics
1 Advances in Difference Equations
1 International Journal of Differential Equations
1 Asian Journal of Control
1 Journal of Mathematical Extension
1 S\(\vec{\text{e}}\)MA Journal
1 Journal of Mahani Mathematical Research Center
1 Journal of Applied Mathematics, Statistics and Informatics
1 International Journal of Applied and Computational Mathematics
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year