共 50 条
- [2] Polynomial Algorithms to Check Opacity in Discrete Event Systems [J]. PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, : 763 - 769
- [3] Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13 (05): : 587 - 601
- [4] Algorithms for sensitivity information in discrete-event systems simulation [J]. Simul Pract Theory, 1 (1-22):
- [8] Priority assignment algorithms for resolving blocking in modular control of discrete event systems [J]. PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 2743 - 2748