Sciweavers

3053 search results - page 30 / 611
» Hybrid Systems Diagnosis
Sort
View
VISSYM
2004
15 years 8 months ago
Medical Applications of Multi-field Volume Rendering and VR Techniques
This paper reports on a new approach for visualizing multi-field MRI or CT datasets in an immersive environment with medical applications. Multi-field datasets combine multiple sc...
Joe Kniss, Jürgen P. Schulze, Uwe Wössne...
HYBRID
2007
Springer
15 years 10 months ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
IEEEARES
2006
IEEE
16 years 22 days ago
Application of the Digraph Method in System Fault Diagnostics
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
E. M. Kelly, L. M. Bartlett
149
Voted
GECCO
2005
Springer
140views Optimization» more  GECCO 2005»
16 years 6 days ago
A comparison of evolutionary algorithms for system-level diagnosis
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...
Bogdan Tomoyuki Nassu, Elias Procópio Duart...
HYBRID
2004
Springer
16 years 2 days ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...