2 citations · 2 across the 4 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
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…
cs.FL2020★ 2 cited
Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach
Fujun Wang, Zining Cao, Lixing Tan +1
Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environmen…