𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Maximizing robustness of supervisors for partially observed discrete event systems

✍ Scribed by Shigemasa Takai

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
213 KB
Volume
40
Category
Article
ISSN
0005-1098

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Incremental model evolution and reusabil
Incremental model evolution and reusability of supervisors for discrete event systems
✍ Yi-Liang Chen; StΓ©phane Lafortune; Feng Lin πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 450 KB

Reusability of supervisors under incremental model evolution of discrete event systems is investigated and a systematic method for the reuse of the supervisors is proposed based on automatic synthesis of input and output interfaces

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

Bisimilarity control of partially observ
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
✍ Fuchun Liu; Hai Lin; Zbigniew Dziong πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 442 KB

In this paper, the bisimilarity control of discrete event systems (DESs) under partial observations is investigated, where the plant and the specification are allowed to be nondeterministic. A notation of simulation-based controllability and a synchronization scheme for the supervised system are for