This is a project at Chalmers consisting of implementing a control system generated from Supervisory Control Theory.
"Operation sequencing and resource safety is a non-trivial task within modern manufacturing systems. Typically, this task is handled manually which is time-consuming and error-prone. Whether a particular system works correctly is determined by how long it has been able to function without severe error. Obviously this situation is not sustainable and can be greatly improved by using software tools and mathematics to guarantee correct functionality. Such "model-based formal methods" is one main part of the research within the Automation group at Chalmers. This project aims at implementing a proof-of- concept of existing methods."
1. Create a model of the sequence:
2. Express it as automatas:
3. Extract guards to forbid bad behaviors e.g. deadlocks and forbidden states:
4. The HMI is implemented in HTML5 and AngularJS that communicates to the OPC server of the PLC:
Download the article Robust Manual Control of a Manufacturing System using Supervisory Control Theory in collaboration with Martin Fabian.
Download the source code from Bitbucket