IEEE Transactions on Automatic Control, Vol.40, No.7, 1249-1253, 1995
The Infimal Controllable and N-Observable Superpredicate of a Given Predicate
In this note, we address a decentralized state feedback control problem in discrete-event systems. The problem requires that the set of reachable states in the closed-loop system is in the given admissible range. In particular, we investigate the existence of the infimal solution, that is, the infimal controllable and n-observable superpredicate of the minimally acceptable behavior.