3053 search results - page 46 / 611 » Hybrid Systems Diagnosis |
IBPRIA
2003
Springer
14 years 28 days ago
2003
Springer
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...
NSDI
2008
13 years 10 months ago
2008
Internet routing events are known to introduce severe disruption to applications. So far effective diagnosis of routing events has relied on proprietary ISP data feeds, resulting ...
HYBRID
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
FORTE
2004
13 years 9 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
DEDS
2000
13 years 7 months ago
2000
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...