16,639 research outputs found
Distributed Supervisory Control of Discrete-Event Systems with Communication Delay
This paper identifies a property of delay-robustness in distributed
supervisory control of discrete-event systems (DES) with communication delays.
In previous work a distributed supervisory control problem has been
investigated on the assumption that inter-agent communications take place with
negligible delay. From an applications viewpoint it is desirable to relax this
constraint and identify communicating distributed controllers which are
delay-robust, namely logically equivalent to their delay-free counterparts. For
this we introduce inter-agent channels modeled as 2-state automata, compute the
overall system behavior, and present an effective computational test for
delay-robustness. From the test it typically results that the given delay-free
distributed control is delay-robust with respect to certain communicated
events, but not for all, thus distinguishing events which are not
delay-critical from those that are. The approach is illustrated by a workcell
model with three communicating agents
Supervisor Localization of Discrete-Event Systems based on State Tree Structures
Recently we developed supervisor localization, a top-down approach to
distributed control of discrete-event systems in the Ramadge-Wonham supervisory
control framework. Its essence is the decomposition of monolithic (global)
control action into local control strategies for the individual agents. In this
paper, we establish a counterpart supervisor localization theory in the
framework of State Tree Structures, known to be efficient for control design of
very large systems. In the new framework, we introduce the new concepts of
local state tracker, local control function, and state-based local-global
control equivalence. As before, we prove that the collective localized control
behavior is identical to the monolithic optimal (i.e. maximally permissive) and
nonblocking controlled behavior. In addition, we propose a new and more
efficient localization algorithm which exploits BDD computation. Finally we
demonstrate our localization approach on a model for a complex semiconductor
manufacturing system
- …