𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modeling concurrent real-time processes using discrete events

✍ Scribed by Edward A. Lee

Book ID
110380715
Publisher
Springer
Year
1999
Tongue
English
Weight
216 KB
Volume
7
Category
Article
ISSN
1022-7091

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Real time identification of discrete eve
Real time identification of discrete event systems using Petri nets
✍ Mariagrazia Dotoli; Maria Pia Fanti; Agostino Marcello Mangini πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 891 KB

The paper defines the identification problem for Discrete Event Systems (DES) as the problem of inferring a Petri Net (PN) model using the observation of the events and the available output vectors, that correspond to the markings of the measurable places. Two cases are studied considering different

Diagnosis of delay–deadline failures in
Diagnosis of delay–deadline failures in real time discrete event models
✍ Santosh Biswas; Dipankar Sarkar; Prodip Bhowal; Siddhartha Mukhopadhyay πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 1016 KB

In this paper a method for fault detection and diagnosis (FDD) of real time systems has been developed. A modeling framework termed as real time discrete event system (RTDES) model is presented and a mechanism for FDD of the same has been developed. The use of RTDES framework for FDD is an extension