Filters
On clock interval automata for a class of distributed timed DESs with time intervals
reformulated according to distributed automata with time intervals, then it is transformedThis paper is about the representations of distributed timed discrete event systems with synchronisation events and time wi...
Automation and control systems
- 2024 •
- 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
On tick automata for distributed timed DESs with synchronisations and minimal time constraints
with minimal times that behave like logical automata. A synchronous composition for the earlier model of tick automata with constant (exact) times.This paper is about the representations of distributed timed
Automation and control systems
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Synchronous composition of interval weighted automata
of underlying (one clock) timed automata, results in multi-event interval weighted automataInterval weighted automata are introduces as automata with weights in a product dioid (idempotent semiring). They...
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Modeling of safe time Petri nets by interval weighted automata
are modeled using nondeterminism, while in timed automata using multiple clocks. It is known that safe timed Petri nets can be modeled by means of (max,+) automata, i.e with deterministic timing of transi...
Automation and control systems
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
LTL Model Checking of Parametric Timed Automata
The parameter synthesis problem for timed automata is undecidable in general-based method for synthesising bounded integer parameters of parametric timed automata with an LTL specification. Our method extends the i...
IN - Informatika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
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 concurrent timed systems. In this paper, the synchron...
BA - Obecná matematika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata
We investigate the complexity of the containment problem "Does L(A) SUBSET OF OR EQUAL TO L(B) hold?" for register automata and timed automata, where B in the case of register automata over (N,=), in the ...
Pure mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On Clock-Aware LTL Properties of Timed Automata
linear time properties of timed automata, and show how to apply the standard automata over the continuous-time semantics of a timed automaton. Our model checking. We also show that the Timed<...
IN - Informatika
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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 behavior ...
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 149 632