"2009-06-10+02:00"^^ . "Proceedings of IFAC DCDS'09" . . "Controllability of (max,+) formal power series"@en . "1"^^ . "Controllability of (max,+) automata and formal power series is studied within a behavioral framework. An extension of classical tensor product of their linear representations as a parallel composition of controller with the plant (max,+) automaton is used. Controllability is studied using residuation theory of (multivariable) formal power series and (max,+)- counterpats of supremal controllable behaviors are derived."@en . . "RIV/67985840:_____/09:00330864!RIV11-AV0-67985840" . . "Controllability of (max,+) formal power series" . . "Lahaye, S." . "3"^^ . . . "RIV/67985840:_____/09:00330864" . . "[4BE745BF2966]" . "Z(AV0Z10190503)" . "Komenda, Jan" . . . "Bari" . "308274" . "Controllability of (max,+) automata and formal power series is studied within a behavioral framework. An extension of classical tensor product of their linear representations as a parallel composition of controller with the plant (max,+) automaton is used. Controllability is studied using residuation theory of (multivariable) formal power series and (max,+)- counterpats of supremal controllable behaviors are derived." . "Bari" . "Controllability of (max,+) formal power series"@en . "6"^^ . "Controllability of (max,+) formal power series" . . "controllability; (max,+) automata; (max,+) formal power series; Hadamard product"@en . . . . "978-3-902661-44-9" . "The International Federation of Automatic Control" . . . . . . "Boimond, J.-L." .