A Logic-Based Approach to Model Supervisory Control Systems
- Cite this paper as:
- Dell’Acqua P., Lombardi A., Pereira L.M. (2006) A Logic-Based Approach to Model Supervisory Control Systems. In: Esposito F., Raś Z.W., Malerba D., Semeraro G. (eds) Foundations of Intelligent Systems. ISMIS 2006. Lecture Notes in Computer Science, vol 4203. Springer, Berlin, Heidelberg
We present an approach to model supervisory control systems based on extended behaviour networks. In particular, we employ them to formalize the control theory of the supervisor. By separating the reasoning in the supervisor and the action implementation in the controller, the overall system architecture becomes modular, and therefore easily changeable and modifiable.
Unable to display preview. Download preview PDF.