Nonflammable 发表于 2025-3-23 13:01:46
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询问 发表于 2025-3-23 16:07:58
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, eCLEAR 发表于 2025-3-23 20:39:48
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 pMobile 发表于 2025-3-24 02:15:10
http://reply.papertrans.cn/28/2707/270615/270615_14.pngDEFT 发表于 2025-3-24 02:39:05
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 dynFIN 发表于 2025-3-24 06:35:46
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 reconstrRoot494 发表于 2025-3-24 12:25:37
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滋养 发表于 2025-3-24 16:17:17
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档案 发表于 2025-3-24 21:20:15
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.山间窄路 发表于 2025-3-24 23:27:59
http://reply.papertrans.cn/28/2707/270615/270615_20.png