2467 search results - page 44 / 494 » Finite State Machines |
CORR
2010
Springer
15 years 18 days ago
2010
Springer
Recently, the problem of obtaining a short regular expression equivalent to a given finite automaton has been intensively investigated. Algorithms for converting finite automata to...
103
click to vote
TROB
2002
15 years 3 days ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
93
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
FSKD
2007
Springer
15 years 6 months ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
103
click to vote
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
– In this paper, we present a hierarchical methodology that learns new walking gaits autonomously while operating in an uncharted environment, such as on the Mars planetary surfa...