Relative Observability and Coobservability of Timed Discrete-Event Systems
Kai Cai, Renyuan Zhang, Walter Murray Wonham · IEEE Transactions on Automatic Control · 2015
We study supervisory control of timed discrete-event systems (TDES) under partial observation, and propose new observability concepts effective for supervisor synthesis. First, we consider monolithic/centralized supervisory control, and introduce timed relative observability and timed relative weak observability. The former concept extends our previous work to the timed case, while the latter exploits choices of forcible events to preempt the clock event tick. We prove that timed relative (respectively, weak) observability is stronger than timed (respectively, weak) observability, weaker than normality, and closed under set union; hence there exists the supremal relatively (respectively, weakly) observable sublanguage of a given language.