On tick automata for distributed timed DESs with synchronisations and minimal time constraints
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
On tick automata for distributed timed DESs with synchronisations and minimal time constraints
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
<a href="/en/project/GC19-06175J" target="_blank" >GC19-06175J: Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
IFAC-PapersOnLine. Volume 56, Issue 2 - Proceedings of 22nd IFAC World Congress
ISBN
—
ISSN
2405-8971
e-ISSN
2405-8963
Number of pages
6
Pages from-to
8635-8640
Publisher name
Elsevier
Place of publication
Amsterdam
Event location
Yokohama
Event date
Jul 9, 2023
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—