Lv41
418 积分 2024-10-16 加入
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
3小时前
已完结
On reachability graphs of Petri nets
4小时前
已完结
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
4小时前
已完结
A Modular Supervisory Control Design of Discrete Event Systems
4小时前
已完结
Supervisory Control of Discrete Event Systems With Dynamic Control Specifications by Petri Nets
4小时前
已完结
Reduction of the supervisory control problem for Petri nets
5小时前
已完结
Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs
7天前
已完结
Robust Supervisory Control for Product Routings With Multiple Unreliable Resources
7天前
已完结
Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource
7天前
已完结
Robust deadlock control for automated manufacturing systems with an unreliable resource
7天前
已完结
皖公网安备34019202002308
