Robust and nonblocking supervisory control of continuous timed discrete event systems
Fei Wang, Jiliang Luo · 2010
An extended framework of discrete event systems with continuous-time variable is considered. The controllability and TLm(Gt)-closeness of timed languages, which are extended concepts of the conventional ones, are presented to show the necessary and sufficient conditions for the existences of nonblocking and robust nonblocking supervisors.