On a distributed computation of supervisors in modular supervisory control
Jan Komenda, Tomáš Masopust, J. H. van Schuppen · 2015
We discuss a supervisory control problem of modular discrete-event systems that admits a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification cannot be reached, 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.