# On Coparanormality in Distributed Supervisory Control of Discrete-Event Systems

## TL;DR

This paper introduces a new decomposition method for distributed supervisory control of discrete-event systems using coparanormality and relative observability, enabling easier implementation of local controllers.

## Contribution

It proposes a novel coparanormality property for supervisor decomposition and generalizes supervisor localization for arbitrary event partitions.

## Key findings

- Coparanormality is a coobservation property based on paranormality.
- Relative observability guarantees supervisor decomposition.
- The localization procedure is applicable to any event partition.

## Abstract

Decomposition and localization of a supervisor both are reduction methods in distributed supervisory control of discrete-event systems.Decomposition is employed to reduce the number of events and localization is used to reduce the number of states of local controllers.In decomposition of a supervisor both observation and control scopes are restricted, whereas in localization only control authority is restricted to the corresponding local controller. In this paper, we propose a decomposition method by defining coparanormality property, and by using relative observability property of a monolithic supervisor. Coparanormality is a coobservation property defined based on paranormality property for a set of natural projections.It is shown that each supervisor can be coparanormal, provided a set of appropriate natural projections exist. Moreover, it is proved that relative observability is a sufficient condition for decomposition of a supervisor. Furthermore, the supervisor localization procedure is generalized to find a set of local controllers for any partition ofthe controllable events set. The implementation of such local controllers may become easier in industrial systems.

---
Source: https://tomesphere.com/paper/1703.01046