[PDF] Top 20 Discrete and hybrid methods for the diagnosis of distributed systems

... We derive diagnosability conditions using indicator functions for the detection and isolation of multiple, arbitrary sequential or simultaneous events in hybrid dynamical networks, made[r] ... See full document

... reconstruction methods roughly fall into two major categories: implicit surface methods (Fleishman et ...Delaunay-based methods (Amenta et ...Delaunay-based methods, the most well-known ... See full document

... for systems classification, based on input and output ...controlled discrete distributed parameter systems ...these systems. By duality, we consider a classification for discrete ... See full document

... Our model represents the dynamical network of het- erogeneous agents – a directed network made of discrete nodes, each of which has its own attributes and internal variables that are direct translations of the ... See full document

... On the other hand, connecting coordinated checkpoint- ing subsystems together is also relatively simple. One ap- proach is to simply connect them together, and treat each coordinated subsystem as a single process in the ... See full document

... In discrete form, Haar wavelets are related to a mathematical operation called the Haar ...a discrete signal into two sub- signals of half its length where one is a running average or trend and the other is ... See full document

... PDES systems which generally fall into two major classes of synchronization: conservative, which strictly avoid causality violations; and optimistic, which allow violations and recover from ...and ... See full document

... There are essentially three motivations for IWAs, namely, the improved flexibility, the reduction of the diagnostic complexity, and the use of IWAs to tackle the mask- ing issue. First, IWAs perform independent ... See full document

... of hybrid system models has re- ceived much attention in the research community recently, from both the computer science and control theory ...The systems that have been traditionally studied in the com- ... See full document

... QM-CL hybrid formalism and showing how it conforms with the above consistency requirements, we earlier discussed the possibility to have classical-environment induced decoherence, quantum-classical backreaction, a ... See full document

... MCS [118] and DEMi [117] can extract a minimal execution trace that triggers a faulty behavior. Buzz [37] uses symbolic execution to generate test packets. These systems pro-actively find and eliminate certain ... See full document

... Do not read outputs and derivatives in states or transitions This restriction ensures smooth outputs in a major time step because it prevents a Stateflow chart from using values that may no longer be valid in the current ... See full document

... real-time distributed controllers of discrete manufacturing systems is ...is distributed into several interacting agents that operate each one on a part of the manufacturing process; these ... See full document

... industrial systems and consists of two machines M1, M2 and a test unit (TU), such that they are linked by buffers B1 and B2 with the capacity of three and one slots, respectively ... See full document

... an F 2 -G-trace corresponding to g e 〈( t 21 ,2),( t 22 ,2),( t 23 ,0),( t 24 ,2),( t 25 ,2),( t 26 ,0) 〉¼s say, which forms a cycle in G. As it is assumed that in timed DES frameworks [7,8,10] , any cyclic trace can ... See full document

... automation, distributed fault diagnosis ...HVAC systems, which is necessary for satisfying the day-and-night demands of occupants for home comfort, the HVAC equipment may gradually or suddenly ... See full document

... of distributed diagnosis fault model in a distributed ...system-level diagnosis has focused on probabilistic methods, which can diagnose intermittently faulty processing nodes and can ... See full document

... ABSTRACT Hybrid systems are important in applications in CAD, real-time software, robotics and automation, mechatronics, aero- nautics, air and ground transportation systems, process control, and ... See full document

... c Automatic Control Laboratory, ETH - Swiss Federal Institute of Technology, ETHZ - ETL, CH-8092 Zurich, Switzerland, E-mail: {mignone,morari}@aut.ee.ethz.ch Abstract In this paper we present various algorithms both for ... See full document

... or n as a part are removed because there can not be a cluster of 1 node and the partition having n as a part represents the distributed system itself. From the remaining partitions, one partition pt is chosen ... See full document