Titlebook: Diagnosis of Active Systems; Principles and Techn Gianfranco Lamperti,Marina Zanella Book 2003 Springer Science+Business Media B.V. 2003 al

Nonflammable

Uncertain Eventseach event in a model can be an ambiguous label ranging over a set of symbols. This allows one to represent real world situations wherein a component of a distributed system exhibits a non-deterministic behavior in the generation not only of observable events but also of the events exchanged with ot

询问

Distributed Observationstralized way or not. In a real context the type of observation is mainly dictated by the physical layout of the system components as well as other organizational constraints of the system. This motivates the need for decentralized observations, which is addressed by introducing multiple observers, e

CLEAR

Sample Applicationurrence of a short circuit on a transmission line can be automatically detected by monitoring the level of the line impedance. This task is carried out by specific protection devices that are expected to open relevant breakers in order to isolate the line from the rest of the network. However, the p

Mobile

DEFT

Pritam Deka,Anna Jurek-Loughrey,Deepak Pee types of diagnoses are envisaged, namely, . diagnosis, . diagnosis, and . diagnosis. A shallow diagnosis of . is the set of faulty components involved in . A deep diagnosis of . is the set of faults relevant to . , each fault being the association of a fault event with a component. Finally, a dyn

FIN

Juanying Xie,Xinyuan Ji,Mingzhao Wanghe decomposition of the original diagnostic problem. Starting from the leaves of the graph, reconstruction is carried out for lower-level clusters, while the resulting active spaces are joint to obtain the active space relevant to upper-level clusters. This is iterated until the root of the reconstr

Root494

Prabhjyot Kaur,Siuly Siuly,Yuan Miaos a synchronous link with a ready event, the system transition will be synchronous (including all the triggerable component transitions), otherwise it will be asynchronous (including just a component transition) . Both monolithic and modular diagnostic approaches are extended for polymorphic systems

滋养

Sarmad K. D. Alkhafaji,Sarab Jalalmunication between the system and the observer, combined with the possibly limited ability of the observer to observe, is either bound to generate spurious observed events, to randomly lose some events, or to lose temporal constraints among them. To cope with these uncertainties, a number of princip

档案

Sarmad K. D. Alkhafaji,Sarab Jalalobservable events that are consistent with the given observation, where each of them is called an observation instance. Then, the index space of the observation instead of the observation itself is exploited during history reconstruction.

山间窄路