2 citations · 2 across the 4 of their papers we have counts for
3 papers
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…
cs.AI2020
More on extension-based semantics of argumentation
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
After a few decades of development, computational argumentation has become one of the active realms in AI. This paper considers extension-based concrete and abstract semantics of a…