Supervisor localisation for large-scale discrete-event systems under partial observation

ABSTRACT Recently we developed partial-observation supervisor localisation, a top-down approach to distributed control of discrete-event systems (DES) under partial observation. Its essence is the decomposition of the partial-observation monolithic supervisor into partial-observation local controllers for individual controllable events. In this paper, we extend the partial-observation supervisor localisation to large-scale DES, for which the monolithic supervisor may be incomputable. Specifically, we first employ an efficient heterarchical supervisor synthesis procedure to compute a heterarchical array of partial-observation decentralised supervisors and partial-observation coordinators. Then, we localise each of these supervisors/coordinators into partial-observation local controllers. This procedure suggests a systematic approach to the distributed control of large-scale DES under partial observation. The results are illustrated by a system of automatic guided vehicles serving a manufacturing workcell.

• Publication year

  2017

• Venue

  International Journal of Control

• Publication date

  2017-08-26

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1080/00207179.2018.1471220arXiv 1708.08763
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Relative Observability and Coobservability of Timed Discrete-Event Systems

  2016cited by this paper
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems

  2015influential reference
• Supervisor localization of discrete-event systems under partial observation

  2015influential reference
• Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages

  2013influential reference
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

  2012cited by this paper
• SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS

  2011influential reference
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems

  2011cited by this paper
• Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

  2009cited by this paper
• Supervisor localization for large discrete-event systems

  2009influential reference
• Supervisory Control Architecture for Discrete-Event Systems

  2008influential reference
• Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction

  2006cited by this paper
• Computationally Efficient Supervisor Design: Control Flow Decomposition

  2006cited by this paper
• Supervisory control of concurrent discrete event systems

  2004cited by this paper
• On the complexity of supervisory control design in the RW framework

  2000cited by this paper
• On observability of discrete-event systems

  1988cited by this paper
• Decentralized supervisory control of discrete-event systems

  1987cited by this paper
• On supervisor reduction in discrete-event systems

  1986cited by this paper

• Markov Clustering based Fully Automated Nonblocking Hierarchical Supervisory Control of Large-Scale Discrete-Event Systems

  2025cites this paper
• Offline supervisory control synthesis: taxonomy and recent developments

  2024cites this paper
• Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach

  2021cites this paper
• Orchestrator Controlled Navigation of Mobile Robots in a Static Environment

  2020cites this paper
• A fault-tolerant control strategy for multiple automated guided vehicles

  2020cites this paper
• Extension to Automated Processes with Flexible Redundant and Shared Elements

  2019cites this paper
• Interval max-plus fault-tolerant control under resource conflicts and redundancies: application to the seat assembly

  2019cites this paper
• Localization-based distributed control for large discrete-event systems under partial observation

  2018cites this paper