On tick automata for distributed timed DESs with synchronisations and minimal time constraints

0579262 - MÚ 2024 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lefebvre, D.
On tick automata for distributed timed DESs with synchronisations and minimal time constraints.
IFAC-PapersOnLine. Volume 56, Issue 2 - Proceedings of 22nd IFAC World Congress. Amsterdam: Elsevier, 2023 - (Ishii, H.; Ebihara, Y.; Imura, J.; Yamakita, M.), s. 8635-8640. ISSN 2405-8971. E-ISSN 2405-8963.
[22nd IFAC World Congress. Yokohama (JP), 09.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: timed discrete event systems * distributed discrete event system * stick automata
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2023.10.039

This paper is about the representations of distributed timed discrete event systems (DESs) with synchronisation events and minimal time constraints. A subclass of Timed Petri nets with specific time semantics is first recalled as a reference model for the considered systems. Such a model is reformulated according to modular tick automata with minimal times that behave like logical automata. A synchronous composition of such automata is then defined and the result of this composition is a new tick automaton that has the same timed language as the original Petri net, which is not the case for the earlier model of tick automata with constant (exact) times.
Trvalý link: https://hdl.handle.net/11104/0348110