On a Distributed Computation of Supervisors in Modular Supervisory Control
classification
🧮 math.OC
cs.FL
keywords
supervisorscontroldistributedcomputationcomputemodularspecificationsupervisory
read the original abstract
In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification does not satisfy the properties, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors can be computed in a distributed way.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.