Abstract | ||
---|---|---|
A behavioral framework for control of (max,+) automata is proposed. It is based on behaviors (formal power series) and a generalized version of the Hadamard product, which is the behavior of a generalized tensor product of the plant and controller (max,+) automata in their linear representations. In the tensor product and the Hadamard product, the uncontrollable events that can neither be disabled nor delayed are distinguished. Supervisory control of (max,+) automata is then studied using residuation theory applied to our generalization of the Hadamard product of formal power series. This yields a notion of controllability of formal power series as well as (max,+)-counterparts of supremal controllable languages. Finally, rationality as an equivalent condition to realizability of the resulting controller series is discussed together with hints on future use of this approach. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s10626-009-0083-6 | Discrete Event Dynamic Systems |
Keywords | Field | DocType |
(max,+)-automata,Supervisory control,Hadamard product,Supremal controllable formal power series | Tensor product,Discrete mathematics,Control theory,Controllability,Supervisory control,Hadamard product,Automaton,Formal power series,Mathematics,Realizability | Journal |
Volume | Issue | ISSN |
19 | 4 | 0924-6703 |
Citations | PageRank | References |
15 | 1.27 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Komenda | 1 | 147 | 21.85 |
Sébastien Lahaye | 2 | 71 | 12.16 |
Jean-Louis Boimond | 3 | 152 | 20.21 |