The Environment Grail for Supervisory Control of Discrete Event Systems

In the Department of Automation and Systems (DAS) of the Federal University of Santa Catarina (UFSC), Brazil, the tool Grail is being used for teaching and researching in the field of the supervisory control theory (SCT). Grail was reorganized into a tool named Grail for Supervisory Control in order to compile the developments related to the SCT. As the SCT has extensions to deal with different classes of problems, so the tool is expandable in toolboxes. Toolboxes dedicated to the supervisory control of condition/event systems, hierarchical supervisory control, and multitasking supervisory control are developed