A new class of supervisors for timed discrete event systems under partial observation

Abstract

Brandin and Wonham have developed a supervisory control framework for timed discrete event systems (TDESs) in order to deal with not only logical specifications but also temporal specifications. Lin and Wonham have extended the framework to the partial observation case, and presented necessary and sufficient conditions for the existence of a non-blocking supervisor under partial observation. In this paper, we define a new class of supervisors for TDESs under partial observation. By introducing a notion of weak observability of languages, we present necessary and sufficient conditions for the existence of a nonblocking supervisor defined in this paper. We then prove that the existence conditions of our supervisor are weaker than those of the Lin and Wonham's supervisor.