Learn More
In this paper, we introduce the idea of abstraction-based diagnosability for large-scale composed discrete event systems that consist of multiple subsystems. To this end, we determine sufficient conditions such that diagnosability of the original system follows from diagnosability of an abstracted system model on a smaller state space. In addition, we prove(More)
In this paper, we investigate the verification of codiagnosability for discrete event systems (DES). That is, it is desired to ascertain if the occurrence of system faults can be detected based on the information of multiple local sites that partially observe the overall DES. As an improvement of existing codiagnosability tests that resort to the original(More)
—The FlexRay communication protocol is expected to be the de-facto standard for high-speed in-vehicle communication. In this paper, we formally investigate the scheduling problem for the dynamic segment of FlexRay. We take the bounds on the generation times and the timing requirements of the signals into consideration to propose a reservation based(More)
—In this paper, we study the scheduling of periodic messages in the static segment of the FlexRay protocol. Our approach is based on two performance metrics. Similar to previous work, we seek to allocate a minimum number of frame IDs (FIDs) in the static segment. In addition, different from existing work, we want to minimize the message jitter, i.e., the(More)
— This work investigates the supervisor synthesis for concurrent systems based on reduced system models with the intention of complexity reduction. It is assumed that the expected behavior (specification) is given on a subset of the system alphabet, and the system behavior is reduced to this alphabet. Supervisors are computed for each reduced subsystem(More)
Rabies virus glycoprotein (RVG) is known to be the only factor that mediates rabies infection. The neurotrophin receptor (p75(NTR)), through its cysteine-rich domain 1, is a specific receptor for RVG and neutralizes virus infectivity, but its role in virus infection has remained obscure. We used adult mouse dorsal root ganglion (DRG) neurons as a model to(More)
—In this paper, we perform the schedulability analysis and schedule computation for sporadic real-time messages in the dynamic segment of the FlexRay protocol. We first formulate a linear integer programming problem that allows to determine if a given message schedule is feasible, i.e., the worst-case delay of each message is smaller than its deadline.(More)
—In the recent years, the use of real-time Ethernet protocols becomes more and more relevant for time-critical networked industrial applications. In this context, this paper presents a method to compute the worst-case packet delays on switched Ethernet. Based on an evaluation of the packet delays at each switch port and the network topology, we construct a(More)