Chapter

Foundations of Intelligent Systems

Volume 4203 of the series Lecture Notes in Computer Science pp 534-539

A Logic-Based Approach to Model Supervisory Control Systems

  • Pierangelo Dell’AcquaAffiliated withDepartment of Science and Technology – ITN, Linköping UniversityCentro de Inteligência Artificial – CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
  • , Anna LombardiAffiliated withDepartment of Science and Technology – ITN, Linköping University
  • , Luís Moniz PereiraAffiliated withCentro de Inteligência Artificial – CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa

* Final gross prices may vary according to local VAT.

Get Access

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.