209
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Decentralized Supervisory Control Approach For Distributed Adaptive Systems

      proceedings-article

      (1) , (1) , (2) , (2) , (1)

      Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)

      Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

      1-2 July 2010

      Decentralized control synthesis techniques, Distributed Discrete event systems, Supervision and control, Reactive systems, Synchronous programing, Adaptive systems

      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            July 2010
            July 2010
            : 1-11
            Affiliations
            [(1) ]National School of Computer Sciences, University of Manouba, Tunisia
            [(2) ]INRIA Rhône-Alpes, Grenoble, France
            Article
            10.14236/ewic/VECOS2010.4
            8baaeaec-929d-429a-8bc8-f20731e4d464
            © 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

            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/

            Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            VECOS
            4
            Paris, France
            1-2 July 2010
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article