Lv1
60 积分 2025-10-20 加入
Supervisory Control for Active Diagnosis in Labeled Petri Nets Under Coordinated Sensor and Actuator Attacks
2个月前
已完结
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems
3个月前
已完结
Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control
3个月前
已完结
Current-state opacity enforcement in discrete event systems under incomparable observations
3个月前
已完结
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach
3个月前
已完结
Supervisor synthesis for opacity enforcement in partially observed discrete event systems
4个月前
已关闭
Verification of current-state opacity and opaque time for labeled time Petri net systems
4个月前
已完结
皖公网安备34019202002308
