Park, Seong-Jin (Ajou Univ.), Cho, Kwang-Hyun (Seoul National Univ.)

The Existence Conditions of a Supervisor for Timed Discrete Event Systems Under Bounded Communication Delays

Scheduled for presentation during the Regular Session "Nonlinear Control I" (TuP05), Tuesday, July 25, 2006, 16:10−16:35, Room F

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on May 8, 2025

Abstract

This paper addresses the problem of a supervisor existence under communication delays for a timed discrete event system. For such a system, a supervisory control command can 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 supervisor that can achieve a given language specification in consideration of such delayed communications.