On a Distributed Computation of Supervisors in Modular Supervisory Control
Optimization and Control
2016-09-07 v1 Formal Languages and Automata Theory
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.
Cite
@article{arxiv.1609.01458,
title = {On a Distributed Computation of Supervisors in Modular Supervisory Control},
author = {Jan Komenda and Tomáš Masopust and J. H. van Schuppen},
journal= {arXiv preprint arXiv:1609.01458},
year = {2016}
}
Comments
Extended abstract of a paper presented at the International Conference on Complex Systems Engineering (ICCSE 2015)