Abstract | ||
---|---|---|
Supervisory control of discrete-event systems with a global safety
specification and with only local supervisors is a difficult problem. For
global specifications the equivalent conditions for local control synthesis to
equal global control synthesis may not be met. This paper formulates and solves
a control synthesis problem for a generator with a global specification and
with a combination of a coordinator and local controllers. Conditional
controllability is proven to be an equivalent condition for the existence of
such a coordinated controller. A procedure to compute the least restrictive
solution is also provided in this paper and conditions are stated under which
the result of our procedure coincides with the supremal controllable
sublanguage. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1016/j.automatica.2011.07.008 | Information & Computation |
Keywords | DocType | Volume |
Discrete-event systems,Supervisory control,Distributed control,Closed-loop systems,Controllability | Journal | 48 |
Issue | ISSN | Citations |
2 | 0005-1098 | 13 |
PageRank | References | Authors |
0.77 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Komenda | 1 | 147 | 21.85 |
Tomáš Masopust | 2 | 81 | 9.64 |
Jan H. van Schuppen | 3 | 358 | 45.36 |