  An epistemic model for decentralized discrete-event systems with non-binary
control is presented. This framework combines existing work on conditional
control decisions with existing work on formal reasoning about knowledge in
discrete-event systems. The novelty in the model presented is that the
necessary and sufficient conditions for problem solvability encapsulate the
actions that supervisors must take. This direct coupling between knowledge and
action -- in a formalism that mimics natural language -- makes it easier, when
the problem conditions fail, to determine how the problem requirements should
be revised.
