The infimal controllable and N-observable superpredicate of a given predicate
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama · IEEE Transactions on Automatic Control · 1995
Addresses 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, the authors investigate the existence of the infimal solution, that is, the infimal controllable and n-observable superpredicate of the minimally acceptable behavior.>