921 search results - page 33 / 185 » On Interleaving in Timed Automata |
117
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
105
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
135
click to vote
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
IPL
2008
15 years 1 months ago
2008
Quasi-reversible automata is a suitable representation for reversible languages. In this work a method is proposed to obtain such an automaton for any given reversible language re...
124
click to vote
BCS
2008
15 years 3 months ago
2008
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...