A logic-based approach to model supervisory control systems

Authors:
Pierangelo Dell'Acqua;Anna Lombardi;Luís Moniz Pereira
Affiliations:
Department of Science and Technology – ITN, Linköping University, Norrköping, Sweden;Department of Science and Technology – ITN, Linköping University, Norrköping, Sweden;Centro de Inteligência Artificial – CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal
Venue:
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Year:
2006

Citing 6
Cited 0

The society of mind

The society of mind
A bottom-up mechanism for behavior selection in an artificial creature

Proceedings of the first international conference on simulation of adaptive behavior on From animals to animats
Artificial minds

Artificial minds
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability

Hybrid Systems
Multiple Agent Hybrid Control Architecture

Hybrid Systems
Artificial animals for computer animation: biomechanics, locomotion, perception, and behavior

Artificial animals for computer animation: biomechanics, locomotion, perception, and behavior

Quantified Score

Hi-index	0.00

Visualization

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.