Blog
About

103
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

      (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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 10

          • Record: found
          • Abstract: not found
          • Article: not found

          The vision of autonomic computing

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            The control of discrete event systems

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              On observability of discrete-event systems

               W.M. Wonham,  F Lin (1988)
                Bookmark

                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
                © 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