Majid Zamani
发表
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems
pdf
Sadegh Soudjani,
Ameneh Nejati,
Majid Zamani,
2020,
ArXiv.
Abolfazl Lavaei,
Sadegh Soudjani,
Majid Zamani,
2019,
NSV@CAV.
Majid Zamani,
Mahmoud Khaled,
2020
.
Sadegh Soudjani,
Ameneh Nejati,
Majid Zamani,
2020,
Eur. J. Control.
Andreas Demosthenous,
Dai Jiang,
Francesco Renna,
2020,
IEEE Transactions on Biomedical Circuits and Systems.
Andreas Demosthenous,
Majid Zamani,
2013,
2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS).
Abdalla Swikir,
Maryam Sharifi,
Majid Zamani,
2021
.
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
pdf
Adnane Saoud,
Pushpak Jagtap,
Antoine Girard,
2020,
ArXiv.
Kuize Zhang,
Majid Zamani,
Mahmoud Khaled,
2020,
ArXiv.
Pushpak Jagtap,
Abdalla Swikir,
Majid Zamani,
2020,
HSCC.
Jan Kretínský,
Pushpak Jagtap,
Majid Zamani,
2020,
HSCC.
Antoine Girard,
Abdalla Swikir,
Majid Zamani,
2020,
IEEE Control Systems Letters.
Abolfazl Lavaei,
Sadegh Soudjani,
Majid Zamani,
2019,
Autom..
Shaoyuan Li,
Xiang Yin,
Shuo Yang,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach
pdf
Ameneh Nejati,
Majid Zamani,
Majid Zamani,
2020,
IFAC-PapersOnLine.
Murat Arcak,
Majid Zamani,
Mahmoud Khaled,
2020,
CAV.
Matthias Althoff,
Niklas Kochdumper,
Fabian Immler,
2018,
ARCH@ADHS.
Abolfazl Lavaei,
Sadegh Soudjani,
Majid Zamani,
2020,
CAV.
Andreas Demosthenous,
Majid Zamani,
Ameer Mohammed,
2017,
IEEE Transactions on Neural Systems and Rehabilitation Engineering.
Majid Zamani,
Mahendra Singh Tomar,
2020,
IEEE Control Systems Letters.
Majid Zamani,
2020
.
Majid Zamani,
Siyuan Liu,
Majid Zamani,
2020,
Autom..
Sadegh Soudjani,
Majid Zamani,
Ali Salamati,
2020,
IFAC-PapersOnLine.
Shaoyuan Li,
Xiang Yin,
Majid Zamani,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Fabio Somenzi,
Abolfazl Lavaei,
Sadegh Soudjani,
2020,
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).
Pushpak Jagtap,
Christoph Kawan,
Majid Zamani,
2020,
ArXiv.
Asad Ullah Awan,
Majid Zamani,
2017
.
Damien Zufferey,
Majid Zamani,
D. Zufferey,
2019,
NSV@CAV.
George J. Pappas,
Pushpak Jagtap,
Majid Zamani,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).