Authors:
Chiheb Ameur Abid
and
Belhassen Zouari
Affiliation:
University of Tunis, Tunisia
Keyword(s):
Supervisory control theory, Coloured Petri nets, Discrete event systems, Distributed systems.
Related
Ontology
Subjects/Areas/Topics:
Control and Supervision Systems
;
Discrete Event Systems
;
Formal Methods
;
Informatics in Control, Automation and Robotics
;
Petri Nets
;
Robotics and Automation
;
Signal Processing, Sensors, Systems Modeling and Control
;
Simulation and Modeling
Abstract:
This paper deals with the synthesis problem of controllers based on Coloured Petri nets in a decentralised setting. An approach is proposed to derive a decentralised controller consisting of a set of local controllers. Each local controller, modelled by a CP-net, observes and controls a portion of the plant model. Communication between local controllers is performed only when it is necessary allowing the appropriate local controller to restrict the behaviour of its observed portion in order to meet the control specification.