STS Control Problem Solver

The STS Control Problem Solver (stscps) is a C++ program for the calculation of the optimal nonblocking controller that supervises a discrete event system, represented by a state tree structure (STS), with respect to a control specification represented by state trees. It uses BuDDy, a binary decision diagram package [1] and implements the symbolic computation based on the STS framework introduced by Ma and Wonham [2], which is a major variant of Supervisory Control Theory.

  1. J. Lind-Nielsen. BuDDy: Binary Decision Diagram Package, Release 2.2. The IT University of Copenhagen, Copenhagen, 2002.
  2. C. Ma and W. M. Wonham. Nonblocking Supervisory Control of State Tree Structures. Volume 317 of Lecture Notes in Control and Information Sciences. Springer-Verlag, Berlin, 2005.

Click here to download the Users's and Programmer's Manuals.

Under Solaris, the following environment variable must be set to avoid a linker problem.

setenv LD_LIBRARY_PATH '/opt/csw/lib/\$ISALIST':/usr/openwin/lib:/usr/local/lib

Use the command printenv LD_LIBRARY_PATH to check if the environment variable is correctly set.