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

Tomáš Masopust

palacky university olomouc

15H指数
148论文数
908被引数
收录论文 20
发表时间
logo
Diagnosability verification for automata and Petri nets: Can we do better?自动机与Petri网的诊断能力验证：我们能做得更好吗？
errAutomatica
IF5.9
err2026-04-19
err0
PREAI
errShaowen Miao; Petr Jančar; Jan Komenda; Tomáš Masopust; Aiwen Lai
err分享
err收藏
Enforcement of Critical Observability in Modular Discrete-Event Systems模块化离散事件系统中关键可观测性的实现
errIEEE Transactions on Automatic Control
IF7
err2025-10-16
err0
PREAI
errShaowen Miao; Jan Komenda; Tomáš Masopust; Aiwen Lai
err分享
err收藏
On algorithms verifying initial-and-final-state opacity: Complexity, special cases, and comparison关于验证初始和最终状态不透明度的算法: 复杂性，特殊情况和比较
errAUTOMATICA
IF5.9
err2025-04-01
err0
PREAI
errMasopust, Tomas; Osicka, Petr
err分享
err收藏
Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality部分观察下的模块化离散事件系统的监督控制: 正态性
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-06-01
err0
errOAAI
errKomenda, Jan; Masopust, Tomas
err分享
err收藏
Hierarchical Supervisory Control Under Partial Observation: Normality局部观察下的分级监督控制: 常态
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-12-01
err1
errOAAI
errKomenda, Jan; Masopust, Tomas
err分享
err收藏
Verifying weak and strong k-step opacity in discrete-event systems✩验证离散事件系统中的弱和强k步不透明度
errAUTOMATICA
IF5.9
err2023-09-01
err2
errOAAI
errBalun, Jiri; Masopust, Tomas
err分享
err收藏
Modular control of discrete-event systems using similarity
errAUTOMATICA
IF5.9
err2022-08-01
err1
PREAI
errLiu, Yingying; Komenda, Jan; Masopust, Tomas; Li, Zhiwu
err分享
err收藏
On verification of D-detectability for discrete event systems关于离散事件系统的D-可检测性的验证
errAUTOMATICA
IF5.9
err2021-11-01
err6
errOAAI
errBalun, Jiri; Masopust, Tomas
err分享
err收藏
Polynomial-time optimal liveness enforcement for guidepath-based transport systems
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2021-08-01
err1
errOAAI
errReveliotis, Spyros; Masopust, Tomas; Ibrahim, Michael
err分享
err收藏
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-07-01
err12
PREAI
errReveliotis, Spyros; Masopust, Tomas
err分享
err收藏
Critical Observability for Automata and Petri Nets
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-01-01
err6
errOAAI
errMasopust, Tomas
err分享
err收藏
Deciding detectability for labeled Petri nets
errAUTOMATICA
IF5.9
err2019-06-01
err22
errOAAI
errMasopust, Tomas; Yin, Xiang
err分享
err收藏
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems模块化离散事件系统的可检测性，不透明度和可诊断性的复杂性
errAUTOMATICA
IF5.9
err2019-03-01
err33
errOAAI
errMasopust, Tomas; Yin, Xiang
err分享
err收藏
Automatic Generation of Optimal Reductions of Distributions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-03-01
err4
errOAAI
errLin, Liyong; Masopust, Tomas; Wonham, W. Murray; Su, Rong
err分享
err收藏
Complexity of deciding detectability in discrete event systems离散事件系统中决定可检测性的复杂性
errAUTOMATICA
IF5.9
err2018-07-01
err31
errOAAI
errMasopust, Tomas
err分享
err收藏
Complexity of Verifying Nonblockingness in Modular Supervisory Control
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-02-01
err9
errOAAI
errMasopust, Tomas
err分享
err收藏
Complexity of Infimal Observable Superlanguages
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-01-01
err2
errOAAI
errMasopust, Tomas
err分享
err收藏
A note on controllability of deterministic context-free systems
errAUTOMATICA
IF5.9
err2012-08-01
err5
PREAI
errMasopust, Tomas
err分享
err收藏
Supervisory control synthesis of discrete-event systems using a coordination scheme使用协调方案的离散事件系统的监督控制综合
errAUTOMATICA
IF5.9
err2012-02-01
err30
errOAAI
errKomenda, Jan; Masopust, Tomas; van Schuppen, Jan H.
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Z
Zhiwu Li
H 指数: 78 · 论文数: 934
W
W.M. Wonham
H 指数: 69 · 论文数: 338
R
Rong Su
H 指数: 43 · 论文数: 476
J
Jan H. van Schuppen
H 指数: 34 · 论文数: 281
X
Xiang Yin
H 指数: 31 · 论文数: 223
查看更多