aRby Programs for Several Variants of the Supervisory Control Theory


We develop several aRby programs, written in aRby, that implement variants of the Supervisory Control Theory. They are part of a project, called MELODIES (Modeling Environment for LOgical DIscrete Event Systems), aimed at providing a prototyping environment to novices in the domain, which is in constant evolution. This environment can also be used to solve control problems.

  1. Strongly connected components (Module SCC for figure 7)
  2. State-based control theory
    1. State feedback control (Module SBCDES of figure 17)
    2. N-inference observability (Module NInf of figure 23)
  3. Language-based control theory
    1. Observability properties (Module Coob of figure 28)