𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Robust supervisory control of a class of timed discrete event systems under partial observation

✍ Scribed by Shigemasa Takai

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
119 KB
Volume
39
Category
Article
ISSN
0167-6911

No coin nor oath required. For personal study only.

✦ Synopsis

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. We show that controllability for each possible model and observability for a suitably deΓΏned aggregate model are necessary and su cient conditions for the existence of a solution to the robust supervisory control problem. Moreover, when there does not exist a solution, a maximally permissive robust supervisor is synthesized under the assumption that all controllable events are observable.

πŸ“œ SIMILAR VOLUMES

Nonblocking supervisory control of timed
Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions
✍ Seong-Jin Park; Kwang-Hyun Cho πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 336 KB

This paper addresses the problem of nonblocking supervisory control of timed discrete event systems under communication delays based on the framework proposed by Brandin and Wonham. For such a system, a supervisory control command could be applied to the system after some time-delay limited by a fin