logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Majid Zamani

university of colorado boulder

27H指数
344论文数
3.8K被引数
收录论文 52
发表时间
logo
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach针对网络物理系统可诊断性的验证：一种混合障碍证书方法
errIEEE Transactions on Automatic Control
IF7
err2026-03-02
err0
PREAI
errBingzhuo Zhong; Weijie Dong; Xiang Yin; Majid Zamani
err分享
err收藏
On Choice of Loss Functions for Neural Control Barrier Certificates神经控制屏障证书的损失函数选择
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errNadali, Alireza; Trivedi, Ashutosh; Zamani, Majid
err分享
err收藏
Control Closure Certificates控制闭合证书
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errMurali, Vishnu; Oumer, Mohammed Adib; Zamani, Majid
err分享
err收藏
Closure certificates关闭证书
errNonlinear Analysis: Hybrid Systems
IF0
err2025-09-09
err0
PREAI
errVishnu Murali; Ashutosh Trivedi; Majid Zamani
err分享
err收藏
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-10-01
err0
PREAI
errAnand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh; Zamani, Majid
err分享
err收藏
The Editorial
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2024-05-01
err0
PREAI
errCai, Kai; Prandini, Maria; Yin, Xiang; Zamani, Majid
err分享
err收藏
Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2024-02-01
err6
errOAAI
errAnand, Mahathi; Lavaei, Abolfazl; Zamani, Majid
err分享
err收藏
Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-01-01
err1
errOAAI
errZhong, Bingzhuo; Zamani, Majid; Caccamo, Marco
err分享
err收藏
Data-driven verification and synthesis of stochastic systems via barrier certificates
errAUTOMATICA
IF5.9
err2024-01-01
err5
errOAAI
errSalamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
Technical Committee on Hybrid Systems
errIEEE CONTROL SYSTEMS MAGAZINE
IF6.3
err2023-10-01
err2
errOAAI
errZamani, Majid
err分享
err收藏
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-05-01
err10
PREAI
errNejati, Ameneh; Lavaei, Abolfazl; Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-03-01
err7
errOAAI
errKawan, Christoph; Mironchenko, Andrii; Zamani, Majid
err分享
err收藏
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs
errIEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
IF5
err2023-03-01
err2
errOAAI
errJahanshahi, Niloofar; Lavaei, Abolfazl; Zamani, Majid
err分享
err收藏
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
errAUTOMATICA
IF5.9
err2023-01-01
err5
errOAAI
errZhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco
err分享
err收藏
Automated verification and synthesis of stochastic hybrid systems: A survey
errAUTOMATICA
IF5.9
err2022-12-01
err31
errOAAI
errLavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid
err分享
err收藏
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
errAUTOMATICA
IF5.9
err2022-11-01
err12
errOAAI
errNejati, Ameneh; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-10-01
err7
errOAAI
errAnand, Mahathi; Lavaei, Abolfazl; Zamani, Majid
err分享
err收藏
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-09-01
err18
PREAI
errLavaei, Abolfazl; Zamani, Majid
err分享
err收藏
Compositional construction of abstractions for infinite networks of discrete-time switched systems
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2022-05-01
err3
errOAAI
errSharifi, Maryam; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
err分享
err收藏
Secure-by-construction synthesis of cyber-physical systems
errANNUAL REVIEWS IN CONTROL
IF10.7
err2022-01-01
err27
errOAAI
errLiu, Siyuan; Trivedi, Ashutosh; Yin, Xiang; Zamani, Majid
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
John Lygeros
H 指数: 76 · 论文数: 947
R
Rupak Majumdar
H 指数: 59 · 论文数: 471
P
Paulo Tabuada
H 指数: 55 · 论文数: 347
M
Murat Arcak
H 指数: 53 · 论文数: 425
M
Masoud Karimi-Ghartemani
H 指数: 47 · 论文数: 180
查看更多