744 search results - page 10 / 149 » Observations on the Decidability of Transitions |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
An edge-colored directed graph is observable if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge...
ANTSW
2008
Springer
13 years 11 months ago
2008
Springer
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
AUTOMATICA
2010
13 years 7 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
TCS
2011
13 years 3 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...