IEEE Transactions on Automatic Control, Vol.48, No.11, 1995-1999, 2003
Deciding co-observability is PSIPACE-complete
In this note, we reduce the deterministic finite-state automata intersection problem to the problem of deciding co-observability or regular languages using a polynomial-time many-one mapping. This demonstrates that the problem of deciding co-observability for languages marked by deterministic finite-state automata is PSPACE-complete. We use a similar reduction to reduce the deterministic' finite-state automata intersection problem to deciding other versions of co-observability introduced in a previous paper. These results imply that the co-observability of regular languages most likely cannot be decided in polynomial time unless we make further restrictions on the languages. These results also show that deciding decentralized supervisor existence is PSPACE-complete and therefore probably intractable.