A Decentralized Supervisory Control Approach For Distributed Adaptive Systems

Abstract

In this paper, we propose a decentralized supervisory control approach for distributed adaptive systems. The adaptive systems are modeled, through their adaptation managers, as synchronous reactive systems using finite state machines with inputs/outputs and transition guards. When system complexity increases, critical properties cannot be verified intuitively. Therefore, formal and automated control synthesis methods are needed, for supervising the way the adaptation managers are coupled with the system, and for ensuring additional safety properties.

We propose the adaptation of existing techniques for discrete controller synthesis, to control decentralized systems that are composed of several subsystems spread across remote sites. Our approach consists of computing, for each site, abstracted behavior models for each distant subsystem. These behavior models will be coupled with the considered local subsystem, in order to compensate for the lack of information caused by the distribution constraints. Then we apply discrete controller synthesis on each site to obtain local controllers. These controllers, acting on their corresponding subsystems, will ensure that the global behavior property is respected.

Contributors

Mohamed-Amine Belhaj Seboui

Nejib Ben Hadj-Alouane

Gwenael Delaval

Eric Rutten

Moez Yeddes

Conference

Publication date: July 2010

Publication date (Print): July 2010

Pages: 1-11

Affiliations

[(1) ]National School of Computer Sciences, University of Manouba, Tunisia

[(2) ]INRIA Rhône-Alpes, Grenoble, France

Article

DOI: 10.14236/ewic/VECOS2010.4

Copyright statement: © Mohamed-Amine Belhaj Seboui et al. Published by BCS Learning and Development Ltd. Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010), Paris, France

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

Conference acronym: VECOS

Conference number: 4

Conference location: Paris, France

Conference date: 1-2 July 2010

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2010.4

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing