119 search results - page 5 / 24 » State Checksum and Its Role in System Stabilization |
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...
SSS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
AAAI
2000
13 years 8 months ago
2000
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...
SSS
2007
Springer
14 years 1 months ago
2007
Springer
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...
SSS
2009
Springer
14 years 18 hour ago
2009
Springer
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in message forwarding problem in a m...