Synchronous composition of interval weighted automata
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F10%3A00348279" target="_blank" >RIV/67985840:_____/10:00348279 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Synchronous composition of interval weighted automata
Original language description
Interval weighted automata are introduces as automata with weights in a product dioid (idempotent semiring). They constitute an extension of (max,+) automata since they enable us to model temporal constraints (instead of exact durations) for transitions.Their synchronous composition, which coincides with the synchronous product of underlying (one clock) timed automata, results in multi-event interval weighted automata, whose behaviors are studied.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
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
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010)
ISBN
978-3-902661-79-1
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
The International Federation of Automatic Control
Place of publication
Berlin
Event location
Berlin
Event date
Aug 29, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—