18 research outputs found
Communicating Processes with Data for Supervisory Coordination
We employ supervisory controllers to safely coordinate high-level
discrete(-event) behavior of distributed components of complex systems.
Supervisory controllers observe discrete-event system behavior, make a decision
on allowed activities, and communicate the control signals to the involved
parties. Models of the supervisory controllers can be automatically synthesized
based on formal models of the system components and a formalization of the safe
coordination (control) requirements. Based on the obtained models, code
generation can be used to implement the supervisory controllers in software, on
a PLC, or an embedded (micro)processor. In this article, we develop a process
theory with data that supports a model-based systems engineering framework for
supervisory coordination. We employ communication to distinguish between the
different flows of information, i.e., observation and supervision, whereas we
employ data to specify the coordination requirements more compactly, and to
increase the expressivity of the framework. To illustrate the framework, we
remodel an industrial case study involving coordination of maintenance
procedures of a printing process of a high-tech Oce printer.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432
A Process Algebra for Supervisory Coordination
A supervisory controller controls and coordinates the behavior of different
components of a complex machine by observing their discrete behaviour.
Supervisory control theory studies automated synthesis of controller models,
known as supervisors, based on formal models of the machine components and a
formalization of the requirements. Subsequently, code generation can be used to
implement this supervisor in software, on a PLC, or embedded microprocessor. In
this article, we take a closer look at the control loop that couples the
supervisory controller and the machine. We model both event-based and
state-based observations using process algebra and bisimulation-based
semantics. The main application area of supervisory control that we consider is
coordination, referred to as supervisory coordination, and we give an academic
and an industrial example, discussing the process-theoretic concepts employed.Comment: In Proceedings PACO 2011, arXiv:1108.145
Fault-tolerant Cooperative Tasking for Multi-agent Systems
A natural way for cooperative tasking in multi-agent systems is through a
top-down design by decomposing a global task into sub-tasks for each individual
agent such that the accomplishments of these sub-tasks will guarantee the
achievement of the global task. In our previous works [1], [2] we presented
necessary and sufficient conditions on the decomposability of a global task
automaton between cooperative agents. As a follow-up work, this paper deals
with the robustness issues of the proposed top-down design approach with
respect to event failures in the multi-agent systems. The main concern under
event failure is whether a previously decomposable task can still be achieved
collectively by the agents, and if not, we would like to investigate that under
what conditions the global task could be robustly accomplished. This is
actually the fault-tolerance issue of the top-down design, and the results
provide designers with hints on which events are fragile with respect to
failures, and whether redundancies are needed. The main objective of this paper
is to identify necessary and sufficient conditions on failed events under which
a decomposable global task can still be achieved successfully. For such a
purpose, a notion called passivity is introduced to characterize the type of
event failures. The passivity is found to reflect the redundancy of
communication links over shared events, based on which necessary and sufficient
conditions for the reliability of cooperative tasking under event failures are
derived, followed by illustrative examples and remarks for the derived
conditions.Comment: Preprint, Submitted for publicatio