6 citations · 8 across the 12 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
The Similarity Control Problem with Required Events
Yu Wang, Zhaohui Zhu, Rob van Glabbeek +2
In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enab…
cs.FL2024
More on Maximally Permissive Similarity Control of Discrete Event Systems
Yu Wang, Zhaohui Zhu, Rob van Glabbeek +3
Takai proposed a method for constructing a maximally permissive supervisor for the similarity control problem (IEEE Transactions on Automatic Control, 66(7):3197-3204, 2021). This…