Lv2
200 积分 2024-10-31 加入
Observability analysis of combined finite automata based upon semi-tensor product of matrices approach
11小时前
已完结
Algebraic state space approach to model and control combined automata
11小时前
已完结
Algebraic calculation for safety synthesis of networked logical finite state machines
4个月前
已完结
Model and Analysis of networked finite state machines with control channel
4个月前
已关闭
STP-based verification and synthesis of state opacity for logical finite state machines
4个月前
已完结
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个月前
已完结
皖公网安备34019202002308
