抄録
We consider decentralized state feedback control of large-scale discrete event systems consisting of several subsystems which operate concurrently. A (global) control specification is assumed to be given by a predicate. First, we study the relationship between the controllability with respect to entire systems and that with respect to subsystems, which is important for the synthesis of decentralized state feedbacks for large-scale discrete event systems. Next, we derive a necessary and sufficient condition for a decentralized state feedback to achieve the global optimal predicate achievable by a global state feedback. Especially, in the case that a control specification can be reduced to the simultaneous satisfaction of local control specifications, we can design each local state feedback based upon the corresponding local specification.
