119 search results - page 4 / 24 » State Checksum and Its Role in System Stabilization |
CAV
1994
Springer
13 years 11 months ago
1994
Springer
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...
AOSE
2004
Springer
14 years 27 days ago
2004
Springer
Societies need patterned behavior to exist. Large-scale agent societies may contain a diversity of agents, each with differing abilities and functionalities. When such an agent sys...
GECCO
2004
Springer
14 years 26 days ago
2004
Springer
This paper first analyzes the feedback principle of nature immune system and then the immune process is imitated by virtue of nonlinear molecular dynamics. Then the mathematic mode...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
Wireless sensor networks are commonly used to monitor and control the physical world. To provide a meaningful service such as disaster and emergency surveillance, meeting real-tim...
AUTOMATICA
2005
13 years 7 months ago
2005
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...