1370 search results - page 46 / 274 » On the Consistent Observation of Active Systems |
145
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
Work in simultaneous localisation and map-building ("SLAM") for mobile robots has focused on the simplified case in which a robot is considered to move in two dimensions...
245
click to vote
ICNP
2003
IEEE
15 years 10 months ago
2003
IEEE
TCP Slow Start exponentially increases the congestion window size to detect the proper congestion window for a network path. This often results in significant packet loss, while ...
112
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
148
click to vote
BC
2004
15 years 4 months ago
2004
We show that complex visual tasks, such as position- and size-invariant shape recognition and navigation in the environment, can be tackled with simple architectures generated by a...
145
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...