Sciweavers

1916 search results - page 19 / 384
» Reconfiguring a state machine
Sort
View
WCE
2007
13 years 8 months ago
Automatic State Machine Induction for String Recognition
—One problem of generating a model to recognize any string is how to generate one that is generalized enough to accept strings with similar patterns and, at the same time, is spe...
Boontee Kruatrachue, Nattachat Pantrakarn, Kritawa...
AAAI
2010
13 years 9 months ago
Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
Existing controller-based approaches for centralized and decentralized POMDPs are based on automata with output known as Moore machines. In this paper, we show that several advant...
Christopher Amato, Blai Bonet, Shlomo Zilberstein
ASM
2005
ASM
14 years 1 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
WSC
2000
13 years 9 months ago
Java engine for UML based hybrid state machines
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
Andrei Borshchev, Yuri B. Kolesov, Yuri B. Seniche...
AMAST
2004
Springer
13 years 11 months ago
Refining Mobile UML State Machines
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
Alexander Knapp, Stephan Merz, Martin Wirsing