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