Supervisory Control of ( max,+ ) Automata: Timing Aspects

0083964 - MÚ 2008 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Al Saba, M. - Boimond, J.-L.
Supervisory Control of ( max,+ ) Automata: Timing Aspects.
[Supervizní řízení ( max,+ ) automatu: časové aspekty.]
Proceedings of European Control Conference ( ECC 2007 ). Kos: European Union Control Association, 2007, s. 4417-4424. ISBN 978-960-89028-5-5.
[European Control Conference ( ECC 2007 ). Kos (GR), 02.07.2007-05.07.2007]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * (max,+) - automata * dioid algebra
Kód oboru RIV: BA - Obecná matematika

An important class of both timed automata and weighted automata are the ( max,+ ) automata. They are used as a model of a class of timed discrete event systems and their supervisory control is developed. The concept of supervised product is introduced to control ( max,+ ) automata and its properties are studied. Decomposition of morphism matrix of the controlled system based on the tensor dioid algebra is proposed and the supervisory control of ( max,+ )automata is studied using residuation theory of formal power series.

Důležitou třídou, jak časovaných, tak vážených automatů,jsou ( max,+ ) automaty. Používáme je jako model třídy časovaných diskrétních událostních systémů a studujeme jejich supervizní řízení. Zavádíme na nich operaci supervizního součinu, jejichž vlastnosti studujeme a použijeme na řízení ( max,+ ) automatu. Odvodíme rozklad matice morfismu řízeného systému pomocí tenzorové algebry na idempotentních polokruzích, který použijeme na supervizní řízení ( max,+ ) automatu založené na teorii zobecněných inverzí.
Trvalý link: http://hdl.handle.net/11104/0147004