1 citations · 2 across the 7 of their papers we have counts for
9 papers
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…
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…
An extension of process calculus for asynchronous communications between agents with epistemic states
Huili Xing
It plays a central role in intelligent agent systems to model agent's epistemic state and its change. Asynchrony plays a key role in distributed systems, in which the messages tran…
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…
Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by Lüttgen and Vogler. It has been shown that such behavioural preorder…
On the greatest solution of equations in
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
It is shown that, for any equation in the LLTS-oriented process calculus , if is strongly guarded in , then the recursive term $\langle X|X=t_X…