Abstract | ||
---|---|---|
Interval weighted automata are introduced 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. Our approach is illustrated by an example. |
Year | DOI | Venue |
---|---|---|
2010 | 10.3182/20100830-3-DE-4013.00053 | IFAC Proceedings Volumes |
Keywords | Field | DocType |
Timed automata,(max,+) automata,synchronous product | Quantum finite automata,Discrete mathematics,Combinatorics,Continuous spatial automaton,Nested word,Automaton,Timed automaton,Idempotence,Mathematics,Semiring,ω-automaton | Conference |
Volume | Issue | ISSN |
43 | 12 | 1474-6670 |
Citations | PageRank | References |
2 | 0.38 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Komenda | 1 | 147 | 21.85 |
Sébastien Lahaye | 2 | 71 | 12.16 |
Jean-Louis Boimond | 3 | 152 | 20.21 |