4971 search results - page 28 / 995 » Observation systems |
I3E
2001
13 years 9 months ago
2001
: We present a model machinery for the generation of aggregating views of knowledge, the coupling of localized knowledge, and for carrying out metaobservations, which record the dy...
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...
RTAS
1998
IEEE
13 years 11 months ago
1998
IEEE
Windows NT was not designed as a real-time operating system, but market forces and the acceptance of NT in industrial applications have generated a need for achieving real-time fu...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
KR
1998
Springer
13 years 11 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...