Majid Zamani

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 208

Top Venues

CoRR

CDC

HSCC

IEEE Control. Syst. Lett.

University of California, Los Angeles, USA (PHD)

Education History

University of California, Los Angeles, USA

PHD

Publications

Robert Gifford, Felipe Galarza-Jimenez, Linh Thi Xuan Phan, Majid Zamani
Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design. RTAS (2024)
Salinna Abdullah, Majid Zamani, Andreas Demosthenous
Hardware Efficient Speech Enhancement With Noise Aware Multi-Target Deep Learning. IEEE Open J. Circuits Syst. 5 (2024)
Ali Salamati, Majid Zamani
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. IEEE Control. Syst. Lett. 7 (2023)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7 (2023)
Christian Okreghe, Majid Zamani, Andreas Demosthenous
A Deep Neural Network-Based Spike Sorting With Improved Channel Selection and Artefact Removal. IEEE Access 11 (2023)
Majid Zamani, Andreas Demosthenous
DeepNav: Joint View Learning for Direct Optimal Path Perception in Cochlear Surgical Platform Navigation. IEEE Access 11 (2023)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7 (2023)
Mahendra Singh Tomar, Majid Zamani
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach. IEEE Control. Syst. Lett. 6 (2022)
Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. L4DC (2022)
Ali Salamati, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. L4DC (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR (2022)
Enver Salkim, Majid Zamani, Dai Jiang, Shakeel R. Saeed, Andreas Demosthenous
Insertion Guidance Based on Impedance Measurements of a Cochlear Electrode Array. Frontiers Comput. Neurosci. 16 (2022)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CoRR (2022)
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. CoRR (2022)
Rameez Wajid, Asad Ullah Awan, Majid Zamani
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning. L4DC (2022)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145 (2022)
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. CoRR (2022)
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR (2022)
Abolfazl Lavaei, Majid Zamani
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. IEEE Trans. Autom. Control. 67 (9) (2022)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6 (2022)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Navid Noroozi, Ali Salamati, Majid Zamani
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. IEEE Control. Syst. Lett. 6 (2022)
Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. IEEE Control. Syst. Lett. 6 (2022)
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR (2022)
Majid Zamani, Merja Kallio, Richard H. Bayford, Andreas Demosthenous
Generation of Anatomically Inspired Human Airway Tree Using Electrical Impedance Tomography: A Method to Estimate Regional Lung Filling Characteristics. IEEE Trans. Medical Imaging 41 (5) (2022)
Salinna Abdullah, Majid Zamani, Andreas Demosthenous
A Compact CNN-Based Speech Enhancement With Adaptive Filter Design Using Gabor Function and Region-Aware Convolution. IEEE Access 10 (2022)
Majid Zamani, Christian Okreghe, Andreas Demosthenous
Efficient Approximation of Action Potentials with High-Order Shape Preservation in Unsupervised Spike Sorting. EMBC (2022)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
k-Inductive Barrier Certificates for Stochastic Systems. HSCC (2022)
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53 (2022)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC (2022)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. ACC (2022)
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR (2022)
Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
Verification of approximate infinite-step opacity using barrier certificates. ECC (2022)
Navid Noroozi, Andrii Mironchenko, Christoph Kawan, Majid Zamani
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks. Eur. J. Control 67 (2022)
Mahendra Singh Tomar, Majid Zamani
On a notion of entropy for reachability properties. ACC (2022)
Siyuan Liu, Majid Zamani
Verification of Approximate Opacity via Barrier Certificates. CoRR (2021)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS (2021)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR (2021)
Siyuan Liu, Majid Zamani
Verification of Approximate Opacity via Barrier Certificates. ACC (2021)
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. CoRR (2021)
Christoph Kawan, Andrii Mironchenko, Abdalla Swikir, Navid Noroozi, Majid Zamani
A Lyapunov-Based Small-Gain Theorem for Infinite Networks. IEEE Trans. Autom. Control. 66 (12) (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC (2021)
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC (2021)
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control. Syst. Lett. 5 (1) (2021)
Salinna Abdullah, Majid Zamani, Andreas Demosthenous
A Discrete Wavelet Transform-Based Voice Activity Detection and Noise Classification with Sub-Band Selection. ISCAS (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR (2021)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57 (2021)
Salinna Abdullah, Majid Zamani, Andreas Demosthenous
Towards More Efficient DNN-Based Speech Enhancement Using Quantized Correlation Mask. IEEE Access 9 (2021)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
Mahmoud Khaled, Majid Zamani
-regular objectives. HSCC (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek (2021)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. CoRR (2021)
Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani
Compositional Construction of Abstractions for Infinite Networks of Switched Systems. CoRR (2021)
Abdalla Swikir, Majid Zamani
Compositional Abstractions of Interconnected Discrete-Time Switched Systems. CoRR (2021)
Ali Salamati, Sadegh Soudjani, Majid Zamani
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131 (2021)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR (2021)
Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC (2021)
Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR (2021)
Siyuan Liu, Majid Zamani
Verification of Approximate Opacity via Barrier Certificates. IEEE Control. Syst. Lett. 5 (4) (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR (2021)
Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems. CoRR (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS (2021)
Xiang Yin, Majid Zamani, Siyuan Liu
On Approximate Opacity of Cyber-Physical Systems. IEEE Trans. Autom. Control. 66 (4) (2021)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR (2021)
Siyuan Liu, Majid Zamani
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Autom. 131 (2021)
Mahmoud Khaled, Majid Zamani
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. IEEE Des. Test 38 (5) (2021)
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. CoRR (2021)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Sandboxing Controllers for Stochastic Cyber-Physical Systems. CoRR (2021)
Mahmoud Khaled, Majid Zamani
-regular objectives. HSCC (2021)
Siyuan Liu, Majid Zamani
Compositional synthesis of almost maximally permissible safety controllers. CoRR (2021)
Abdalla Swikir, Antoine Girard, Majid Zamani
Symbolic Models for a Class of Impulsive Systems. IEEE Control. Syst. Lett. 5 (1) (2021)
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66 (7) (2021)
Christoph Kawan, Andrii Mironchenko, Majid Zamani
Construction of ISS Lyapunov functions for infinite networks of ISS systems. CDC (2021)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR (2021)
Siyuan Liu, Abdalla Swikir, Majid Zamani
Compositional Verification of Initial-State Opacity for Switched Systems. CoRR (2021)
Mahathi Anand, Pushpak Jagtap, Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates. CoRR (2021)
Mahendra Singh Tomar, Matthias Rungger, Majid Zamani
Invariance Feedback Entropy of Uncertain Control Systems. IEEE Trans. Autom. Control. 66 (12) (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR (2021)
Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani
A small-gain approach to ISS of infinite networks with homogeneous gain operators. CDC (2021)
Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani
ISS small-gain criteria for infinite networks with linear gain functions. Syst. Control. Lett. 157 (2021)
Siyuan Liu, Navid Noroozi, Majid Zamani
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach. CoRR (2021)
Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. CDC (2021)
Majid Zamani, Jure Sokolic, Dai Jiang, Francesco Renna, Miguel R. D. Rodrigues, Andreas Demosthenous
Accurate, Very Low Computational Complexity Spike Sorting Using Unsupervised Matched Subspace Learning. IEEE Trans. Biomed. Circuits Syst. 14 (2) (2020)
Siyuan Liu, Majid Zamani
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems. CoRR (2020)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65 (12) (2020)
Siyuan Liu, Xiang Yin, Majid Zamani
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. ACC (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control. Syst. Lett. 4 (4) (2020)
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
Compositional Construction of Control Barrier Functions for Interconnected Control Systems. CoRR (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR (2020)
Majid Zamani, Richard H. Bayford, Andreas Demosthenous
Adaptive Electrical Impedance Tomography Resolution Enhancement Using Statistically Quantized Projected Image Sub-Bands. IEEE Access 8 (2020)
Mohammad Al Khatib, Majid Zamani
Controller synthesis for interconnected systems using parametric assume-guarantee contracts. ACC (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS (2020)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114 (2020)
Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. CoRR (2020)
Mobin Shahamat, Javad Askari, Abdalla Swikir, Navid Noroozi, Majid Zamani
Construction of continuous abstractions for discrete-time time-delay systems. CDC (2020)
Majid Zamani, Enver Salkim, Shakeel R. Saeed, Andreas Demosthenous
A Fast and Reliable Three-Dimensional Centerline Tracing: Application to Virtual Cochlear Implant Surgery. IEEE Access 8 (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. CoRR (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pushpak Jagtap, George J. Pappas, Majid Zamani
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC (2020)

Majid Zamani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Majid Zamani