Control of (max,+) Automata: a single step approach

0330859 - MÚ 2010 RIV HU eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Control of (max,+) Automata: a single step approach.
[Řízení (max,+) automatu: jednokrokový přístup.]
Proceedings of European Control Conference. Budapest: European Union Control Association, 2009 - (Kevicky, L.; Bokor, J.), s. 1985-1990. ISBN 978-963-311-369-1.
[European Control Conference 2009. Budapest (HU), 23.08.2009-26.08.2009]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: (max,+) automata * supervisory control * Hadamard product * residuation theory
Kód oboru RIV: BA - Obecná matematika

Control of (max,+) automata is studied within a behavioral framework. The classical tensor product of their linear representations and its generalized version extends the parallel composition of logical automata to (max,+) automata. In terms of behaviors (formal power series) these correspond to Hadamard product and a generalized version of it is studied in this paper. Supervisory control theory based on the generalized version of Hadamard product has an advantage that both logical and timing aspects can be captured at the same time using residuation theory of (multivariable) formal power series.

Studujeme řízení (max,+) automatu pomocí behaviorálního přístupu. Aplikujeme tensorový součin lineárních reprezentací (max,+) automatu, který je přirozeným rozšířením paralelního součinu extension automatu na (max,+) automaty, na jejich supervizní řízení, kde uvažujeme jeho logické i časové aspekty. Pomocí teorie formálních řad studujeme nekontrolovatelné události, které nemohou bý zpožděné nebo zakázané. Navrhneme optimální řízení (max,+) automatu pomocí teorie zobecněných inverzí aplikované na Hadamardův součin formálních řad. Tato metoda má tu výhodu, že studujeme současně jak logické, tak časové aspekty supervizního řízení.
Trvalý link: http://hdl.handle.net/11104/0005491