A Logic-Based Approach to Model Supervisory Control Systems

  • Pierangelo Dell’Acqua
  • Anna Lombardi
  • Luís Moniz Pereira
Conference paper

DOI: 10.1007/11875604_60

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4203)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Pierangelo Dell’Acqua
    • 1
    • 2
  • Anna Lombardi
    • 1
  • Luís Moniz Pereira
    • 2
  1. 1.Department of Science and Technology – ITNLinköping UniversityNorrköpingSweden
  2. 2.Centro de Inteligência Artificial – CENTRIA, Departamento de Informática, Faculdade de Ciências e TecnologiaUniversidade Nova de LisboaCaparicaPortugal

Personalised recommendations