Supervisory control of timed discrete-event systems under partial observation
β Scribed by Lin, F.; Wonham, W.M.
- Book ID
- 117996587
- Publisher
- IEEE
- Year
- 1995
- Tongue
- English
- Weight
- 479 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0018-9286
- DOI
- 10.1109/9.376081
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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
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) ΒΈ(