Topics in matrix analysis
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Rational series and their languages
Rational series and their languages
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Theoretical Computer Science
Just in Time Control of Constrained (max,+)-Linear Systems
Discrete Event Dynamic Systems
Coinduction in Concurrent Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.