Majid Zamani
发表
Paulo Tabuada,
Majid Zamani,
P. Tabuada,
2010,
49th IEEE Conference on Decision and Control (CDC).
Majid Zamani,
Peyman Mohajerin Esfahani,
Matthias Rungger,
2015,
IEEE Transactions on Automatic Control.
Majid Zamani,
M. Rungger,
2015,
IEEE Transactions on Control of Network Systems.
Majid Zamani,
A. Trivedi,
Mahathi Anand,
2022,
HSCC.
Kuize Zhang,
Majid Zamani,
2017
.
M. Caccamo,
Majid Zamani,
Ameneh Nejati,
2022,
L4DC.
Majid Zamani,
Abolfazl Lavaei,
Mahathi Anand,
2021,
ArXiv.
Majid Zamani,
S. Soudjani,
Ameneh Nejati,
2020,
Autom..
Emilio Frazzoli,
Majid Zamani,
Abolfazl Lavaei,
2022,
IEEE Control Systems Letters.
Majid Zamani,
Abolfazl Lavaei,
2022,
IEEE Transactions on Automatic Control.
M. Caccamo,
Majid Zamani,
Bingzhuo Zhong,
2022,
2022 American Control Conference (ACC).
M. Caccamo,
Majid Zamani,
Bingzhuo Zhong,
2021,
IEEE Transactions on Automatic Control.
F. Somenzi,
Majid Zamani,
Abolfazl Lavaei,
2022,
IEEE Open Journal of Control Systems.
A. Awan,
Majid Zamani,
Rameez Wajid,
2022,
L4DC.
Majid Zamani,
Abolfazl Lavaei,
S. Soudjani,
2019,
Nonlinear Analysis: Hybrid Systems.
Majid Zamani,
C. Kawan,
A. Mironchenko,
2021
.
Majid Zamani,
C. Kawan,
A. Mironchenko,
2020,
2002.07085.
Majid Zamani,
Mahathi Anand,
2022
.
Kuize Zhang,
Majid Zamani,
Mahmoud Khaled,
2020,
IEEE Transactions on Automatic Control.
Kuize Zhang,
Majid Zamani,
Mahmoud Khaled,
2020,
ArXiv.
Majid Zamani,
C. Kawan,
A. Mironchenko,
2019,
IEEE Transactions on Automatic Control.
Majid Zamani,
Abolfazl Lavaei,
Mahathi Anand,
2021,
IEEE Transactions on Automatic Control.
Majid Zamani,
Ameneh Nejati,
2022,
Leibniz Trans. Embed. Syst..
Rupak Majumdar,
Majid Zamani,
R. Majumdar,
2012,
CAV.
Majid Zamani,
Pushpak Jagtap,
Sadegh Soudjani,
2019,
IEEE Transactions on Automatic Control.
Marco Caccamo,
Rohan Tabish,
Majid Zamani,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Rupak Majumdar,
Indranil Saha,
Majid Zamani,
2012,
EMSOFT '12.
A. Girard,
Adnane Saoud,
Majid Zamani,
2020,
IEEE Transactions on Control of Network Systems.
Xiang Yin,
Majid Zamani,
Majid Zamani,
2019,
IEEE Transactions on Automatic Control.
A. Abate,
Majid Zamani,
Abolfazl Lavaei,
2021,
ArXiv.
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations
pdf
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2019,
Nonlinear Analysis: Hybrid Systems.
Fabio Somenzi,
Abolfazl Lavaei,
Sadegh Soudjani,
2020,
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).
Abolfazl Lavaei,
Sadegh Soudjani,
Majid Zamani,
2019,
Autom..
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2018,
IEEE Transactions on Automatic Control.
Abolfazl Lavaei,
Sadegh Soudjani,
Majid Zamani,
2019,
NSV@CAV.
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2019,
ArXiv.
Majid Zamani,
Murat Arcak,
Stanley W. Smith,
2018,
Autom..
Fabian R. Wirth,
Majid Zamani,
Abdalla Swikir,
2018,
2018 European Control Conference (ECC).
Majid Zamani,
Pushpak Jagtap,
N. Jahanshahi,
2020,
IFAC-PapersOnLine.
Majid Zamani,
Pushpak Jagtap,
Majid Zamani,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Nathan van de Wouw,
Rupak Majumdar,
Majid Zamani,
2012,
Syst. Control. Lett..
Majid Zamani,
Murat Arcak,
M. Arcak,
2016,
IEEE Transactions on Control of Network Systems.
Majid Zamani,
Mahathi Anand,
Vishnu Murali,
2021,
2105.05493.
Shaoyuan Li,
Xiang Yin,
Shuo Yang,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Siyuan Liu,
Majid Zamani,
Majid Zamani,
2021,
IEEE Control Systems Letters.
Samarjit Chakraborty,
Wanli Chang,
Majid Zamani,
2014,
2014 IEEE Real-Time Systems Symposium.
Manuel Mazo,
Paulo Tabuada,
Giordano Pola,
2010,
IEEE Transactions on Automatic Control.
Sadegh Soudjani,
Majid Zamani,
Ali Salamati,
2020,
IFAC-PapersOnLine.
Majid Zamani,
Sadegh Soudjani,
Ali Salamati,
2021,
Autom..
Majid Zamani,
Matthias Rungger,
Majid Zamani,
2015,
HSCC.
Majid Zamani,
Xiang Yin,
Junyao Hou,
2022,
IEEE Control Systems Letters.
M. Caccamo,
Majid Zamani,
Bingzhuo Zhong,
2023,
ArXiv.
Majid Zamani,
Xiang Yin,
Ashutosh Trivedi,
2022,
Annu. Rev. Control..
Pushpak Jagtap,
Abdalla Swikir,
Majid Zamani,
2020,
HSCC.
George J. Pappas,
Pushpak Jagtap,
Majid Zamani,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
John Lygeros,
Alessandro Abate,
Majid Zamani,
2013,
2013 European Control Conference (ECC).
Paulo Tabuada,
Majid Zamani,
P. Tabuada,
2010,
IEEE Transactions on Automatic Control.
Rupak Majumdar,
Indranil Saha,
Majid Zamani,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Xiang Yin,
Majid Zamani,
Majid Zamani,
2019,
ICCPS.
Peyman Mohajerin Esfahani,
Majid Zamani,
Abolfazl Lavaei,
2022,
2022 IEEE 61st Conference on Decision and Control (CDC).
Majid Zamani,
Matthias Rungger,
Majid Zamani,
2017,
IEEE Transactions on Automatic Control.
Majid Zamani,
Matthias Rungger,
Majid Zamani,
2017,
HSCC.
M. Caccamo,
Majid Zamani,
Bingzhuo Zhong,
2022,
2022 IEEE Conference on Control Technology and Applications (CCTA).
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
Majid Zamani,
Murat Arcak,
Eric S. Kim,
2018,
HSCC.
Majid Zamani,
Murat Arcak,
Eric S. Kim,
2018,
HSCC.
Rupak Majumdar,
Sadegh Esmaeil Zadeh Soudjani,
Majid Zamani,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Majid Zamani,
Matthias Rungger,
Majid Zamani,
2016,
HSCC.
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Antoine Girard,
Alessandro Abate,
Majid Zamani,
2014,
Autom..
Majid Zamani,
Mohammad Al Khatib,
Majid Zamani,
2019,
HSCC.
Abolfazl Lavaei,
Sadegh Soudjani,
Majid Zamani,
2020,
CAV.
Majid Zamani,
Mahmoud Khaled,
Majid Zamani,
2019,
HSCC.
Majid Zamani,
Murat Arcak,
Eric S. Kim,
2019,
TACAS.
Majid Zamani,
Mahmoud Khaled,
2021,
HSCC.
Kuize Zhang,
Majid Zamani,
Mahmoud Khaled,
2020,
ArXiv.
Majid Zamani,
Mahmoud Khaled,
2019,
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control.
Majid Zamani,
Pushpak Jagtap,
Majid Zamani,
2017,
QEST.
Gunther Reissig,
Majid Zamani,
Matthias Rungger,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Jan Křetínský,
Majid Zamani,
Pushpak Jagtap,
2020,
HSCC.
A. Awan,
Majid Zamani,
2023,
Systems & Control Letters.
M. Caccamo,
Majid Zamani,
Abolfazl Lavaei,
2021,
Autom..
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems
pdf
Marco Caccamo,
Majid Zamani,
Abolfazl Lavaei,
2021,
Nonlinear Analysis: Hybrid Systems.
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems
pdf
Majid Zamani,
Abdalla Swikir,
Maryam Sharifi,
2021,
ArXiv.
Majid Zamani,
Abdalla Swikir,
Javad Askari,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Majid Zamani,
Abdalla Swikir,
Maryam Sharifi,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Antoine Girard,
Abdalla Swikir,
Majid Zamani,
2020,
IEEE Control Systems Letters.
Sadegh Soudjani,
Ameneh Nejati,
Majid Zamani,
2020,
Eur. J. Control.
Majid Zamani,
Siyuan Liu,
Majid Zamani,
2020,
Autom..
Majid Zamani,
Abdalla Swikir,
Majid Zamani,
2019,
2019 18th European Control Conference (ECC).
Majid Zamani,
Abdalla Swikir,
Majid Zamani,
2019,
IEEE Control Systems Letters.
Majid Zamani,
Murat Arcak,
Stanley W. Smith,
2018,
2018 Annual American Control Conference (ACC).
Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case
Fabian R. Wirth,
Majid Zamani,
Navid Noroozi,
2018,
2018 European Control Conference (ECC).
Majid Zamani,
Asad Ullah Awan,
A. Awan,
2018,
IEEE Transactions on Control of Network Systems.
Majid Zamani,
Abdalla Swikir,
Majid Zamani,
2018,
Autom..
Sadegh Esmaeil Zadeh Soudjani,
Majid Zamani,
Abolfazl Lavaei,
2018,
Autom..
Majid Zamani,
Asad Ullah Awan,
A. Awan,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Antoine Girard,
Majid Zamani,
Abdalla Swikir,
2017,
2018 Indian Control Conference (ICC).
Majid Zamani,
Peyman Mohajerin Esfahani,
Matthias Rungger,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
M. Arcak,
Majid Zamani,
Alex Devonport,
2020,
CAV.
H. Cao,
M. Caccamo,
Majid Zamani,
2023,
AAAI.
M. Caccamo,
Majid Zamani,
Abolfazl Lavaei,
2022,
International Conference on Hybrid Systems: Computation and Control.
M. Caccamo,
Majid Zamani,
Ameneh Nejati,
2022,
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS).
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2021,
ADHS.
Majid Zamani,
Abolfazl Lavaei,
Niloofar Jahanshahi,
2021,
IEEE Transactions on Control of Network Systems.
Majid Zamani,
Sadegh Soudjani,
Ameneh Nejati,
2020,
IEEE Control Systems Letters.
Majid Zamani,
Abolfazl Lavaei,
Mahathi Anand,
2020,
IFAC-PapersOnLine.
Majid Zamani,
S. Soudjani,
Ameneh Nejati,
2020,
IFAC-PapersOnLine.
Marco Caccamo,
Majid Zamani,
Abolfazl Lavaei,
2021,
CAADCPS@CPSIoTWeek.
Majid Zamani,
Marco Caccamo,
Bingzhuo Zhong,
2019,
FORMATS.
Ashutosh Trivedi,
Majid Zamani,
Mahathi Anand,
2021,
ArXiv.
Majid Zamani,
Matthias Rungger,
Majid Zamani,
2018,
HSCC.
Majid Zamani,
C. Kawan,
A. Mironchenko,
2020
.
Antoine Girard,
Adnane Saoud,
Majid Zamani,
2018,
ADHS.
Pushpak Jagtap,
Christoph Kawan,
Majid Zamani,
2020,
ArXiv.
Damien Zufferey,
Majid Zamani,
D. Zufferey,
2019,
NSV@CAV.
Majid Zamani,
Majid Zamani,
2012
.
Shaoyuan Li,
Majid Zamani,
Xiang Yin,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Majid Zamani,
Siyuan Liu,
Shadi Tasdighi Kalat,
2022,
IEEE Control Systems Letters.
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach
pdf
Ameneh Nejati,
Majid Zamani,
Majid Zamani,
2020,
IFAC-PapersOnLine.
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2017,
HSCC.
Majid Zamani,
M. Rungger,
2016,
HSCC.
Antoine Girard,
Majid Zamani,
A. Girard,
2015,
2015 American Control Conference (ACC).
Alessandro Abate,
Majid Zamani,
A. Abate,
2014,
2014 American Control Conference.
Majid Zamani,
Abolfazl Lavaei,
Mahathi Anand,
2021,
Nonlinear Analysis: Hybrid Systems.
Majid Zamani,
Abolfazl Lavaei,
Majid Zamani,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2019,
2019 18th European Control Conference (ECC).
Majid Zamani,
Abolfazl Lavaei,
S. Soudjani,
2018,
IEEE Transactions on Automatic Control.
Majid Zamani,
Pushpak Jagtap,
Sadegh Soudjani,
2018,
ATVA.
Alessandro Abate,
Majid Zamani,
Ilya Tkachev,
2016,
Discrete Event Dynamic Systems.
Majid Zamani,
Abolfazl Lavaei,
Majid Zamani,
2019,
IFAC-PapersOnLine.
Majid Zamani,
Ameneh Nejati,
2023,
IEEE Control Systems Letters.
Majid Zamani,
Navid Noroozi,
Ali Salamati,
2022,
IEEE Control Systems Letters.
Majid Zamani,
Pushpak Jagtap,
Abolfazl Lavaei,
2023,
IEEE Transactions on Automatic Control.
A. Abate,
Majid Zamani,
Abolfazl Lavaei,
2022,
Autom..
Majid Zamani,
Pushpak Jagtap,
Niloofar Jahanshahi,
2021,
IEEE Control Systems Letters.
Majid Zamani,
Ameneh Nejati,
Sadegh Soudjani,
2019,
2019 18th European Control Conference (ECC).
Majid Zamani,
Abolfazl Lavaei,
Majid Zamani,
2019,
SNR.
Alessandro Abate,
Majid Zamani,
A. Abate,
2014,
Syst. Control. Lett..
John Lygeros,
Rupak Majumdar,
Alessandro Abate,
2013,
IEEE Transactions on Automatic Control.
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2018,
ADHS.
Majid Zamani,
Mahathi Anand,
Vishnu Murali,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Majid Zamani,
Abolfazl Lavaei,
Sadegh Soudjani,
2021,
ADHS.
Majid Zamani,
Majid Zamani,
2014,
53rd IEEE Conference on Decision and Control.
Abraham P. Vinod,
H. Blom,
A. Abate,
2022,
ARCH@SAFECOMP.