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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Dell’Acqua, P., Lombardi, A., & Pereira, L. M. (2006). A logic-based approach to model supervisory control systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4203 LNAI, pp. 534–539). Springer Verlag. https://doi.org/10.1007/11875604_60
Mendeley helps you to discover research relevant for your work.