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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/ComplexSys.2015.7385990 | 2015 International Conference on Complex Systems Engineering (ICCSE) |
Keywords | Field | DocType |
supervisory control problem,modular discrete-event systems,coordination control,closed-loop system | Mathematical optimization,Computer science,Supervisory control,Automaton,Modular supervisory control,Real-time computing,Theoretical computer science,Modular design,Computation,Sublanguage | Journal |
Volume | Citations | PageRank |
abs/1609.01458 | 5 | 0.48 |
References | Authors | |
15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Komenda | 1 | 147 | 21.85 |
Tomás Masopust | 2 | 155 | 23.56 |
j h van schuppen | 3 | 5 | 0.48 |