Košík

0083942 - MÚ 2008 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Boimond, J.-L. - Lahaye, S.
Supervisory Control of Heap Models Using Synchronous Composition.
[Supervizní řízení kupovitých automatů pomocí synchronizovaného součinu.]
Proceedings of International XConference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 467-475. ISBN 978-972-8865-82-5.
[ICINCO 2007 International Conference on Informatics in Control, Automation and Robotics. Angers (FR), 09.05.2007-12.05.2007]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * heap automata * dioid algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0146989