Filters
Synchronous product of **(max,+) **automata
Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the ...
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Improvement of the determinization procedure of (max,+)-automata
that these automata are deterministic. However, unlike logical automata, not all (max,+)-automata been extended to (max,+)-automata in the literature and it terminates for an important class of (...
BA - Obecná matematika
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
A contribution to the determinization of max-plus automata
It is a well known fact that not all max-plus automata can be determinized, i.e. transformed into deterministic max-plus automata with the same behavior. A classical sequentialization procedure, extended in the lit...
Automation and control systems
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Decentralized control of product (max+)-automata using coinduction
Max,+ -automata are weighted automata over the (max,+) semiring. Deterministic (max,+)-automata are sequential models that need to be composed in order to model is correct.We apply this co-algebra...
BA - Obecná matematika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
(Max,+)-automata with partial observations
Max,+ -automata are weighted automata over the (max,+) semiring. In this paper we investigate simulation like equivalences between (max,+)-automata. Since (max,+)-automata are no...
Automation and control systems
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Supervisory Control of ( max,+ ) Automata: Timing Aspects
An important class of both timed automata and weighted automata are the ( max,+ ) automata. They are used as a model of a class of timed discrete event systems tocontrol ( max,+ ) automata and its...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Compositions of (max+)-automata
Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert,+) automata. In this contribution, we define compositi...
BA - Obecná matematika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Weight-deterministic max-plus automata
In this paper the notion of determinism for max-plus automata is reviewed by including the quantitative aspect in its definition. A determinization procedure adapted to the so-called notion of weight-determinism is proposed. The mot...
Automation and control systems
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Control of (max,+) automata: logical and timing aspects
A new framework for control of (max,+) automata is introduced. The tensor product of their linear representations used in this paper is an extension of parallel composition from Boolean to (max,+) automata and can ...
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Compositions of (max, +) automata
Petri nets using (max,+) automata is first in- troduced. Based on this result, two types of synchronous product of (max,+) automata are proposed to model safe timedThis paper presents a compositional modeling appr...
BA - Obecná matematika
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 out of 3 718