๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Diagnosis of quantized systems based on a timed discrete-event model

โœ Scribed by Lunze, J.

Book ID
117874081
Publisher
IEEE
Year
2000
Tongue
English
Weight
716 KB
Volume
30
Category
Article
ISSN
1083-4427

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Robust supervisory control of a class of
Robust supervisory control of a class of timed discrete event systems under partial observation
โœ Shigemasa Takai ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 119 KB

This paper studies robust supervisory control of timed discrete event systems proposed by Brandin and Wonham. Given a set of possible models which includes the exact model of the plant, the objective is to synthesize a robust supervisor such that it achieves legal behavior for all possible models. W

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