Title :
On a distributed computation of supervisors in modular supervisory control
Author :
Jan Komenda;Tom?? Masopust;J. H. van Schuppen
Author_Institution :
Institute of Mathematics, Academy of Sciences of the Czech Republic, ?i?kova 22, 616 62 Brno, Czech Republic, Technische Universit?t Dresden, Germany
Abstract :
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.
Keywords :
"Generators","Supervisory control","Closed loop systems","Discrete-event systems","Safety","Computational modeling","Automata"
Conference_Titel :
Complex Systems Engineering (ICCSE), 2015 International Conference on
DOI :
10.1109/ComplexSys.2015.7385990
