Lv3
210 积分 2024-10-31 加入
Algebraic calculation for safety synthesis of networked logical finite state machines
3个月前
已完结
Model and Analysis of networked finite state machines with control channel
3个月前
已关闭
STP-based verification and synthesis of state opacity for logical finite state machines
3个月前
已完结
Current-state opacity enforcement in discrete event systems under incomparable observations
4个月前
已完结
Opacity Enforcement in Discrete Event Systems Using Modification Functions
4个月前
已完结
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors
4个月前
已完结
TPMBM Filtering Algorithm with Adaptive Unknown Detection Probability for Joint Point and Extended Target Tracking
4个月前
已完结
State Estimation of Multichannel Networked Discrete Event Systems
5个月前
已完结
Networked opacity for finite state machine with bounded communication delays
5个月前
已完结
Verification and enforcement of current-state opacity based on a state space approach
5个月前
已完结
皖公网安备34019202002308
