2465 search results - page 80 / 493 » Automata on Linear Orderings |
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
ATVA
2006
Springer
14 years 25 days ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...