𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coinduction in Control of Partially Observed Discrete-Event Systems

✍ Scribed by Jan Komenda

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
221 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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

Mutually nonblocking supervisory control
Mutually nonblocking supervisory control of discrete event systems
✍ M. Fabian; R. Kumar πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 154 KB

A single maximally permissive and nonblocking supervisor to simultaneously ful"ll several marked speci"cations pertaining to a single plant is investigated. Given a plant G and two marked speci"cation languages K and K , a supervisor S is said to be (K , K )-mutually nonblocking if (for i, j"1,2) ΒΈ(