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