Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete

Mila Majster-Cederbaum, Nils Semmelrock

The reachability problem in cooperating systems is known to be PSPACE-complete. We show here that this problem remains PSPACE-complete when we restrict the communication structure between the subsystems in various ways. For this purpose we introduce two basic and incomparable subclasses of cooperating systems that occur often in practice and provide respective reductions. The subclasses we consider consist of cooperating systems the communication structure of which forms a line respectively a star.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment