共 50 条
- [1] SUPREMAL AND MAXIMAL SUBLANGUAGES ARISING IN SUPERVISOR SYNTHESIS PROBLEMS WITH PARTIAL OBSERVATIONS MATHEMATICAL SYSTEMS THEORY, 1989, 22 (03): : 177 - 211
- [2] Formulas for class of a Lm(G)-closed sublanguages in nonblocking supervisor synthesis Kong Zhi Li Lun Yu Ying Yong, 1 (52-58):
- [4] On partial geometries arising from maximal arcs Journal of Algebraic Combinatorics, 2022, 55 : 117 - 139
- [6] Using model checking to solve supervisor synthesis problems 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 2757 - 2762
- [8] Supervisor synthesis for a class of forbidden state problems in Petri nets 2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4171 - 4176
- [9] Supervisor synthesis for a class of control problems in discrete event systems DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3306 - 3311
- [10] Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis IFAC PAPERSONLINE, 2024, 58 (01): : 114 - 119