Sciweavers

113
Voted
IJFCS
2008
166views more  IJFCS 2008»
15 years 13 days ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen