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.
- Strongly connected components (Module SCC for figure 7)
- State-based control theory
- State feedback control (Module SBCDES of figure 17)
- Code of figure 18
- Code of figure 20
- Code of figure 21
- Data file for figures 18, 20, and 21 (cat and mouse automaton)
- Data file for figures 18, 20, and 21 (predicate)
- N-inference observability (Module NInf of figure 23)
- Code of figure 25
- Data file for figure 25 (automaton)
- Data file for figure 25 (related data)
- Language-based control theory
- Observability properties (Module Coob of figure 28)
- Pure Alloy specification of figure 27 (look at the item Alloy Models in the menu Downloads)
- Code related to figure 28
- A simple data file (declarations)
- A simple data file (system and automata)