3053 search results - page 136 / 611 » Hybrid Systems Diagnosis |
CAV
2004
Springer
14 years 3 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
DLOG
1997
13 years 11 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
MICAI
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a fault diagnosis system (FDS) for non-linear plants based on fuzzy logic. The proposed scheme, named VisualBlock-FIR, runs under the Simulink framework and en...
MIAR
2006
IEEE
14 years 4 months ago
2006
IEEE
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
ACL
2003
13 years 11 months ago
2003
We argue that verbal patient diagnosis is a promising application for limited-domain speech translation, and describe an architecture designed for this type of task which represen...