Personal information

No personal information available

Activities

Collapse all

Employment (4)

University of Colorado Boulder: Boulder, CO, US

2019-01-07 to present | Professor (Computer Science)
Employment
Source: Self-asserted source
Majid Zamani

Ludwig-Maximilians-Universität München: Munchen, Bayern, DE

2019-01-01 to present | Part-time Professor (Informatics)
Employment
Source: Self-asserted source
Majid Zamani

Technical University of Munich: Munich, DE

2014-05-01 to 2019-01-01 | Assistant Professor (Electrical and Computer Engineering)
Employment
Source: Self-asserted source
Majid Zamani

Delft University of Technology: Delft, Zuid-Holland, NL

2013-12-01 to 2014-04-30 | Assistant Professor (Design Engineering)
Employment
Source: Self-asserted source
Majid Zamani

Education and qualifications (5)

Delft University of Technology: Delft, Zuid-Holland, NL

2012-09-20 to 2013-11-30 | Postdoc (Mechanical, Maritime and Materials Engineering)
Education
Source: Self-asserted source
Majid Zamani

University of California Los Angeles: Los Angeles, CA, US

2009-01-01 to 2012-09-19 | MA (Mathematics)
Education
Source: Self-asserted source
Majid Zamani

University of California Los Angeles Henry Samueli School of Engineering and Applied Science: Los Angeles, CA, US

2008-09-09 to 2012-09-19 | PhD (Electrical Engineering)
Education
Source: Self-asserted source
Majid Zamani

Sharif University of Technology: Tehran, Tehran, IR

2005-09-01 to 2007-11-30 | MSc (Electrical Engineering)
Education
Source: Self-asserted source
Majid Zamani

Isfahan University of Technology: Isfahan, Isfahan, IR

2001-09-01 to 2005-08-30 | BSc (Electrical Engineering)
Education
Source: Self-asserted source
Majid Zamani

Works (50 of 178)

Items per page:
Page 1 of 4

Co-Büchi Control Barrier Certificates for Stochastic Control Systems

IEEE Control Systems Letters
2024 | Journal article
DOI: 10.1109/LCSYS.2024.3498897
Contributors: Daniel Ajeleye; Majid Zamani
Source: check_circle
Crossref

Compositional Verification for Large-Scale Systems via Closure Certificates

IEEE Control Systems Letters
2024 | Journal article
DOI: 10.1109/LCSYS.2024.3411508
Contributors: Felipe Galarza-Jimenez; Vishnu Murali; Majid Zamani
Source: check_circle
Crossref

Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees

IEEE Control Systems Letters
2024 | Journal article
DOI: 10.1109/LCSYS.2024.3406259
Contributors: Daniel Ajeleye; Majid Zamani
Source: check_circle
Crossref

On Approximate Opacity of Stochastic Control Systems

IEEE Transactions on Automatic Control
2024 | Journal article
DOI: 10.1109/TAC.2024.3516202
Contributors: Siyuan Liu; Xiang Yin; Dimos V. Dimarogonas; Majid Zamani
Source: check_circle
Crossref

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates

IEEE Control Systems Letters
2024 | Journal article
DOI: 10.1109/LCSYS.2024.3521356
Contributors: Mohammed Adib Oumer; Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates

IEEE Transactions on Automatic Control
2024-10 | Journal article
DOI: 10.1109/TAC.2024.3384448
Contributors: Mahathi Anand; Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Closure Certificates

2024-05-14 | Conference paper
DOI: 10.1145/3641513.3650120
Contributors: Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach

IEEE Transactions on Automatic Control
2024-01 | Journal article
DOI: 10.1109/TAC.2023.3267397
Contributors: Bingzhuo Zhong; Majid Zamani; Marco Caccamo
Source: check_circle
Crossref

Abstraction-Based Verification of Approximate Preopacity for Control Systems

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2022.3230770
Contributors: Junyao Hou; Siyuan Liu; Xiang Yin; Majid Zamani
Source: check_circle
Crossref

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

IEEE Open Journal of Control Systems
2023 | Journal article
DOI: 10.1109/OJCSYS.2023.3329394
Contributors: Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Constructing MDP Abstractions Using Data With Formal Guarantees

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2022.3188535
Contributors: Abolfazl Lavaei; Sadegh Soudjani; Emilio Frazzoli; Majid Zamani
Source: check_circle
Crossref

Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2023.3331385
Contributors: Daniel Ajeleye; Abolfazl Lavaei; Majid Zamani
Source: check_circle
Crossref

Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2023.3285785
Contributors: Ameneh Nejati; Majid Zamani
Source: check_circle
Crossref

Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2022.3186167
Contributors: Ameneh Nejati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani
Source: check_circle
Crossref

Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2023.3341548
Contributors: Asad Ullah Awan; Majid Zamani
Source: check_circle
Crossref

Restructuring Dynamical Systems for Inductive Verification

IEEE Open Journal of Control Systems
2023 | Journal article
DOI: 10.1109/OJCSYS.2023.3294098
Contributors: Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2022.3186932
Contributors: Ali Salamati; Majid Zamani
Source: check_circle
Crossref

Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach

IEEE Control Systems Letters
2023 | Journal article
DOI: 10.1109/LCSYS.2023.3268985
Contributors: Mahendra Singh Tomar; Majid Zamani
Source: check_circle
Crossref

Technical Committee on Hybrid Systems [Technical Activities]

IEEE Control Systems
2023-10 | Journal article
DOI: 10.1109/MCS.2023.3291631
Contributors: Majid Zamani
Source: check_circle
Crossref

A Framework for Output-Feedback Symbolic Control

IEEE Transactions on Automatic Control
2023-09 | Journal article
DOI: 10.1109/TAC.2022.3218932
Contributors: Mahmoud Khaled; Kuize Zhang; Majid Zamani
Source: check_circle
Crossref

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach

IEEE Transactions on Automatic Control
2023-05 | Journal article
DOI: 10.1109/TAC.2023.3255141
Contributors: Ameneh Nejati; Abolfazl Lavaei; Pushpak Jagtap; Sadegh Soudjani; Majid Zamani
Source: check_circle
Crossref

A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems

IEEE Transactions on Automatic Control
2023-03 | Journal article
DOI: 10.1109/TAC.2022.3187949
Contributors: Christoph Kawan; Andrii Mironchenko; Majid Zamani
Source: check_circle
Crossref

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs

IEEE Transactions on Control of Network Systems
2023-03 | Journal article
DOI: 10.1109/TCNS.2022.3186649
Contributors: Niloofar Jahanshahi; Abolfazl Lavaei; Majid Zamani
Source: check_circle
Crossref

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates

IEEE Control Systems Letters
2022 | Journal article
DOI: 10.1109/LCSYS.2022.3184661
Contributors: Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach

IEEE Control Systems Letters
2022 | Journal article
DOI: 10.1109/LCSYS.2021.3135455
Contributors: Navid Noroozi; Ali Salamati; Majid Zamani
Source: check_circle
Crossref

Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach

IEEE Control Systems Letters
2022 | Journal article
DOI: 10.1109/LCSYS.2022.3184824
Contributors: Mahendra Singh Tomar; Majid Zamani
Source: check_circle
Crossref

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates

IEEE Control Systems Letters
2022 | Journal article
DOI: 10.1109/LCSYS.2021.3087103
Contributors: Shadi Tasdighi Kalat; Siyuan Liu; Majid Zamani
Source: check_circle
Crossref

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems

IEEE Transactions on Automatic Control
2022-10 | Journal article
DOI: 10.1109/TAC.2022.3183032
Contributors: Mahathi Anand; Abolfazl Lavaei; Majid Zamani
Source: check_circle
Crossref

From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems

IEEE Transactions on Automatic Control
2022-09 | Journal article
DOI: 10.1109/TAC.2022.3159190
Contributors: Abolfazl Lavaei; Majid Zamani
Source: check_circle
Crossref

Compositional construction of abstractions for infinite networks of discrete-time switched systems

Nonlinear Analysis: Hybrid Systems
2022-05 | Journal article
DOI: 10.1016/j.nahs.2022.101173
Contributors: Maryam Sharifi; Abdalla Swikir; Navid Noroozi; Majid Zamani
Source: check_circle
Crossref

A Lyapunov-Based Small-Gain Theorem for Infinite Networks

IEEE Transactions on Automatic Control
2021-12 | Journal article
DOI: 10.1109/TAC.2020.3042410
Contributors: Christoph Kawan; Andrii Mironchenko; Abdalla Swikir; Navid Noroozi; Majid Zamani
Source: check_circle
Crossref

Invariance Feedback Entropy of Uncertain Control Systems

IEEE Transactions on Automatic Control
2021-12 | Journal article
DOI: 10.1109/TAC.2020.3038702
Contributors: Mahendra Singh Tomar; Matthias Rungger; Majid Zamani
Source: check_circle
Crossref

Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems

Nonlinear Analysis: Hybrid Systems
2021-12 | Journal article
DOI: 10.1016/j.nahs.2021.101110
Contributors: Bingzhuo Zhong; Abolfazl Lavaei; Hongpeng Cao; Majid Zamani; Marco Caccamo
Source: check_circle
Crossref

Symbolic models for infinite networks of control systems: A compositional approach

Nonlinear Analysis: Hybrid Systems
2021-12 | Journal article
DOI: 10.1016/j.nahs.2021.101097
Contributors: Siyuan Liu; Navid Noroozi; Majid Zamani
Source: check_circle
Crossref

Verification of approximate opacity for switched systems: A compositional approach

Nonlinear Analysis: Hybrid Systems
2021-11 | Journal article
DOI: 10.1016/j.nahs.2021.101084
Contributors: Siyuan Liu; Abdalla Swikir; Majid Zamani
Source: check_circle
Crossref

Cloud-Ready Acceleration of Formal Method Techniques for Cyber–Physical Systems

IEEE Design & Test
2021-10 | Journal article
DOI: 10.1109/MDAT.2020.3034048
Contributors: Mahmoud Khaled; Majid Zamani
Source: check_circle
Crossref

Verification of Approximate Opacity via Barrier Certificates

IEEE Control Systems Letters
2021-10 | Journal article
DOI: 10.1109/LCSYS.2020.3037840
Contributors: Siyuan Liu; Majid Zamani
Source: check_circle
Crossref

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

IEEE Transactions on Automatic Control
2021-07 | Journal article
DOI: 10.1109/TAC.2020.3013916
Contributors: Pushpak Jagtap; Sadegh Soudjani; Majid Zamani
Source: check_circle
Crossref

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach

IEEE Transactions on Control of Network Systems
2021-06 | Journal article
DOI: 10.1109/TCNS.2021.3050123
Contributors: Adnane Saoud; Pushpak Jagtap; Majid Zamani; Antoine Girard
Source: check_circle
Crossref

On Approximate Opacity of Cyber-Physical Systems

IEEE Transactions on Automatic Control
2021-04 | Journal article
DOI: 10.1109/TAC.2020.2998733
Contributors: Xiang Yin; Majid Zamani; Siyuan Liu
Source: check_circle
Crossref

A spectral small-gain condition for input-to-state stability of infinite networks

The 21st IFAC World Congress, to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

The 32nd International Conference on Computer-Aided Verification (CAV), to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach

IEEE Transactions on Control of Network Systems, under review, arXiv: 2002.02014
2020 | Journal article
Source: Self-asserted source
Majid Zamani

Compositional abstraction-based synthesis for networks of stochastic switched systems

Automatica, to appear
2020 | Journal article
Source: Self-asserted source
Majid Zamani

Compositional construction of control barrier certificates for large-scale interconnected stochastic systems

The 21st IFAC World Congress, to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

Compositional construction of control barrier functions for interconnected control systems

The 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

Compositional construction of control barrier functions for networks of continuous-time stochastic systems

The 21st IFAC World Congress, to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach

The 21st IFAC World Congress, to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

Compositional synthesis of symbolic models for infinite networks

The 21st IFAC World Congress, to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani

Controller synthesis for interconnected systems using parametric assume-guarantee contracts

American Control Conference (ACC), to appear
2020 | Conference paper
Source: Self-asserted source
Majid Zamani
Items per page:
Page 1 of 4
How many people are using ORCID?