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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F23%3A00579262" target="_blank" >RIV/67985840:_____/23:00579262 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1016/j.ifacol.2023.10.039" target="_blank" >https://doi.org/10.1016/j.ifacol.2023.10.039</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ifacol.2023.10.039" target="_blank" >10.1016/j.ifacol.2023.10.039</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

<a href="/cs/project/GC19-06175J" target="_blank" >GC19-06175J: Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

IFAC-PapersOnLine. Volume 56, Issue 2 - Proceedings of 22nd IFAC World Congress

ISBN

—

ISSN

2405-8971

e-ISSN

2405-8963

Počet stran výsledku

6

Strana od-do

8635-8640

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Místo konání akce

Yokohama

Datum konání akce

9. 7. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—