Model-Based Diagnosis (MBD) approaches often yield a large number of diagnoses, severely limiting their practical utility. This paper presents a novel active testing approach based on MBD techniques, called FRACTAL (FRamework for ACtive Testing ALgorithms), which, given a system description, computes a sequence of control settings for reducing the number of diagnoses. The approach complements p...

Active fault isolation of parametric faults in closed-loop MIMO systems are considered in this paper. The fault isolation consists of two steps. The first step is groupwise fault isolation. Here, a group of faults is isolated from other possible faults in the system. The group-wise fault isolation is based directly on the input/output signals applied for the fault detection. It is guaranteed th...

In this paper we exploit various aspects of simulation for mobile applications. We briefly describe a formal language and a tool that we use for the simulation of mobile applications, showing how to analyze their performance. Also, we show how we use our language and tool to represent failure behavior that may be present in open systems. This allows one to reason, through simulation, about the ...

Knowledge of the currently active network topology is useful for a number of tasks that include identifying sources of poor application service quality and proactive network fault detection. We present the concept of the operational topology of an Internet Protocol (IP) network and a technique for discovering it. This lightweight technique does not make use of any proprietary information and is...

Nonactivated phosphorylase kinase was dissociated to catalytically active lower molecular weight species by incubation with either ATP or LiBr at 0°C. Sucrose density gradient analysis showed that incubation with 100 m~ ATP produced 14 S and 7.5 S active forms and incubation with 1 M LiBr produced a 5 S active species. Large increases in the pH 6.8/8.2 activity ratio and loss of inhibition by E...

Computer and telecommunication systems tend to demand lower supply voltages than 3.3V. This fact raises the challenge of obtaining high efficiency DC/DC converters with low output voltage. We have implemented a compact converter with an output voltage of 1.5V. The output power is 5W and the converter has been provided with galvanic isolation between input and output sides. The windings of the m...