1246 search results - page 32 / 250 » Recursive Timed Automata |
101
click to vote
INFORMATICALT
2000
15 years 14 days ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
135
Voted
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
105
Voted
FOSSACS
2005
Springer
15 years 6 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...
102
click to vote
TOPNOC
2008
15 years 17 days ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
90
Voted
APAL
2000
15 years 15 days ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...