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

Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions

โœ Scribed by Seong-Jin Park; Kwang-Hyun Cho

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
336 KB
Volume
44
Category
Article
ISSN
0005-1098

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 finite bound corresponding to the maximal number of tick occurrences, and some uncontrollable events may unexpectedly occur within this time-delay. This paper presents the necessary and sufficient conditions for the existence of a nonblocking supervisor that can achieve a given language specification in consideration of such delayed communications.

๐Ÿ“œ 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