Sciweavers

3053 search results - page 22 / 611
» Hybrid Systems Diagnosis
Sort
View
DEDS
1998
82views more  DEDS 1998»
13 years 7 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer
ETS
2011
IEEE
220views Hardware» more  ETS 2011»
12 years 7 months ago
Structural In-Field Diagnosis for Random Logic Circuits
—In-field diagnosability of electronic components in larger systems such as automobiles becomes a necessity for both customers and system integrators. Traditionally, functional ...
Alejandro Cook, Melanie Elm, Hans-Joachim Wunderli...
CATA
2001
13 years 9 months ago
A fusion of bayesian and fuzzy analysis for print faults diagnosis
This paper is part of a larger study of remote print defect diagnosis. The goals of the integrated print defect diagnosis system are to reduce diagnosis time, streamline communica...
Shijun Qiu, Alice M. Agogino, Shuang Song, Jialong...
AI
2002
Springer
13 years 7 months ago
On the relationship between model-based debugging and program slicing
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
Franz Wotawa
ASPDAC
2004
ACM
151views Hardware» more  ASPDAC 2004»
14 years 1 months ago
Combinatorial group testing methods for the BIST diagnosis problem
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
Andrew B. Kahng, Sherief Reda