Title: An approach for the synthesis of decentralised supervisors for distributed adaptive systems

 

Author: Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenael Delaval, Eric Rutten, Moez Yeddes

 

Addresses:
The OASIS Laboratory, National School of Computer Sciences, University of Manouba, Campus Manouba, 2040 Manouba, Tunisia.
The OASIS Laboratory, National School of Computer Sciences, University of Manouba, Campus Manouba, 2040 Manouba, Tunisia.
INRIA Rhone-Alpes, Inovallee – 655, avenue de l'Europe, Montbonnot, 38334 Saint-Ismier cedex, France.
INRIA Rhone-Alpes, Inovallee – 655, avenue de l'Europe, Montbonnot, 38334 Saint-Ismier cedex, France.
National School of Computer Sciences, University of Manouba, Campus Manouba, 2040 Manouba, Tunisia

 

Journal: Int. J. of Critical Computer-Based Systems, 2011 Vol.2, No.3/4, pp.246 - 265

 

Abstract: In this paper, a decentralised supervisory control approach for distributed adaptive systems is proposed. The adaptive systems are modelled, with their adaptation managers, as synchronous reactive systems using finite state machines with inputs/outputs and transition guards. A formal automated control synthesis technique is developed, for supervising the method of coupling adaptation managers with the system, for the purpose of ensuring important safety properties. Our approach is based on existing techniques for discrete controller synthesis, and develops controllers for decentralised systems, consisting of multiple subsystems spread across remote sites. At each site, abstracted behaviour models for each remote subsystem, is computed. In order to compensate for the lack of information caused by the distributed nature of the system, the model used at each site, consists of the abstracted models of the remote subsystems coupled with the full model of the local subsystem. Discrete controller synthesis is then applied at each site, to obtain its local controller. The site controllers then act collectively and independently, on their corresponding subsystems, to ensure that the total global system behaviour respects the given global property.

 

Keywords: decentralised control; distributed control; discrete event systems; DES; control synthesis; supervisory control; reactive systems; synchronous programming; adaptive systems; I/O automata; event guards; finite state machines; modelling.

 

DOI: http://dx.doi.org/10.1504/IJCCBS.2011.042328

 

Available online 04 Sep 2011

 

 

Editors Full Text AccessAccess for SubscribersPurchase this articleComment on this article